Projects per year
Personal profile
Keywords
- BC Logic
- QA75 Electronic computers. Computer science
Fingerprint
Dive into the research topics where Clement Aubert is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
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
-
SHF:Small:Concurrency In Reversible Computations
Aubert, C. (PI)
3/1/23 → 2/28/27
Project: Research project
-
NSF Student Travel Grant for 2019 Southeast Regional Programming Languages Seminar (SERPL)
Eades, H. D. (PI) & Aubert, C. (CoPI)
3/1/19 → 2/29/24
Project: Research project
-
Bisimulations and Reversibility
Aubert, C., Phillips, I. & Ulidowski, I., 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 46-67 22 p. (Lecture Notes in Computer Science; vol. 16065 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
Independence and Causality in the Reversible Concurrent Setting
Aubert, C., Phillips, I. & Ulidowski, I., 2025, Reversible Computation - 17th International Conference, RC 2025, Proceedings. Glück, R. & Kaarsgaard, R. (eds.). Springer Science and Business Media Deutschland GmbH, p. 9-26 18 p. (Lecture Notes in Computer Science; vol. 15716 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Estimating Total Length of Partially Submerged Crocodylians from Drone Imagery
Aubert, C., Le Moguédec, G., Velasco, A., Combrink, X., Lang, J. W., Griffith, P., Pacheco-Sierra, G., Pérez, E., Charruau, P., Villamarín, F., Roberto, I. J., Marioni, B., Colbert, J. E., Mobaraki, A., Woodward, A. R., Somaweera, R., Tellez, M., Brien, M. & Shirley, M. H., Mar 2024, In: Drones. 8, 3, 115.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
The correctness of concurrencies in (reversible) concurrent calculi
Aubert, C., Jan 2024, In: Journal of Logical and Algebraic Methods in Programming. 136, 100924.Research output: Contribution to journal › Article › peer-review
3 Scopus citations -
Distributing and Parallelizing Non-canonical Loops
Aubert, C., Rubiano, T., Rusch, N. & Seiller, T., 2023, Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Proceedings. Dragoi, C., Emmi, M. & Wang, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 1-24 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13881 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access
Datasets
-
pymwp: MWP analysis on C code in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Apr 30 2023
DOI: 10.5281/zenodo.7879840, https://zenodo.org/record/7879840
Dataset
-
pymwp: MWP analysis in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Sep 23 2024
DOI: 10.5281/zenodo.13826891, https://zenodo.org/records/13826891
Dataset
-
pymwp: MWP analysis in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Nov 24 2024
DOI: 10.5281/zenodo.14212867, https://zenodo.org/records/14212867
Dataset
-
pymwp: MWP analysis in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Mar 5 2025
DOI: 10.5281/zenodo.14969303, https://zenodo.org/records/14969303
Dataset
-
pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Oct 13 2022
DOI: 10.5281/zenodo.7159134, https://zenodo.org/records/7159134
Dataset