All papers authored by Clément Aubert
Refreshing results…
The correctness of concurrencies in (reversible) concurrent calculi
Download from zenodo.org
,
Thomas Rubiano,
Neea Rusch,
Thomas Seiller
Certifying Complexity Analysis
Download from zenodo.org
,
Thomas Rubiano,
Neea Rusch ,
Thomas Seiller
Distributing and Parallelizing Non-canonical Loops
Download from zenodo.org
,
Daniele Varacca
Processes against tests: On defining contextual equivalences
Download from hal.archives-ouvertes.fr
,
Ross Horne,
Christian Johansen
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus
Download from doi.org
,
Thomas Rubiano,
Neea Rusch,
Thomas Seiller
Realizing Implicit Computational Complexity
Download from zenodo.org
Concurrencies in Reversible Concurrent Calculi
Download from hal.archives-ouvertes.fr
,
Doriana Medić
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
Download from zenodo.org
,
Ioana Cristescu
Structural Equivalence in Reversible Calculus of Communicating Systems (Abstract)
Download from zenodo.org
,
Marc Bagnol,
Thomas Seiller
Unary Resolution: Characterizing Ptime
Download from zenodo.org
,
Ioana Cristescu
Contextual equivalences in configuration structures and reversibility
Download from hal.archives-ouvertes.fr
,
Ioana Cristescu
Reversible Barbed Congruence on Configuration Structures
Download from dx.doi.org
,
Marc Bagnol,
Thomas Seiller
Memoization for Unary Logic Programming: Characterizing PTIME
Download from hal.archives-ouvertes.fr
Missing publications? Search for publications with a matching author name.