Pablo Arrighi

According to our database, Pablo Arrighi authored at least 60 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Space-time deterministic graph rewriting.

Pablo Arrighi, Marin Costes, Gilles Dowek, Luidnel Maignan

CoRR, 2024

A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis.

Pablo Arrighi, Gilles Dowek, Amélia Durbec

Proceedings of the Reversible Computation - 16th International Conference, 2024

2023

A relativistic discrete spacetime formulation of 3+1 QED.

Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi

Quantum, November, 2023

Gauge-invariance in cellular automata.

Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon

Nat. Comput., September, 2023

The principle of a finite density of information.

Pablo Arrighi, Gilles Dowek

CoRR, 2023

Graph Subshifts.

Pablo Arrighi, Amélia Durbec, Pierre Guillon

Proceedings of the Unity of Logic and Computation, 2023

2021

Quantum networks theory.

Pablo Arrighi, Amélia Durbec, Matt Wilson

CoRR, 2021

Addressable quantum gates.

Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron

CoRR, 2021

Universal Gauge-Invariant Cellular Automata.

Pablo Arrighi, Marin Costes, Nathanaël Eon

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

A quantum walk with both a continuous-time limit and a continuous-spacetime limit.

Giuseppe Di Molfetta, Pablo Arrighi

Quantum Inf. Process., 2020

A quantum cellular automaton for one-dimensional QED.

Pablo Arrighi, Cédric Bény, Terry Farrelly

Quantum Inf. Process., 2020

Reversible causal graph dynamics: invertibility, block representation, vertex-preservation.

Pablo Arrighi, Simon Martiel, Simon Perdrix

Nat. Comput., 2020

Quantum superpositions of graphs.

Pablo Arrighi, Marios Christodoulou, Amélia Durbec

CoRR, 2020

2019

An overview of quantum cellular automata.

Pablo Arrighi

Nat. Comput., 2019

The Grover search as a naturally occurring phenomenon.

Stéphane Guillet, Mathieu Roget, Pablo Arrighi, Giuseppe Di Molfetta

CoRR, 2019

A quantum walk with both a continuous-time and a continuous-spacetime limit.

Giuseppe Di Molfetta, Pablo Arrighi

CoRR, 2019

Non-abelian Gauge-Invariant Cellular Automata.

Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon

Proceedings of the Theory and Practice of Natural Computing - 8th International Conference, 2019

Reversibility vs Local Creation/Destruction.

Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel

Proceedings of the Reversible Computation - 11th International Conference, 2019

2018

Cellular automata over generalized Cayley graphs.

Pablo Arrighi, Simon Martiel, Vincent Nesme

Math. Struct. Comput. Sci., 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

Causal dynamics of discrete manifolds.

Pablo Arrighi, Clément Chouteau, Stefano Facchini, Simon Martiel

Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, 2018

A Gauge-Invariant Reversible Cellular Automaton.

Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon

Proceedings of the Cellular Automata and Discrete Complex Systems, 2018

2017

(3+1) dimensions, and beyond.

Pablo Arrighi, Stefano Facchini

Quantum Inf. Comput., 2017

Lineal: A linear-algebraic Lambda-calculus.

Pablo Arrighi, Gilles Dowek

Log. Methods Comput. Sci., 2017

The vectorial λ-calculus.

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

Inf. Comput., 2017

2016

Quantum walking in curved spacetime.

Pablo Arrighi, Stefano Facchini, Marcelo Forets

Quantum Inf. Process., 2016

Quantum Causal Graph Dynamics.

Pablo Arrighi, Simon Martiel

CoRR, 2016

Reversible Causal Graph Dynamics.

Pablo Arrighi, Simon Martiel, Simon Perdrix

Proceedings of the Reversible Computation - 8th International Conference, 2016

2015

Free fall and cellular automata.

Pablo Arrighi, Gilles Dowek

Proceedings of the Eleventh International Workshop on Developments in Computational Models, 2015

Discrete Geodesics and Cellular Automata.

Pablo Arrighi, Gilles Dowek

Proceedings of the Theory and Practice of Natural Computing, 2015

