Personal profile
Keywords
- BC Logic
- QA75 Electronic computers. Computer science
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
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 Link opens in a new tab 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 Link opens in a new tab 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 -
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
Open Access2 Link opens in a new tab Scopus citations
Datasets
-
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 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: 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
-
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