All papers authored by Clément Aubert
Refreshing results…
2022
Clément Aubert 
,
Daniele Varacca
,
Daniele Varacca
Processes against tests: On defining contextual equivalences
Download from hal.archives-ouvertes.fr
Clément Aubert ,
Ross Horne,
Christian Johansen
,
Ross Horne,
Christian Johansen
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus
Download from doi.org
Clément Aubert
Concurrencies in Reversible Concurrent Calculi
Download from hal.archives-ouvertes.fr
2021
Clément Aubert ,
Doriana Medić
,
Doriana Medić
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
Download from zenodo.org
2019
Clément Aubert ,
Ioana Cristescu
,
Ioana Cristescu
Structural Equivalence in Reversible Calculus of Communicating Systems (Abstract)
Download from zenodo.org
2016
Clément Aubert ,
Marc Bagnol,
Thomas Seiller
,
Marc Bagnol,
Thomas Seiller
Unary Resolution: Characterizing Ptime
Download from zenodo.org
2015
Clément Aubert ,
Ioana Cristescu
,
Ioana Cristescu
Contextual equivalences in configuration structures and reversibility
Download from hal.archives-ouvertes.fr
Clément Aubert ,
Ioana Cristescu
,
Ioana Cristescu
Reversible Barbed Congruence on Configuration Structures
Download from dx.doi.org
Clément Aubert ,
Marc Bagnol,
Thomas Seiller
,
Marc Bagnol,
Thomas Seiller
Memoization for Unary Logic Programming: Characterizing PTIME
Download from hal.archives-ouvertes.fr
Clément Aubert ,
Marc Bagnol,
Paolo Pistone,
Thomas Seiller
,
Marc Bagnol,
Paolo Pistone,
Thomas Seiller
Logic Programming and Logarithmic Space
Download from hal.archives-ouvertes.fr
Missing publications? Search for publications with a matching author name.