Sublogarithmic uniform Boolean proof nets - Clément Aubert (DICE, 2011)

Linear Logic and Sub-polynomial Classes of Complexity. (Logique linéaire et classes de complexité sous-polynomiales). - Clément Aubert (2013)

Logic Programming and Logarithmic Space. - Clément Aubert; Marc Bagnol; Paolo Pistone; Thomas Seiller (APLAS, 2014)

An in-between "implicit" and "explicit" complexity: Automata. - Clément Aubert (CoRR, 2015)

Memoization for Unary Logic Programming: Characterizing PTIME. - Clément Aubert; Marc Bagnol; Thomas Seiller (CoRR, 2015)

Reversible Barbed Congruence on Configuration Structures. - Clément Aubert; Ioana Cristescu (ICE, 2015)

Unary Resolution: Characterizing Ptime. - Clément Aubert; Marc Bagnol; Thomas Seiller (FoSSaCS, 2016)

Logarithmic space and permutations. - Clément Aubert; Thomas Seiller (Inf. Comput., 2016)

Characterizing co-NL by a group action. - Clément Aubert; Thomas Seiller (Math. Struct. Comput. Sci., 2016)

Contextual equivalences in configuration structures and reversibility. - Clément Aubert; Ioana Cristescu (J. Log. Algebraic Methods Program., 2017)

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems. - Clément Aubert; Ioana Cristescu (CoRR, 2018)

Unification and Logarithmic Space. - Clément Aubert; Marc Bagnol (Log. Methods Comput. Sci., 2018)

Categories for Me, and You? - Clément Aubert (CoRR, 2019)

How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. - Clément Aubert; Ioana Cristescu (CONCUR, 2020)

Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication). - Clément Aubert; Ioana Cristescu (CoRR, 2020)

Explicit Identifiers and Contexts in Reversible Concurrent Calculus. - Clément Aubert; Doriana Medic (RC, 2021)

Process, Systems and Tests: Three Layers in Concurrent Computation. - Clément Aubert; Daniele Varacca (ICE, 2021)

Enabling Replications and Contexts in Reversible Concurrent Calculus. - Clément Aubert; Doriana Medic (CoRR, 2021)

An extended and more practical mwp flow analysis. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (CoRR, 2021)

An implementation of flow calculus for complexity analysis (tool paper). - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (CoRR, 2021)

Causal Consistent Replication in Reversible Concurrent Calculi. - Clément Aubert (CoRR, 2021)

Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. - Clément Aubert; Ross Horne; Christian Johansen (CONCUR, 2022)

Data Integration for the Study of Outstanding Productivity in Biomedical Research. - Clément Aubert; E. Andrew Balas; Tiffany Townsend; Noah Sleeper; C. J. Tran (CRIS, 2022)

mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (FSCD, 2022)

Concurrencies in Reversible Concurrent Calculi. - Clément Aubert (RC, 2022)

Realizing Implicit Computational Complexity. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (CoRR, 2022)

A Novel Loop Fission Technique Inspired by Implicit Computational Complexity. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (CoRR, 2022)

Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. - Clément Aubert; Ross Horne; Christian Johansen (EXPRESS/SOS, 2022)

Processes against tests: On defining contextual equivalences. - Clément Aubert; Daniele Varacca (J. Log. Algebraic Methods Program., 2022)

pymwp: A Static Analyzer Determining Polynomial Growth Bounds. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (ATVA, 2023)

Replications in Reversible Concurrent Calculi. - Clément Aubert (RC, 2023)

Implementation of a Reversible Distributed Calculus. - Clément Aubert; Peter Browning (RC, 2023)

Distributing and Parallelizing Non-canonical Loops. - Clément Aubert; Thomas Rubiano; Neea Rusch; Thomas Seiller (VMCAI, 2023)

Dependence and Independence for Reversible Process Calculi. - Clément Aubert; Iain Phillips 001; Irek Ulidowski (CoRR, 2024)

The correctness of concurrencies in (reversible) concurrent calculi. - Clément Aubert (J. Log. Algebraic Methods Program., 2024)

Independence and Causality in the Reversible Concurrent Setting. - Clément Aubert; Iain C. C. Phillips; Irek Ulidowski (RC, 2025)