Quantum Computation Explained to My Mother. - Pablo Arrighi (Bull. EATCS, 2003)

A Computational Definition of the Notion of Vectorial Space. - Pablo Arrighi; Gilles Dowek (WRLA, 2004)

Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. - Pablo Arrighi (MFCS, 2006)

Quantization of cellular automata. - Pablo Arrighi; Vincent Nesme (JAC, 2008)

One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. - Pablo Arrighi; Vincent Nesme; Reinhard F. Werner (LATA, 2008)

Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. - Pablo Arrighi; Gilles Dowek (RTA, 2008)

Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. - Alejandro Díaz-Caro; Pablo Arrighi; Manuel Gadella; Jonathan Grattage (QPL/DCM@ICALP, 2008)

Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. - Pablo Arrighi; Alejandro Díaz-Caro (QPL@MFPS, 2009)

Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours. - Pablo Arrighi; Renan Fargetton; Zizhu Wang (Fundam. Informaticae, 2009)

On the Completeness of Quantum Computation Models. - Pablo Arrighi; Gilles Dowek (CiE, 2010)

A Quantum Game of Life. - Pablo Arrighi; Jonathan Grattage (JAC, 2010)

The Block Neighborhood. - Pablo Arrighi; Vincent Nesme (JAC, 2010)

A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton. - Pablo Arrighi; Jonathan Grattage (LATA, 2010)

Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. - Pablo Arrighi; Renan Fargetton; Vincent Nesme; Eric Thierry (CiE, 2011)

Subject reduction in a Curry-style polymorphic type system with a vectorial structure - Pablo Arrighi; Alejandro Díaz-Caro; Benoît Valiron (DCM, 2011)

One-Dimensional Quantum Cellular Automata. - Pablo Arrighi; Vincent Nesme; Reinhard F. Werner (Int. J. Unconv. Comput., 2011)

Unitarity plus causality implies localizability. - Pablo Arrighi; Vincent Nesme; Reinhard F. Werner (J. Comput. Syst. Sci., 2011)

Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic - Pablo Arrighi; Alejandro Díaz-Caro (Log. Methods Comput. Sci., 2012)

A simple block representation of reversible cellular automata with time-symmetry - Pablo Arrighi; Vincent Nesme (CoRR, 2012)

Intrinsic Simulations between Stochastic Cellular Automata - Pablo Arrighi; Nicolas Schabanel; Guillaume Theyssier (AUTOMATA & JAC, 2012)

Generalized Cayley Graphs and Cellular Automata over them - Pablo Arrighi; Simon Martiel; Vincent Nesme (CoRR, 2012)

The Physical Church-Turing Thesis and the Principles of Quantum Theory. - Pablo Arrighi; Gilles Dowek (Int. J. Found. Comput. Sci., 2012)

Intrinsically universal n-dimensional quantum cellular automata. - Pablo Arrighi; Jonathan Grattage (J. Comput. Syst. Sci., 2012)

Partitioned quantum cellular automata are intrinsically universal. - Pablo Arrighi; Jonathan Grattage (Nat. Comput., 2012)

The Vectorial Lambda-Calculus. - Pablo Arrighi; Alejandro Díaz-Caro; Benoît Valiron (CoRR, 2013)

Causal Dynamics of Discrete Surfaces. - Pablo Arrighi; Simon Martiel; Zizhu Wang (DCM, 2013)

Stochastic Cellular Automata: Correlations, Decidability and Simulations. - Pablo Arrighi; Nicolas Schabanel; Guillaume Theyssier (Fundam. Informaticae, 2013)

Causal graph dynamics. - Pablo Arrighi; Gilles Dowek (Inf. Comput., 2013)

The GOOL system: a lightweight object-oriented programming language translator. - Pablo Arrighi; Johan Girard; Miguel Lezama; Kévin Mazet (ICOOOLPS@ECOOP, 2014)

Block Representation of Reversible Causal Graph Dynamics. - Pablo Arrighi; Simon Martiel; Simon Perdrix (FCT, 2015)

Discrete Geodesics and Cellular Automata. - Pablo Arrighi; Gilles Dowek (TPNC, 2015)

Free fall and cellular automata. - Pablo Arrighi; Gilles Dowek (DCM, 2015)

Reversible Causal Graph Dynamics. - Pablo Arrighi; Simon Martiel; Simon Perdrix (RC, 2016)

Quantum Causal Graph Dynamics. - Pablo Arrighi; Simon Martiel (CoRR, 2016)

