Pablo Arrighi

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