Clément Aubert
Clément Aubert
Augusta University
Adresse e-mail validée de math.cnrs.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Characterizing co-NL by a group action
C Aubert, T Seiller
Mathematical Structures in Computer Science 26 (4), 606-638, 2016
342016
Logarithmic space and permutations
C Aubert, T Seiller
Information and Computation 248, 2-21, 2016
312016
Logic programming and logarithmic space
C Aubert, M Bagnol, P Pistone, T Seiller
Asian Symposium on Programming Languages and Systems, 39-57, 2014
192014
Unary resolution: Characterizing ptime
C Aubert, M Bagnol, T Seiller
International Conference on Foundations of Software Science and Computation …, 2016
172016
Contextual equivalences in configuration structures and reversibility
C Aubert, I Cristescu
Journal of Logical and Algebraic Methods in Programming 86 (1), 77-106, 2017
132017
Unification and logarithmic space
C Aubert, M Bagnol
Rewriting and Typed Lambda Calculi, 77-92, 2014
132014
Reversible barbed congruence on configuration structures
C Aubert, I Cristescu
arXiv preprint arXiv:1508.04852, 2015
82015
Sublogarithmic uniform Boolean proof nets
C Aubert
Proceedings Second Workshop on Developments in Implicit Computational …, 2012
82012
Memoization for unary logic programming: Characterizing ptime
C Aubert, M Bagnol, T Seiller
arXiv preprint arXiv:1501.05104, 2015
72015
Linear Logic and Sub-polynomial Classes of Complexity
C Aubert
72013
An in-between" implicit" and" explicit" complexity: Automata
C Aubert
arXiv preprint arXiv:1502.00145, 2015
32015
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
C Aubert, I Cristescu
arXiv preprint arXiv:2005.06814, 2020
22020
Réseaux de preuves booléens sous-logarithmiques
C Aubert
Mémoire de M2 LMFI, Paris VII. LIPN, 2010
2*2010
History-preserving bisimulations on reversible calculus of communicating systems
C Aubert, I Cristescu
arXiv preprint arXiv:1804.10355, 2018
12018
Process, Systems and Tests: Three Layers in Concurrent Computation
C Aubert, D Varacca
arXiv preprint arXiv:2007.08187, 2020
2020
Process, Systems and Tests: Three Layers in Concurrent Computation (Short Paper)
C Aubert, D Varacca
2020
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)
C Aubert, I Cristescu
arXiv preprint arXiv:2005.06818, 2020
2020
Categories for Me, and You?
C Aubert
arXiv preprint arXiv:1910.05172, 2019
2019
Structural Equivalence in Reversible Calculus of Communicating Systems
C Aubert, I Cristescu
2019
CSCI 3410-Database Systems
C Aubert
Lecture notes. Augusta, Georgia, USA: School of Computer and Cyber Sciences …, 2019
2019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20