Projects per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
-
NSF Student Travel Grant for 2019 Southeast Regional Programming Languages Seminar (SERPL)
3/1/19 → 2/28/23
Project: Research project
-
How reversibility can solve traditional questions: The example of hereditary history-preserving bisimulation
Aubert, C. & Cristescu, I., Aug 1 2020, 31st International Conference on Concurrency Theory, CONCUR 2020. Konnov, I. & Kovacs, L. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 71-723 653 p. 7. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 171).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4 Scopus citations -
Performing pull-ups with small climbing holds influences grip and biomechanical arm action
Vigouroux, L., Devise, M., Cartier, T., Aubert, C. & Berton, E., Jan 1 2018, (Accepted/In press) In: Journal of Sports Sciences.Research output: Contribution to journal › Article › peer-review
19 Scopus citations -
Unification and logarithmic space
Aubert, C. & Bagnol, M., Jul 31 2018, In: Logical Methods in Computer Science. 14, 3, 6.Research output: Contribution to journal › Article › peer-review
-
Contextual equivalences in configuration structures and reversibility
Aubert, C. & Cristescu, I., Jan 1 2017, In: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 77-106 30 p.Research output: Contribution to journal › Article › peer-review
14 Scopus citations -
Characterizing co-NL by a group action
Aubert, C. & Seiller, T., May 1 2016, In: Mathematical Structures in Computer Science. 26, 4, p. 606-638 33 p.Research output: Contribution to journal › Article › peer-review
8 Scopus citations