Pablo Arrighi

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 39

Top Topics

Pattern Formation

Top Venues

Quantum Inf. Process.

Publications

Pablo Arrighi, Marin Costes, Gilles Dowek, Luidnel Maignan
Space-time deterministic graph rewriting. CoRR (2024)
Pablo Arrighi, Gilles Dowek, Amélia Durbec
A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. RC (2024)
Pablo Arrighi, Gilles Dowek
The principle of a finite density of information. CoRR (2023)
Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
Gauge-invariance in cellular automata. Nat. Comput. 22 (3) (2023)
Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi
A relativistic discrete spacetime formulation of 3+1 QED. Quantum 7 (2023)
Pablo Arrighi, Amélia Durbec, Pierre Guillon
Graph subshifts. CoRR (2023)
Pablo Arrighi, Amélia Durbec, Pierre Guillon
Graph Subshifts. CiE (2023)
Pablo Arrighi, Gilles Dowek, Amélia Durbec
A toy model provably featuring an arrow of time without past hypothesis. CoRR (2023)
Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi
A relativistic discrete spacetime formulation of 3+1 QED. CoRR (2022)
Pablo Arrighi, Marin Costes, Nathanaël Eon
Universal gauge-invariant cellular automata. CoRR (2021)
Pablo Arrighi, Amélia Durbec, Matt Wilson
Quantum networks theory. CoRR (2021)
Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron
Addressable quantum gates. CoRR (2021)
Pablo Arrighi, Marin Costes, Nathanaël Eon
Universal Gauge-Invariant Cellular Automata. MFCS (2021)
Giuseppe Di Molfetta, Pablo Arrighi
A quantum walk with both a continuous-time limit and a continuous-spacetime limit. Quantum Inf. Process. 19 (2) (2020)
Pablo Arrighi, Marios Christodoulou, Amélia Durbec
Quantum superpositions of graphs. CoRR (2020)
Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
Gauge-invariance in cellular automata. CoRR (2020)
Pablo Arrighi, Simon Martiel, Simon Perdrix
Reversible causal graph dynamics: invertibility, block representation, vertex-preservation. Nat. Comput. 19 (1) (2020)
Pablo Arrighi, Cédric Bény, Terry Farrelly
A quantum cellular automaton for one-dimensional QED. Quantum Inf. Process. 19 (3) (2020)
Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
Non-Abelian Gauge-Invariant Cellular Automata. CoRR (2019)
Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel
Reversibility vs Local Creation/Destruction. RC (2019)
Pablo Arrighi
An overview of Quantum Cellular Automata. CoRR (2019)
Stéphane Guillet, Mathieu Roget, Pablo Arrighi, Giuseppe Di Molfetta
The Grover search as a naturally occurring phenomenon. CoRR (2019)
Giuseppe Di Molfetta, Pablo Arrighi
A quantum walk with both a continuous-time and a continuous-spacetime limit. CoRR (2019)
Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
Non-abelian Gauge-Invariant Cellular Automata. TPNC (2019)
Pablo Arrighi
An overview of quantum cellular automata. Nat. Comput. 18 (4) (2019)
Pablo Arrighi, Cédric Bény, Terry Farrelly
A quantum cellular automaton for one-dimensional QED. CoRR (2019)
Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
A gauge-invariant reversible cellular automaton. CoRR (2018)
Pablo Arrighi, Giuseppe Di Molfetta, Iván Márquez-Martín, Armando Pérez
The Dirac equation as a quantum walk over the honeycomb and triangular lattices. CoRR (2018)
Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
A Gauge-Invariant Reversible Cellular Automaton. Automata (2018)
Pablo Arrighi, Simon Martiel, Vincent Nesme
Cellular automata over generalized Cayley graphs. Math. Struct. Comput. Sci. 28 (3) (2018)
Pablo Arrighi, Clément Chouteau, Stefano Facchini, Simon Martiel
Causal dynamics of discrete manifolds. CoRR (2018)
Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel
Reversibility vs local creation/destruction. CoRR (2018)
Pablo Arrighi, Clément Chouteau, Stefano Facchini, Simon Martiel
Causal dynamics of discrete manifolds. NCMA (2018)
Pablo Arrighi, Stefano Facchini
(3+1) dimensions, and beyond. Quantum Inf. Comput. 17 (9&10) (2017)
Pablo Arrighi, Gilles Dowek
Lineal: A linear-algebraic Lambda-calculus. Log. Methods Comput. Sci. 13 (1) (2017)
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
The vectorial λ-calculus. Inf. Comput. 254 (2017)
Pablo Arrighi, Simon Martiel, Simon Perdrix
Reversible Causal Graph Dynamics. RC (2016)
Pablo Arrighi, Simon Martiel
Quantum Causal Graph Dynamics. CoRR (2016)
Pablo Arrighi, Stefano Facchini, Marcelo Forets
Quantum walking in curved spacetime. Quantum Inf. Process. 15 (8) (2016)
Pablo Arrighi, Simon Martiel, Simon Perdrix
Block Representation of Reversible Causal Graph Dynamics. FCT (2015)
Pablo Arrighi, Simon Martiel, Simon Perdrix
Reversible Causal Graph Dynamics. CoRR (2015)
Pablo Arrighi, Gilles Dowek
Discrete geodesics and cellular automata. CoRR (2015)
Pablo Arrighi, Gilles Dowek
Discrete Geodesics and Cellular Automata. TPNC (2015)
Pablo Arrighi, Gilles Dowek
Free fall and cellular automata. DCM (2015)
Pablo Arrighi, Johan Girard, Miguel Lezama, Kévin Mazet
The GOOL system: a lightweight object-oriented programming language translator. ICOOOLPS@ECOOP (2014)
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
The Vectorial Lambda-Calculus. CoRR (2013)
Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
Stochastic Cellular Automata: Correlations, Decidability and Simulations. Fundam. Informaticae 126 (2-3) (2013)
Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
Stochastic Cellular Automata: Correlations, Decidability and Simulations CoRR (2013)
Pablo Arrighi, Simon Martiel, Zizhu Wang
Causal Dynamics of Discrete Surfaces. DCM (2013)
Pablo Arrighi, Gilles Dowek
Causal graph dynamics. Inf. Comput. 223 (2013)
Pablo Arrighi, Alejandro Díaz-Caro
Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic Log. Methods Comput. Sci. 8 (1) (2012)
Pablo Arrighi, Gilles Dowek
Causal graph dynamics CoRR (2012)
Pablo Arrighi, Vincent Nesme
A simple block representation of reversible cellular automata with time-symmetry CoRR (2012)
Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier
Intrinsic Simulations between Stochastic Cellular Automata AUTOMATA & JAC (2012)
Pablo Arrighi, Jonathan Grattage
Partitioned quantum cellular automata are intrinsically universal. Nat. Comput. 11 (1) (2012)
Pablo Arrighi, Gilles Dowek
Causal Graph Dynamics. ICALP (2) (2012)
Pablo Arrighi, Gilles Dowek
The Physical Church-Turing Thesis and the Principles of Quantum Theory. Int. J. Found. Comput. Sci. 23 (5) (2012)
Pablo Arrighi, Simon Martiel, Vincent Nesme
Generalized Cayley Graphs and Cellular Automata over them CoRR (2012)
Pablo Arrighi, Jonathan Grattage
Intrinsically universal n-dimensional quantum cellular automata. J. Comput. Syst. Sci. 78 (6) (2012)
Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)
Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry
Applying causality principles to the axiomatization of probabilistic cellular automata CoRR (2011)
Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry
Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. CiE (2011)
Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
One-Dimensional Quantum Cellular Automata. Int. J. Unconv. Comput. 7 (4) (2011)
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
Subject reduction in a Curry-style polymorphic type system with a vectorial structure DCM (2011)
Pablo Arrighi, Alejandro Díaz-Caro
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Pablo Arrighi, Gilles Dowek
The physical Church-Turing thesis and the principles of quantum theory CoRR (2011)
Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
Unitarity plus causality implies localizability. J. Comput. Syst. Sci. 77 (2) (2011)
Pablo Arrighi, Jonathan Grattage
-Dimensional Intrinsically Universal Quantum Cellular Automaton. LATA (2010)
Pablo Arrighi, Jonathan Grattage
A Quantum Game of Life. JAC (2010)
Pablo Arrighi, Gilles Dowek
On the Completeness of Quantum Computation Models. CiE (2010)
Pablo Arrighi, Vincent Nesme
The Block Neighborhood CoRR (2010)
Pablo Arrighi, Gilles Dowek
On the completeness of quantum computation models CoRR (2010)
Pablo Arrighi, Vincent Nesme
The Block Neighborhood. JAC (2010)
Pablo Arrighi, Gilles Dowek
A computational definition of the notion of vectorial space CoRR (2009)
Pablo Arrighi, Renan Fargetton, Zizhu Wang
Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours. Fundam. Informaticae 91 (2) (2009)
Pablo Arrighi, Vincent Nesme, Reinhard F. Werner
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. LATA (2008)
Pablo Arrighi, Vincent Nesme
Quantization of cellular automata. JAC (2008)
Pablo Arrighi, Gilles Dowek
Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. RTA (2008)
Pablo Arrighi, Gilles Dowek
Lineal: A linear-algebraic Lambda-calculus. CoRR (2006)
Pablo Arrighi
Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. MFCS (2006)
Pablo Arrighi, Gilles Dowek
A Computational Definition of the Notion of Vectorial Space. WRLA (2004)
Pablo Arrighi
Quantum Computation Explained to My Mother. Bull. EATCS 80 (2003)