| 2025 | RC | Independence and Causality in the Reversible Concurrent Setting. | Clment Aubert, Iain Phillips, Irek Ulidowski |
| 2023 | ATVA | pymwp: A Static Analyzer Determining Polynomial Growth Bounds. | Clment Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2023 | RC | Replications in Reversible Concurrent Calculi. | Clment Aubert |
| 2023 | RC | Implementation of a Reversible Distributed Calculus. | Clment Aubert, Peter Browning |
| 2023 | VMCAI | Distributing and Parallelizing Non-canonical Loops. | Clment Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2022 | CONCUR | Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. | Clment Aubert, Ross Horne, Christian Johansen |
| 2022 | FSCD | mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. | Clment Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2022 | RC | Concurrencies in Reversible Concurrent Calculi. | Clment Aubert |
| 2021 | RC | Explicit Identifiers and Contexts in Reversible Concurrent Calculus. | Clment Aubert, Doriana Medic |
| 2020 | CONCUR | How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. | Clment Aubert, Ioana Cristescu |
| 2016 | FOSSACS | Unary Resolution: Characterizing Ptime. | Clment Aubert, Marc Bagnol, Thomas Seiller |
| 2014 | APLAS | Logic Programming and Logarithmic Space. | Clment Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller |