Clément Aubert

54 papers B 8C 5Journal 29Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Bisimulations and Reversibility. Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday Clément Aubert, Iain Phillips, Irek Ulidowski
2026	J	`jnl`	ECOOP Workshop Post-Proceedings. J. Object Technol. Clément Aubert, Volker Stolz
2026	J	`jnl`	Unlinkability and History Preserving Bisimilarity. CoRR Clément Aubert, Ross Horne, Christian Johansen, Sjouke Mauw
2026	J	`jnl`	Unlinkability and history preserving bisimilarity. Comput. Secur. Clément Aubert, Ross Horne, Christian Johansen, Sjouke Mauw
2025	C	`conf`	Independence and Causality in the Reversible Concurrent Setting. RC Clément Aubert, Iain Phillips, Irek Ulidowski
2025	—	`ed.`	Proceedings 18th Interaction and Concurrency Experience, ICE 2025, Lille, France, 20th June 2025. ICE Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun
2025	B	`conf`	Reversible computations are computations. MFPS Clément Aubert, Jean Krivine
2024	J	`jnl`	Dependence and Independence for Reversible Process Calculi. CoRR Clément Aubert, Iain Phillips, Irek Ulidowski
2024	—	`ed.`	Proceedings 17th Interaction and Concurrency Experience, ICE 2024, Groningen, The Netherlands, 21st June 2024. ICE Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun
2024	J	`jnl`	The correctness of concurrencies in (reversible) concurrent calculi. J. Log. Algebraic Methods Program. Clément Aubert
2023	B	`conf`	Distributing and Parallelizing Non-canonical Loops. VMCAI Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2023	C	`conf`	Implementation of a Reversible Distributed Calculus. RC Clément Aubert, Peter Browning
2023	—	`ed.`	Proceedings 16th Interaction and Concurrency Experience, ICE 2023, Lisbon, Portugal, 19th June 2023. ICE Clément Aubert, Cinzia Di Giusto, Simon Fowler, Larisa Safina
2023	C	`conf`	Replications in Reversible Concurrent Calculi. RC Clément Aubert
2023	B	`conf`	pymwp: A Static Analyzer Determining Polynomial Growth Bounds. ATVA Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2022	J	`jnl`	A Novel Loop Fission Technique Inspired by Implicit Computational Complexity. CoRR Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2022	—	`conf`	Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus. EXPRESS/SOS Clément Aubert, Ross Horne, Christian Johansen
2022	C	`conf`	Concurrencies in Reversible Concurrent Calculi. RC Clément Aubert
2022	—	`conf`	Data Integration for the Study of Outstanding Productivity in Biomedical Research. CRIS Clément Aubert, E. Andrew Balas, Tiffany Townsend, Noah Sleeper, C. J. Tran
2022	B	`conf`	Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus. CONCUR Clément Aubert, Ross Horne, Christian Johansen
2022	—	`ed.`	Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022. ICE Clément Aubert, Cinzia Di Giusto, Larisa Safina, Alceste Scalas
2022	J	`jnl`	Processes against tests: On defining contextual equivalences. J. Log. Algebraic Methods Program. Clément Aubert, Daniele Varacca
2022	J	`jnl`	Realizing Implicit Computational Complexity. CoRR Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2022	B	`conf`	mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. FSCD Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2022	J	`jnl`	mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. CoRR Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2021	J	`jnl`	An extended and more practical mwp flow analysis. CoRR Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2021	J	`jnl`	An implementation of flow calculus for complexity analysis (tool paper). CoRR Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller
2021	J	`jnl`	Causal Consistent Replication in Reversible Concurrent Calculi. CoRR Clément Aubert
2021	J	`jnl`	Enabling Replications and Contexts in Reversible Concurrent Calculus. CoRR Clément Aubert, Doriana Medic
2021	C	`conf`	Explicit Identifiers and Contexts in Reversible Concurrent Calculus. RC Clément Aubert, Doriana Medic
2021	—	`conf`	Process, Systems and Tests: Three Layers in Concurrent Computation. ICE Clément Aubert, Daniele Varacca
2020	B	`conf`	How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. CONCUR Clément Aubert, Ioana Cristescu
2020	J	`jnl`	How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation. CoRR Clément Aubert, Ioana Cristescu
2020	J	`jnl`	Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication). CoRR Clément Aubert, Ioana Cristescu
2019	J	`jnl`	Categories for Me, and You? CoRR Clément Aubert
2018	J	`jnl`	History-Preserving Bisimulations on Reversible Calculus of Communicating Systems. CoRR Clément Aubert, Ioana Cristescu
2018	J	`jnl`	Unification and Logarithmic Space. CoRR Clément Aubert, Marc Bagnol
2018	J	`jnl`	Unification and Logarithmic Space. Log. Methods Comput. Sci. Clément Aubert, Marc Bagnol
2017	J	`jnl`	Contextual equivalences in configuration structures and reversibility. J. Log. Algebraic Methods Program. Clément Aubert, Ioana Cristescu
2016	J	`jnl`	Characterizing co-NL by a group action. Math. Struct. Comput. Sci. Clément Aubert, Thomas Seiller
2016	J	`jnl`	Logarithmic space and permutations. Inf. Comput. Clément Aubert, Thomas Seiller
2016	B	`conf`	Unary Resolution: Characterizing Ptime. FoSSaCS Clément Aubert, Marc Bagnol, Thomas Seiller
2015	J	`jnl`	An in-between "implicit" and "explicit" complexity: Automata. CoRR Clément Aubert
2015	J	`jnl`	Contextual equivalences in configuration structures and reversibility. CoRR Clément Aubert, Ioana Cristescu
2015	J	`jnl`	Memoization for Unary Logic Programming: Characterizing PTIME. CoRR Clément Aubert, Marc Bagnol, Thomas Seiller
2015	—	`conf`	Reversible Barbed Congruence on Configuration Structures. ICE Clément Aubert, Ioana Cristescu
2014	B	`conf`	Logic Programming and Logarithmic Space. APLAS Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller
2014	J	`jnl`	Logic Programming and Logarithmic Space. CoRR Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller
2014	—	`conf`	Unification and Logarithmic Space. RTA-TLCA Clément Aubert, Marc Bagnol
2014	J	`jnl`	Unification and Logarithmic Space. CoRR Clément Aubert, Marc Bagnol
2013	—	`—`	Linear Logic and Sub-polynomial Classes of Complexity. (Logique linéaire et classes de complexité sous-polynomiales). Clément Aubert
2013	J	`jnl`	Logarithmic Space and Permutations CoRR Thomas Seiller, Clément Aubert
2012	J	`jnl`	Characterizing co-NL by a group action CoRR Clément Aubert, Thomas Seiller
2011	—	`conf`	Sublogarithmic uniform Boolean proof nets DICE Clément Aubert