Block Representation of Reversible Causal Graph Dynamics.

Pablo Arrighi, Simon Martiel, Simon Perdrix

Proceedings of the Fundamentals of Computation Theory - 20th International Symposium, 2015

2014

The GOOL system: a lightweight object-oriented programming language translator.

Pablo Arrighi, Johan Girard, Miguel Lezama, Kévin Mazet

Proceedings of the 9th International Workshop on Implementation, 2014

2013

Causal graph dynamics.

Pablo Arrighi, Gilles Dowek

Inf. Comput., 2013

Stochastic Cellular Automata: Correlations, Decidability and Simulations.

Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier

Fundam. Informaticae, 2013

Causal Dynamics of Discrete Surfaces.

Pablo Arrighi, Simon Martiel, Zizhu Wang

Proceedings of the Proceedings 9th International Workshop on Developments in Computational Models, 2013

The Vectorial Lambda-Calculus.

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

CoRR, 2013

2012

Partitioned quantum cellular automata are intrinsically universal.

Pablo Arrighi, Jonathan Grattage

Nat. Comput., 2012

Intrinsically universal n-dimensional quantum cellular automata.

Pablo Arrighi, Jonathan Grattage

J. Comput. Syst. Sci., 2012

The Physical Church-Turing Thesis and the Principles of Quantum Theory.

Pablo Arrighi, Gilles Dowek

Int. J. Found. Comput. Sci., 2012

Generalized Cayley Graphs and Cellular Automata over them

Pablo Arrighi, Simon Martiel, Vincent Nesme

CoRR, 2012

Intrinsic Simulations between Stochastic Cellular Automata

Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier

Proceedings of the Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, 2012

A simple block representation of reversible cellular automata with time-symmetry

Pablo Arrighi, Vincent Nesme

CoRR, 2012

Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic

Pablo Arrighi, Alejandro Díaz-Caro

Log. Methods Comput. Sci., 2012

2011

Unitarity plus causality implies localizability.

Pablo Arrighi, Vincent Nesme, Reinhard F. Werner

J. Comput. Syst. Sci., 2011

One-Dimensional Quantum Cellular Automata.

Pablo Arrighi, Vincent Nesme, Reinhard F. Werner

Int. J. Unconv. Comput., 2011

Subject reduction in a Curry-style polymorphic type system with a vectorial structure

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011

Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata.

Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry

Proceedings of the Models of Computation in Context, 2011

2010

A Simple <i>n</i>-Dimensional Intrinsically Universal Quantum Cellular Automaton.

Pablo Arrighi, Jonathan Grattage

Proceedings of the Language and Automata Theory and Applications, 2010

The Block Neighborhood.

Pablo Arrighi, Vincent Nesme

Proceedings of the Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010

A Quantum Game of Life.

Pablo Arrighi, Jonathan Grattage

Proceedings of the Second Symposium on Cellular Automata "Journées Automates Cellulaires", 2010

On the Completeness of Quantum Computation Models.

Pablo Arrighi, Gilles Dowek

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours.

Pablo Arrighi, Renan Fargetton, Zizhu Wang

Fundam. Informaticae, 2009

Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic.

Pablo Arrighi, Alejandro Díaz-Caro

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2008

Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits.

Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

Linear-algebraic lambda-calculus: higher-order, encodings, and confluence..

Pablo Arrighi, Gilles Dowek

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations.

Pablo Arrighi, Vincent Nesme, Reinhard F. Werner

Proceedings of the Language and Automata Theory and Applications, 2008

Quantization of cellular automata.

Pablo Arrighi, Vincent Nesme

Proceedings of the First Symposium on Cellular Automata "Journées Automates Cellulaires" (JAC 2008), 2008

2006

Algebraic Characterizations of Unitary Linear Quantum Cellular Automata.

Pablo Arrighi

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

2004

A Computational Definition of the Notion of Vectorial Space.

Pablo Arrighi, Gilles Dowek

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

2003

Quantum Computation Explained to My Mother.

Pablo Arrighi

Bull. EATCS, 2003