default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPablo Arrighi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c28]Pablo Arrighi, Gilles Dowek, Amélia Durbec:
A Toy Model Provably Featuring an Arrow of Time Without Past Hypothesis. RC 2024: 50-68- [i33]Pablo Arrighi, Marin Costes, Gilles Dowek, Luidnel Maignan:
Space-time deterministic graph rewriting. CoRR abs/2404.05838 (2024) - 2023
- [j21]Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon
:
Gauge-invariance in cellular automata. Nat. Comput. 22(3): 587-599 (2023) - [j20]Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi:
A relativistic discrete spacetime formulation of 3+1 QED. Quantum 7: 1179 (2023) - [c27]Pablo Arrighi, Amélia Durbec, Pierre Guillon:
Graph Subshifts. CiE 2023: 261-274 - [i32]Pablo Arrighi, Amélia Durbec, Pierre Guillon:
Graph subshifts. CoRR abs/2302.07249 (2023) - [i31]Pablo Arrighi, Gilles Dowek:
The principle of a finite density of information. CoRR abs/2304.08064 (2023) - [i30]Pablo Arrighi, Gilles Dowek, Amélia Durbec:
A toy model provably featuring an arrow of time without past hypothesis. CoRR abs/2306.07121 (2023) - 2022
- [i29]Nathanaël Eon, Giuseppe Di Molfetta, Giuseppe Magnifico, Pablo Arrighi:
A relativistic discrete spacetime formulation of 3+1 QED. CoRR abs/2205.03148 (2022) - 2021
- [c26]Pablo Arrighi, Marin Costes, Nathanaël Eon:
Universal Gauge-Invariant Cellular Automata. MFCS 2021: 9:1-9:14 - [e1]Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden:
Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. EPTCS 340, 2021 [contents] - [i28]Pablo Arrighi, Marin Costes, Nathanaël Eon:
Universal gauge-invariant cellular automata. CoRR abs/2102.06912 (2021) - [i27]Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron:
Addressable quantum gates. CoRR abs/2109.08050 (2021) - [i26]Pablo Arrighi, Amélia Durbec, Matt Wilson:
Quantum networks theory. CoRR abs/2110.10587 (2021) - 2020
- [j19]Pablo Arrighi, Simon Martiel, Simon Perdrix:
Reversible causal graph dynamics: invertibility, block representation, vertex-preservation. Nat. Comput. 19(1): 157-178 (2020) - [j18]Giuseppe Di Molfetta, Pablo Arrighi:
A quantum walk with both a continuous-time limit and a continuous-spacetime limit. Quantum Inf. Process. 19(2): 47 (2020) - [j17]Pablo Arrighi, Cédric Bény, Terry Farrelly:
A quantum cellular automaton for one-dimensional QED. Quantum Inf. Process. 19(3): 88 (2020) - [i25]Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon:
Gauge-invariance in cellular automata. CoRR abs/2004.03656 (2020) - [i24]Pablo Arrighi, Marios Christodoulou, Amélia Durbec:
Quantum superpositions of graphs. CoRR abs/2010.13579 (2020)
2010 – 2019
- 2019
- [j16]Pablo Arrighi:
An overview of quantum cellular automata. Nat. Comput. 18(4): 885-899 (2019) - [c25]Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel:
Reversibility vs Local Creation/Destruction. RC 2019: 51-66 - [c24]Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon:
Non-abelian Gauge-Invariant Cellular Automata. TPNC 2019: 211-221 - [i23]Pablo Arrighi, Cédric Bény, Terry Farrelly:
A quantum cellular automaton for one-dimensional QED. CoRR abs/1903.07007 (2019) - [i22]Pablo Arrighi:
An overview of Quantum Cellular Automata. CoRR abs/1904.12956 (2019) - [i21]Giuseppe Di Molfetta, Pablo Arrighi:
A quantum walk with both a continuous-time and a continuous-spacetime limit. CoRR abs/1906.04483 (2019) - [i20]Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon:
Non-Abelian Gauge-Invariant Cellular Automata. CoRR abs/1908.01229 (2019) - [i19]Stéphane Guillet, Mathieu Roget, Pablo Arrighi, Giuseppe Di Molfetta:
The Grover search as a naturally occurring phenomenon. CoRR abs/1908.11213 (2019) - 2018
- [j15]Pablo Arrighi, Simon Martiel, Vincent Nesme:
Cellular automata over generalized Cayley graphs. Math. Struct. Comput. Sci. 28(3): 340-383 (2018) - [c23]Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon:
A Gauge-Invariant Reversible Cellular Automaton. Automata 2018: 1-12 - [c22]Pablo Arrighi, Clément Chouteau, Stefano Facchini, Simon Martiel:
Causal dynamics of discrete manifolds. NCMA 2018: 31-47 - [i18]Pablo Arrighi, Giuseppe Di Molfetta, Nathanaël Eon:
A gauge-invariant reversible cellular automaton. CoRR abs/1802.07644 (2018) - [i17]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 abs/1803.01015 (2018) - [i16]Pablo Arrighi, Clément Chouteau, Stefano Facchini, Simon Martiel:
Causal dynamics of discrete manifolds. CoRR abs/1805.10051 (2018) - [i15]Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel:
Reversibility vs local creation/destruction. CoRR abs/1805.10330 (2018) - 2017
- [j14]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The vectorial λ-calculus. Inf. Comput. 254: 105-139 (2017) - [j13]Pablo Arrighi, Gilles Dowek:
Lineal: A linear-algebraic Lambda-calculus. Log. Methods Comput. Sci. 13(1) (2017) - [j12]Pablo Arrighi, Stefano Facchini:
(3+1) dimensions, and beyond. Quantum Inf. Comput. 17(9&10): 794-824 (2017) - 2016
- [j11]Pablo Arrighi, Stefano Facchini, Marcelo Forets:
Quantum walking in curved spacetime. Quantum Inf. Process. 15(8): 3467-3486 (2016) - [c21]Pablo Arrighi, Simon Martiel, Simon Perdrix:
Reversible Causal Graph Dynamics. RC 2016: 73-88 - [i14]Pablo Arrighi, Simon Martiel:
Quantum Causal Graph Dynamics. CoRR abs/1607.06700 (2016) - 2015
- [c20]Pablo Arrighi, Simon Martiel, Simon Perdrix:
Block Representation of Reversible Causal Graph Dynamics. FCT 2015: 351-363 - [c19]Pablo Arrighi, Gilles Dowek:
Discrete Geodesics and Cellular Automata. TPNC 2015: 137-149 - [c18]Pablo Arrighi, Gilles Dowek:
Free fall and cellular automata. DCM 2015: 1-10 - [i13]Pablo Arrighi, Simon Martiel, Simon Perdrix:
Reversible Causal Graph Dynamics. CoRR abs/1502.04368 (2015) - [i12]Pablo Arrighi, Gilles Dowek:
Discrete geodesics and cellular automata. CoRR abs/1507.06836 (2015) - 2014
- [c17]Pablo Arrighi, Johan Girard, Miguel Lezama, Kévin Mazet:
The GOOL system: a lightweight object-oriented programming language translator. ICOOOLPS@ECOOP 2014: 5:1-5:7 - 2013
- [j10]Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier:
Stochastic Cellular Automata: Correlations, Decidability and Simulations. Fundam. Informaticae 126(2-3): 121-156 (2013) - [j9]Pablo Arrighi, Gilles Dowek:
Causal graph dynamics. Inf. Comput. 223: 78-93 (2013) - [c16]Pablo Arrighi, Simon Martiel, Zizhu Wang:
Causal Dynamics of Discrete Surfaces. DCM 2013: 30-40 - [i11]Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier:
Stochastic Cellular Automata: Correlations, Decidability and Simulations. CoRR abs/1304.7185 (2013) - [i10]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The Vectorial Lambda-Calculus. CoRR abs/1308.1138 (2013) - 2012
- [j8]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) - [j7]Pablo Arrighi, Gilles Dowek:
The Physical Church-Turing Thesis and the Principles of Quantum Theory. Int. J. Found. Comput. Sci. 23(5): 1131-1146 (2012) - [j6]Pablo Arrighi, Jonathan Grattage:
Intrinsically universal n-dimensional quantum cellular automata. J. Comput. Syst. Sci. 78(6): 1883-1898 (2012) - [j5]Pablo Arrighi, Jonathan Grattage:
Partitioned quantum cellular automata are intrinsically universal. Nat. Comput. 11(1): 13-22 (2012) - [c15]Pablo Arrighi, Gilles Dowek:
Causal Graph Dynamics. ICALP (2) 2012: 54-66 - [c14]Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier:
Intrinsic Simulations between Stochastic Cellular Automata. AUTOMATA & JAC 2012: 208-224 - [i9]Pablo Arrighi, Vincent Nesme:
A simple block representation of reversible cellular automata with time-symmetry. CoRR abs/1201.5529 (2012) - [i8]Pablo Arrighi, Gilles Dowek:
Causal graph dynamics. CoRR abs/1202.1098 (2012) - [i7]Pablo Arrighi, Simon Martiel, Vincent Nesme:
Generalized Cayley Graphs and Cellular Automata over them. CoRR abs/1212.0027 (2012) - 2011
- [j4]Pablo Arrighi, Vincent Nesme, Reinhard F. Werner:
One-Dimensional Quantum Cellular Automata. Int. J. Unconv. Comput. 7(4): 223-244 (2011) - [j3]Pablo Arrighi, Vincent Nesme, Reinhard F. Werner:
Unitarity plus causality implies localizability. J. Comput. Syst. Sci. 77(2): 372-378 (2011) - [c13]Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry:
Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. CiE 2011: 1-10 - [c12]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
Subject reduction in a Curry-style polymorphic type system with a vectorial structure. DCM 2011: 1-15 - [i6]Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry:
Applying causality principles to the axiomatization of probabilistic cellular automata. CoRR abs/1102.0860 (2011) - [i5]Pablo Arrighi, Gilles Dowek:
The physical Church-Turing thesis and the principles of quantum theory. CoRR abs/1102.1612 (2011) - 2010
- [c11]Pablo Arrighi, Gilles Dowek:
On the Completeness of Quantum Computation Models. CiE 2010: 21-30 - [c10]Pablo Arrighi, Jonathan Grattage:
A Quantum Game of Life. JAC 2010: 31-42 - [c9]Pablo Arrighi, Vincent Nesme:
The Block Neighborhood. JAC 2010: 43-53 - [c8]Pablo Arrighi, Jonathan Grattage:
A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton. LATA 2010: 70-81 - [i4]Pablo Arrighi, Gilles Dowek:
On the completeness of quantum computation models. CoRR abs/1004.1027 (2010) - [i3]Pablo Arrighi, Vincent Nesme:
The Block Neighborhood. CoRR abs/1012.1334 (2010)
2000 – 2009
- 2009
- [j2]Pablo Arrighi, Renan Fargetton, Zizhu Wang:
Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours. Fundam. Informaticae 91(2): 197-230 (2009) - [c7]Pablo Arrighi, Alejandro Díaz-Caro:
Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. QPL@MFPS 2009: 219-229 - [i2]Pablo Arrighi, Gilles Dowek:
A computational definition of the notion of vectorial space. CoRR abs/0911.4051 (2009) - 2008
- [c6]Pablo Arrighi, Vincent Nesme:
Quantization of cellular automata. JAC 2008: 204-215 - [c5]Pablo Arrighi, Vincent Nesme, Reinhard F. Werner:
One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. LATA 2008: 64-75 - [c4]Pablo Arrighi, Gilles Dowek:
Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. RTA 2008: 17-31 - [c3]Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage:
Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. QPL/DCM@ICALP 2008: 59-74 - 2006
- [c2]Pablo Arrighi:
Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. MFCS 2006: 122-133 - [i1]Pablo Arrighi, Gilles Dowek:
Lineal: A linear-algebraic Lambda-calculus. CoRR abs/quant-ph/0612199 (2006) - 2004
- [c1]Pablo Arrighi, Gilles Dowek:
A Computational Definition of the Notion of Vectorial Space. WRLA 2004: 249-261 - 2003
- [j1]Pablo Arrighi:
Quantum Computation Explained to My Mother. Bull. EATCS 80: 134-142 (2003)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-05 20:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
