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.
- 2 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/26
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/28/23
Project: Research project
-
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 Access2 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
Open Access2 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
-
Implementation of a Reversible Distributed Calculus
Aubert, C. & Browning, P., 2023, Reversible Computation - 15th International Conference, RC 2023, Proceedings. Kutrib, M. & Meyer, U. (eds.). Springer Science and Business Media Deutschland GmbH, p. 210-217 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13960 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
pymwp: A Static Analyzer Determining Polynomial Growth Bounds
Aubert, C., Rubiano, T., Rusch, N. & Seiller, T., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 263-275 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Datasets
-
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
-
Distributing and Parallelizing Non-canonical Loops -- Artifact
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Sep 14 2022
DOI: 10.5281/zenodo.7080145, https://zenodo.org/records/7080145
Dataset
-
pymwp: MWP analysis in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, May 8 2023
DOI: 10.5281/zenodo.7908484, https://zenodo.org/records/7908484
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: MWP analysis in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Mar 7 2025
DOI: 10.5281/zenodo.14991431, https://zenodo.org/records/14991431
Dataset