| 2024 | RC | A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. | Pablo Arrighi, Gilles Dowek, Amlia Durbec |
| 2023 | CiE | Graph Subshifts. | Pablo Arrighi, Amlia Durbec, Pierre Guillon |
| 2021 | MFCS | Universal Gauge-Invariant Cellular Automata. | Pablo Arrighi, Marin Costes, Nathanal Eon |
| 2019 | RC | Reversibility vs Local Creation/Destruction. | Pablo Arrighi, Nicolas Durbec, Aurlien Emmanuel |
| 2016 | RC | Reversible Causal Graph Dynamics. | Pablo Arrighi, Simon Martiel, Simon Perdrix |
| 2015 | FCT | Block Representation of Reversible Causal Graph Dynamics. | Pablo Arrighi, Simon Martiel, Simon Perdrix |
| 2014 | ECOOP | The GOOL system: a lightweight object-oriented programming language translator. | Pablo Arrighi, Johan Girard, Miguel Lezama, Kvin Mazet |
| 2012 | ICALP | Causal Graph Dynamics. | Pablo Arrighi, Gilles Dowek |
| 2011 | CiE | Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. | Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry |
| 2010 | CiE | On the Completeness of Quantum Computation Models. | Pablo Arrighi, Gilles Dowek |
| 2010 | LATA | A Simple | Pablo Arrighi, Jonathan Grattage |
| 2008 | LATA | One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. | Pablo Arrighi, Vincent Nesme, Reinhard F. Werner |
| 2006 | MFCS | Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. | Pablo Arrighi |