Quantum walking in curved spacetime. - Pablo Arrighi; Stefano Facchini; Marcelo Forets (Quantum Inf. Process., 2016)

The vectorial λ-calculus. - Pablo Arrighi; Alejandro Díaz-Caro; Benoît Valiron (Inf. Comput., 2017)

Lineal: A linear-algebraic Lambda-calculus. - Pablo Arrighi; Gilles Dowek (Log. Methods Comput. Sci., 2017)

(3+1) dimensions, and beyond. - Pablo Arrighi; Stefano Facchini (Quantum Inf. Comput., 2017)

A Gauge-Invariant Reversible Cellular Automaton. - Pablo Arrighi; Giuseppe Di Molfetta; Nathanaël Eon (Automata, 2018)

Causal dynamics of discrete manifolds. - Pablo Arrighi; Clément Chouteau; Stefano Facchini; Simon Martiel (NCMA, 2018)

The Dirac equation as a quantum walk over the honeycomb and triangular lattices. - Pablo Arrighi; Giuseppe Di Molfetta; Iván Márquez-Martín; Armando Pérez (CoRR, 2018)

Cellular automata over generalized Cayley graphs. - Pablo Arrighi; Simon Martiel; Vincent Nesme (Math. Struct. Comput. Sci., 2018)

Quantum walking in curved spacetime: discrete metric. - Pablo Arrighi; Giuseppe Di Molfetta; Stefano Facchini (Quantum, 2018)

Reversibility vs Local Creation/Destruction. - Pablo Arrighi; Nicolas Durbec; Aurélien Emmanuel (RC, 2019)

Non-abelian Gauge-Invariant Cellular Automata. - Pablo Arrighi; Giuseppe Di Molfetta; Nathanaël Eon (TPNC, 2019)

A quantum walk with both a continuous-time and a continuous-spacetime limit. - Giuseppe Di Molfetta; Pablo Arrighi (CoRR, 2019)

The Grover search as a naturally occurring phenomenon. - Stéphane Guillet; Mathieu Roget; Pablo Arrighi; Giuseppe Di Molfetta (CoRR, 2019)

An overview of quantum cellular automata. - Pablo Arrighi (Nat. Comput., 2019)

Quantum superpositions of graphs. - Pablo Arrighi; Marios Christodoulou; Amélia Durbec (CoRR, 2020)

Reversible causal graph dynamics: invertibility, block representation, vertex-preservation. - Pablo Arrighi; Simon Martiel; Simon Perdrix (Nat. Comput., 2020)

A quantum cellular automaton for one-dimensional QED. - Pablo Arrighi; Cédric Bény; Terry Farrelly (Quantum Inf. Process., 2020)

A quantum walk with both a continuous-time limit and a continuous-spacetime limit. - Giuseppe Di Molfetta; Pablo Arrighi (Quantum Inf. Process., 2020)

Universal Gauge-Invariant Cellular Automata. - Pablo Arrighi; Marin Costes; Nathanaël Eon (MFCS, 2021)

Addressable quantum gates. - Pablo Arrighi; Christopher Cedzich; Marin Costes; Ulysse Rémond; Benoît Valiron (CoRR, 2021)

Graph Subshifts. - Pablo Arrighi; Amélia Durbec; Pierre Guillon 001 (CiE, 2023)

The principle of a finite density of information. - Pablo Arrighi; Gilles Dowek (CoRR, 2023)

Gauge-invariance in cellular automata. - Pablo Arrighi; Giuseppe Di Molfetta; Nathanaël Eon (Nat. Comput., 2023)

A relativistic discrete spacetime formulation of 3+1 QED. - Nathanaël Eon; Giuseppe Di Molfetta; Giuseppe Magnifico; Pablo Arrighi (Quantum, 2023)

A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. - Pablo Arrighi; Gilles Dowek; Amélia Durbec (RC, 2024)

Space-time deterministic graph rewriting. - Pablo Arrighi; Marin Costes; Gilles Dowek; Luidnel Maignan (CoRR, 2024)

A typology of quantum algorithms. - Pablo Arnault; Pablo Arrighi; Steven Herbert; Evi Kasnetsi; Tianyi Li (CoRR, 2024)

Quantum networks theory. - Pablo Arrighi; Amélia Durbec; Matt Wilson (Quantum, 2024)

QuIDS: A Large-Scale Distributed Framework for Quantum Irregular Dynamics Simulations. - Joseph Touzet; Oguz Kaya; Pablo Arrighi; Amélia Durbec (IPDPS (Workshops), 2025)