Characterizing co-NL by a group action C Aubert, T Seiller arXiv preprint arXiv:1209.3422, 2012 | 34 | 2012 |
Logarithmic space and permutations C Aubert, T Seiller Information and Computation 248, 2-21, 2016 | 31 | 2016 |
Logic programming and logarithmic space C Aubert, M Bagnol, P Pistone, T Seiller Asian Symposium on Programming Languages and Systems, 39-57, 2014 | 19 | 2014 |
Unary resolution: Characterizing ptime C Aubert, M Bagnol, T Seiller International Conference on Foundations of Software Science and Computation …, 2016 | 18 | 2016 |
Contextual equivalences in configuration structures and reversibility C Aubert, I Cristescu Journal of Logical and Algebraic Methods in Programming 86 (1), 77-106, 2017 | 15 | 2017 |
Unification and logarithmic space C Aubert, M Bagnol Rewriting and Typed Lambda Calculi, 77-92, 2014 | 14 | 2014 |
Reversible barbed congruence on configuration structures C Aubert, I Cristescu arXiv preprint arXiv:1508.04852, 2015 | 8 | 2015 |
Sublogarithmic uniform Boolean proof nets C Aubert Proceedings Second Workshop on Developments in Implicit Computational …, 2012 | 8 | 2012 |
Memoization for unary logic programming: Characterizing ptime C Aubert, M Bagnol, T Seiller arXiv preprint arXiv:1501.05104, 2015 | 7 | 2015 |
Linear Logic and Sub-polynomial Classes of Complexity C Aubert Université Paris-Nord-Paris XIII, 2013 | 7 | 2013 |
An in-between" implicit" and" explicit" complexity: Automata C Aubert arXiv preprint arXiv:1502.00145, 2015 | 5 | 2015 |
How reversibility can solve traditional questions: The example of hereditary history-preserving bisimulation C Aubert, I Cristescu arXiv preprint arXiv:2005.06814, 2020 | 2 | 2020 |
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 | 1 | 2018 |
Quelle est la notion correcte de congruence structurelle pour une algèbre de processus? C Aubert | | 2020 |
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 |