Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pablo Arrighi
@article{DBLP:journals/nc/ArrighiME23,
author = {Pablo Arrighi and
Giuseppe Di Molfetta and
Nathana{\"{e}}l Eon},
title = {Gauge-invariance in cellular automata},
journal = {Nat. Comput.},
volume = {22},
number = {3},
pages = {587--599},
year = {2023},
url = {https://doi.org/10.1007/s11047-022-09879-1},
doi = {10.1007/S11047-022-09879-1},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/ArrighiME23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/EonMMA23,
author = {Nathana{\"{e}}l Eon and
Giuseppe Di Molfetta and
Giuseppe Magnifico and
Pablo Arrighi},
title = {A relativistic discrete spacetime formulation of 3+1 {QED}},
journal = {Quantum},
volume = {7},
pages = {1179},
year = {2023},
url = {https://doi.org/10.22331/q-2023-11-08-1179},
doi = {10.22331/Q-2023-11-08-1179},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/quantum/EonMMA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ArrighiDG23,
author = {Pablo Arrighi and
Am{\'{e}}lia Durbec and
Pierre Guillon},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {Graph Subshifts},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {261--274},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_21},
doi = {10.1007/978-3-031-36978-0\_21},
timestamp = {Wed, 26 Jul 2023 08:43:10 +0200},
biburl = {https://dblp.org/rec/conf/cie/ArrighiDG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-07249,
author = {Pablo Arrighi and
Am{\'{e}}lia Durbec and
Pierre Guillon},
title = {Graph subshifts},
journal = {CoRR},
volume = {abs/2302.07249},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.07249},
doi = {10.48550/ARXIV.2302.07249},
eprinttype = {arXiv},
eprint = {2302.07249},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-07249.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-08064,
author = {Pablo Arrighi and
Gilles Dowek},
title = {The principle of a finite density of information},
journal = {CoRR},
volume = {abs/2304.08064},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.08064},
doi = {10.48550/ARXIV.2304.08064},
eprinttype = {arXiv},
eprint = {2304.08064},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-08064.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-07121,
author = {Pablo Arrighi and
Gilles Dowek and
Am{\'{e}}lia Durbec},
title = {A toy model provably featuring an arrow of time without past hypothesis},
journal = {CoRR},
volume = {abs/2306.07121},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.07121},
doi = {10.48550/ARXIV.2306.07121},
eprinttype = {arXiv},
eprint = {2306.07121},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-07121.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-03148,
author = {Nathana{\"{e}}l Eon and
Giuseppe Di Molfetta and
Giuseppe Magnifico and
Pablo Arrighi},
title = {A relativistic discrete spacetime formulation of 3+1 {QED}},
journal = {CoRR},
volume = {abs/2205.03148},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.03148},
doi = {10.48550/ARXIV.2205.03148},
eprinttype = {arXiv},
eprint = {2205.03148},
timestamp = {Thu, 12 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-03148.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/ArrighiCE21,
author = {Pablo Arrighi and
Marin Costes and
Nathana{\"{e}}l Eon},
editor = {Filippo Bonchi and
Simon J. Puglisi},
title = {Universal Gauge-Invariant Cellular Automata},
booktitle = {46th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
series = {LIPIcs},
volume = {202},
pages = {9:1--9:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.9},
doi = {10.4230/LIPICS.MFCS.2021.9},
timestamp = {Wed, 25 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/ArrighiCE21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2109-01534,
editor = {Beno{\^{\i}}t Valiron and
Shane Mansfield and
Pablo Arrighi and
Prakash Panangaden},
title = {Proceedings 17th International Conference on Quantum Physics and Logic,
{QPL} 2020, Paris, France, June 2 - 6, 2020},
series = {{EPTCS}},
volume = {340},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.340},
doi = {10.4204/EPTCS.340},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01534.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06912,
author = {Pablo Arrighi and
Marin Costes and
Nathana{\"{e}}l Eon},
title = {Universal gauge-invariant cellular automata},
journal = {CoRR},
volume = {abs/2102.06912},
year = {2021},
url = {https://arxiv.org/abs/2102.06912},
eprinttype = {arXiv},
eprint = {2102.06912},
timestamp = {Fri, 19 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-08050,
author = {Pablo Arrighi and
Christopher Cedzich and
Marin Costes and
Ulysse R{\'{e}}mond and
Beno{\^{\i}}t Valiron},
title = {Addressable quantum gates},
journal = {CoRR},
volume = {abs/2109.08050},
year = {2021},
url = {https://arxiv.org/abs/2109.08050},
eprinttype = {arXiv},
eprint = {2109.08050},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08050.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-10587,
author = {Pablo Arrighi and
Am{\'{e}}lia Durbec and
Matt Wilson},
title = {Quantum networks theory},
journal = {CoRR},
volume = {abs/2110.10587},
year = {2021},
url = {https://arxiv.org/abs/2110.10587},
eprinttype = {arXiv},
eprint = {2110.10587},
timestamp = {Fri, 29 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-10587.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/ArrighiMP20,
author = {Pablo Arrighi and
Simon Martiel and
Simon Perdrix},
title = {Reversible causal graph dynamics: invertibility, block representation,
vertex-preservation},
journal = {Nat. Comput.},
volume = {19},
number = {1},
pages = {157--178},
year = {2020},
url = {https://doi.org/10.1007/s11047-019-09768-0},
doi = {10.1007/S11047-019-09768-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/ArrighiMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qip/MolfettaA20,
author = {Giuseppe Di Molfetta and
Pablo Arrighi},
title = {A quantum walk with both a continuous-time limit and a continuous-spacetime
limit},
journal = {Quantum Inf. Process.},
volume = {19},
number = {2},
pages = {47},
year = {2020},
url = {https://doi.org/10.1007/s11128-019-2549-2},
doi = {10.1007/S11128-019-2549-2},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qip/MolfettaA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qip/ArrighiBF20,
author = {Pablo Arrighi and
C{\'{e}}dric B{\'{e}}ny and
Terry Farrelly},
title = {A quantum cellular automaton for one-dimensional {QED}},
journal = {Quantum Inf. Process.},
volume = {19},
number = {3},
pages = {88},
year = {2020},
url = {https://doi.org/10.1007/s11128-019-2555-4},
doi = {10.1007/S11128-019-2555-4},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/qip/ArrighiBF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-03656,
author = {Pablo Arrighi and
Giuseppe Di Molfetta and
Nathana{\"{e}}l Eon},
title = {Gauge-invariance in cellular automata},
journal = {CoRR},
volume = {abs/2004.03656},
year = {2020},
url = {https://arxiv.org/abs/2004.03656},
eprinttype = {arXiv},
eprint = {2004.03656},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-03656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-13579,
author = {Pablo Arrighi and
Marios Christodoulou and
Am{\'{e}}lia Durbec},
title = {Quantum superpositions of graphs},
journal = {CoRR},
volume = {abs/2010.13579},
year = {2020},
url = {https://arxiv.org/abs/2010.13579},
eprinttype = {arXiv},
eprint = {2010.13579},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-13579.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/Arrighi19,
author = {Pablo Arrighi},
title = {An overview of quantum cellular automata},
journal = {Nat. Comput.},
volume = {18},
number = {4},
pages = {885--899},
year = {2019},
url = {https://doi.org/10.1007/s11047-019-09762-6},
doi = {10.1007/S11047-019-09762-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/Arrighi19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/ArrighiDE19,
author = {Pablo Arrighi and
Nicolas Durbec and
Aur{\'{e}}lien Emmanuel},
editor = {Michael Kirkedal Thomsen and
Mathias Soeken},
title = {Reversibility vs Local Creation/Destruction},
booktitle = {Reversible Computation - 11th International Conference, {RC} 2019,
Lausanne, Switzerland, June 24-25, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11497},
pages = {51--66},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21500-2\_4},
doi = {10.1007/978-3-030-21500-2\_4},
timestamp = {Mon, 17 Jun 2019 13:44:07 +0200},
biburl = {https://dblp.org/rec/conf/rc/ArrighiDE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpnc/ArrighiME19,
author = {Pablo Arrighi and
Giuseppe Di Molfetta and
Nathana{\"{e}}l Eon},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Geoffrey T. Pond and
Miguel A. Vega{-}Rodr{\'{\i}}guez},
title = {Non-abelian Gauge-Invariant Cellular Automata},
booktitle = {Theory and Practice of Natural Computing - 8th International Conference,
{TPNC} 2019, Kingston, ON, Canada, December 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11934},
pages = {211--221},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34500-6\_15},
doi = {10.1007/978-3-030-34500-6\_15},
timestamp = {Thu, 12 Dec 2019 15:57:25 +0100},
biburl = {https://dblp.org/rec/conf/tpnc/ArrighiME19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-07007,
author = {Pablo Arrighi and
C{\'{e}}dric B{\'{e}}ny and
Terry Farrelly},
title = {A quantum cellular automaton for one-dimensional {QED}},
journal = {CoRR},
volume = {abs/1903.07007},
year = {2019},
url = {http://arxiv.org/abs/1903.07007},
eprinttype = {arXiv},
eprint = {1903.07007},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-07007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-12956,
author = {Pablo Arrighi},
title = {An overview of Quantum Cellular Automata},
journal = {CoRR},
volume = {abs/1904.12956},
year = {2019},
url = {http://arxiv.org/abs/1904.12956},
eprinttype = {arXiv},
eprint = {1904.12956},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-12956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-04483,
author = {Giuseppe Di Molfetta and
Pablo Arrighi},
title = {A quantum walk with both a continuous-time and a continuous-spacetime
limit},
journal = {CoRR},
volume = {abs/1906.04483},
year = {2019},
url = {http://arxiv.org/abs/1906.04483},
eprinttype = {arXiv},
eprint = {1906.04483},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-04483.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-01229,
author = {Pablo Arrighi and
Giuseppe Di Molfetta and
Nathana{\"{e}}l Eon},
title = {Non-Abelian Gauge-Invariant Cellular Automata},
journal = {CoRR},
volume = {abs/1908.01229},
year = {2019},
url = {http://arxiv.org/abs/1908.01229},
eprinttype = {arXiv},
eprint = {1908.01229},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-01229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-11213,
author = {St{\'{e}}phane Guillet and
Mathieu Roget and
Pablo Arrighi and
Giuseppe Di Molfetta},
title = {The Grover search as a naturally occurring phenomenon},
journal = {CoRR},
volume = {abs/1908.11213},
year = {2019},
url = {http://arxiv.org/abs/1908.11213},
eprinttype = {arXiv},
eprint = {1908.11213},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-11213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ArrighiMN18,
author = {Pablo Arrighi and
Simon Martiel and
Vincent Nesme},
title = {Cellular automata over generalized Cayley graphs},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {3},
pages = {340--383},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000044},
doi = {10.1017/S0960129517000044},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ArrighiMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automata/ArrighiME18,
author = {Pablo Arrighi and
Giuseppe Di Molfetta and
Nathana{\"{e}}l Eon},
editor = {Jan M. Baetens and
Martin Kutrib},
title = {A Gauge-Invariant Reversible Cellular Automaton},
booktitle = {Cellular Automata and Discrete Complex Systems - 24th {IFIP} {WG}
1.5 International Workshop, {AUTOMATA} 2018, Ghent, Belgium, June
20-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10875},
pages = {1--12},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92675-9\_1},
doi = {10.1007/978-3-319-92675-9\_1},
timestamp = {Mon, 05 Feb 2024 20:35:13 +0100},
biburl = {https://dblp.org/rec/conf/automata/ArrighiME18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ncma/ArrighiCFM18,
author = {Pablo Arrighi and
Cl{\'{e}}ment Chouteau and
Stefano Facchini and
Simon Martiel},
editor = {Rudolf Freund and
Michal Hospod{\'{a}}r and
Galina Jir{\'{a}}skov{\'{a}} and
Giovanni Pighizzini},
title = {Causal dynamics of discrete manifolds},
booktitle = {Tenth Workshop on Non-Classical Models of Automata and Applications,
{NCMA} 2018, Ko{\v{s}}ice, Slovakia, August 21-22, 2018},
pages = {31--47},
publisher = {{\"{O}}sterreichische Computer Gesellschaft},
year = {2018},
timestamp = {Wed, 29 Aug 2018 15:26:26 +0200},
biburl = {https://dblp.org/rec/conf/ncma/ArrighiCFM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-07644,
author = {Pablo Arrighi and
Giuseppe Di Molfetta and
Nathana{\"{e}}l Eon},
title = {A gauge-invariant reversible cellular automaton},
journal = {CoRR},
volume = {abs/1802.07644},
year = {2018},
url = {http://arxiv.org/abs/1802.07644},
eprinttype = {arXiv},
eprint = {1802.07644},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-07644.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01015,
author = {Pablo Arrighi and
Giuseppe Di Molfetta and
Iv{\'{a}}n M{\'{a}}rquez{-}Mart{\'{\i}}n and
Armando P{\'{e}}rez},
title = {The Dirac equation as a quantum walk over the honeycomb and triangular
lattices},
journal = {CoRR},
volume = {abs/1803.01015},
year = {2018},
url = {http://arxiv.org/abs/1803.01015},
eprinttype = {arXiv},
eprint = {1803.01015},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-10051,
author = {Pablo Arrighi and
Cl{\'{e}}ment Chouteau and
Stefano Facchini and
Simon Martiel},
title = {Causal dynamics of discrete manifolds},
journal = {CoRR},
volume = {abs/1805.10051},
year = {2018},
url = {http://arxiv.org/abs/1805.10051},
eprinttype = {arXiv},
eprint = {1805.10051},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-10051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-10330,
author = {Pablo Arrighi and
Nicolas Durbec and
Aur{\'{e}}lien Emmanuel},
title = {Reversibility vs local creation/destruction},
journal = {CoRR},
volume = {abs/1805.10330},
year = {2018},
url = {http://arxiv.org/abs/1805.10330},
eprinttype = {arXiv},
eprint = {1805.10330},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-10330.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArrighiDV17,
author = {Pablo Arrighi and
Alejandro D{\'{\i}}az{-}Caro and
Beno{\^{\i}}t Valiron},
title = {The vectorial {\(\lambda\)}-calculus},
journal = {Inf. Comput.},
volume = {254},
pages = {105--139},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.04.001},
doi = {10.1016/J.IC.2017.04.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ArrighiDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ArrighiD17,
author = {Pablo Arrighi and
Gilles Dowek},
title = {Lineal: {A} linear-algebraic Lambda-calculus},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {1},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(1:8)2017},
doi = {10.23638/LMCS-13(1:8)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ArrighiD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/ArrighiF17,
author = {Pablo Arrighi and
Stefano Facchini},
title = {{(3+1)} dimensions, and beyond},
journal = {Quantum Inf. Comput.},
volume = {17},
number = {9{\&}10},
pages = {794--824},
year = {2017},
url = {https://doi.org/10.26421/QIC17.9-10-4},
doi = {10.26421/QIC17.9-10-4},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qic/ArrighiF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qip/ArrighiFF16,
author = {Pablo Arrighi and
Stefano Facchini and
Marcelo Forets},
title = {Quantum walking in curved spacetime},
journal = {Quantum Inf. Process.},
volume = {15},
number = {8},
pages = {3467--3486},
year = {2016},
url = {https://doi.org/10.1007/s11128-016-1335-7},
doi = {10.1007/S11128-016-1335-7},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qip/ArrighiFF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/ArrighiMP16,
author = {Pablo Arrighi and
Simon Martiel and
Simon Perdrix},
editor = {Simon J. Devitt and
Ivan Lanese},
title = {Reversible Causal Graph Dynamics},
booktitle = {Reversible Computation - 8th International Conference, {RC} 2016,
Bologna, Italy, July 7-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9720},
pages = {73--88},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40578-0\_5},
doi = {10.1007/978-3-319-40578-0\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/rc/ArrighiMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArrighiM16,
author = {Pablo Arrighi and
Simon Martiel},
title = {Quantum Causal Graph Dynamics},
journal = {CoRR},
volume = {abs/1607.06700},
year = {2016},
url = {http://arxiv.org/abs/1607.06700},
eprinttype = {arXiv},
eprint = {1607.06700},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArrighiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/ArrighiMP15,
author = {Pablo Arrighi and
Simon Martiel and
Simon Perdrix},
editor = {Adrian Kosowski and
Igor Walukiewicz},
title = {Block Representation of Reversible Causal Graph Dynamics},
booktitle = {Fundamentals of Computation Theory - 20th International Symposium,
{FCT} 2015, Gda{\'{n}}sk, Poland, August 17-19, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9210},
pages = {351--363},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22177-9\_27},
doi = {10.1007/978-3-319-22177-9\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/ArrighiMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpnc/ArrighiD15,
author = {Pablo Arrighi and
Gilles Dowek},
editor = {Adrian{-}Horia Dediu and
Luis Magdalena and
Carlos Mart{\'{\i}}n{-}Vide},
title = {Discrete Geodesics and Cellular Automata},
booktitle = {Theory and Practice of Natural Computing - Fourth International Conference,
{TPNC} 2015, Mieres, Spain, December 15-16, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9477},
pages = {137--149},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26841-5\_11},
doi = {10.1007/978-3-319-26841-5\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tpnc/ArrighiD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArrighiD16,
author = {Pablo Arrighi and
Gilles Dowek},
editor = {C{\'{e}}sar A. Mu{\~{n}}oz and
Jorge A. P{\'{e}}rez},
title = {Free fall and cellular automata},
booktitle = {Proceedings of the Eleventh International Workshop on Developments
in Computational Models, {DCM} 2015, Cali, Colombia, October 28, 2015},
series = {{EPTCS}},
volume = {204},
pages = {1--10},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.204.1},
doi = {10.4204/EPTCS.204.1},
timestamp = {Wed, 02 Dec 2020 13:20:36 +0100},
biburl = {https://dblp.org/rec/journals/corr/ArrighiD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArrighiMP15,
author = {Pablo Arrighi and
Simon Martiel and
Simon Perdrix},
title = {Reversible Causal Graph Dynamics},
journal = {CoRR},
volume = {abs/1502.04368},
year = {2015},
url = {http://arxiv.org/abs/1502.04368},
eprinttype = {arXiv},
eprint = {1502.04368},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArrighiMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArrighiD15,
author = {Pablo Arrighi and
Gilles Dowek},
title = {Discrete geodesics and cellular automata},
journal = {CoRR},
volume = {abs/1507.06836},
year = {2015},
url = {http://arxiv.org/abs/1507.06836},
eprinttype = {arXiv},
eprint = {1507.06836},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArrighiD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ArrighiGLM14,
author = {Pablo Arrighi and
Johan Girard and
Miguel Lezama and
K{\'{e}}vin Mazet},
title = {The {GOOL} system: a lightweight object-oriented programming language
translator},
booktitle = {Proceedings of the 9th International Workshop on Implementation, Compilation,
Optimization of Object-Oriented Languages, Programs and Systems PLE,
ICOOOLPS@ECOOP 2014, Uppsala, Sweden, July 28, 2014},
pages = {5:1--5:7},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633301.2633306},
doi = {10.1145/2633301.2633306},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ArrighiGLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ArrighiST13,
author = {Pablo Arrighi and
Nicolas Schabanel and
Guillaume Theyssier},
title = {Stochastic Cellular Automata: Correlations, Decidability and Simulations},
journal = {Fundam. Informaticae},
volume = {126},
number = {2-3},
pages = {121--156},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-875},
doi = {10.3233/FI-2013-875},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ArrighiST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ArrighiD13,
author = {Pablo Arrighi and
Gilles Dowek},
title = {Causal graph dynamics},
journal = {Inf. Comput.},
volume = {223},
pages = {78--93},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2012.10.019},
doi = {10.1016/J.IC.2012.10.019},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ArrighiD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArrighiMW14,
author = {Pablo Arrighi and
Simon Martiel and
Zizhu Wang},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli and
Ian Mackie},
title = {Causal Dynamics of Discrete Surfaces},
booktitle = {Proceedings 9th International Workshop on Developments in Computational
Models, {DCM} 2013, Buenos Aires, Argentina, 26 August 2013},
series = {{EPTCS}},
volume = {144},
pages = {30--40},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.144.3},
doi = {10.4204/EPTCS.144.3},
timestamp = {Wed, 25 Sep 2019 17:52:31 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArrighiMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-7185,
author = {Pablo Arrighi and
Nicolas Schabanel and
Guillaume Theyssier},
title = {Stochastic Cellular Automata: Correlations, Decidability and Simulations},
journal = {CoRR},
volume = {abs/1304.7185},
year = {2013},
url = {http://arxiv.org/abs/1304.7185},
eprinttype = {arXiv},
eprint = {1304.7185},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArrighiDV13,
author = {Pablo Arrighi and
Alejandro D{\'{\i}}az{-}Caro and
Beno{\^{\i}}t Valiron},
title = {The Vectorial Lambda-Calculus},
journal = {CoRR},
volume = {abs/1308.1138},
year = {2013},
url = {http://arxiv.org/abs/1308.1138},
eprinttype = {arXiv},
eprint = {1308.1138},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArrighiDV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-3741,
author = {Pablo Arrighi and
Alejandro D{\'{\i}}az{-}Caro},
title = {Scalar System {F} for Linear-Algebraic Lambda-Calculus: Towards a
Quantum Physical Logic},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:11)2012},
doi = {10.2168/LMCS-8(1:11)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-3741.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/ArrighiD12,
author = {Pablo Arrighi and
Gilles Dowek},
title = {The Physical Church-Turing Thesis and the Principles of Quantum Theory},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {5},
pages = {1131--1146},
year = {2012},
url = {https://doi.org/10.1142/S0129054112500153},
doi = {10.1142/S0129054112500153},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/ArrighiD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ArrighiG12,
author = {Pablo Arrighi and
Jonathan Grattage},
title = {Intrinsically universal n-dimensional quantum cellular automata},
journal = {J. Comput. Syst. Sci.},
volume = {78},
number = {6},
pages = {1883--1898},
year = {2012},
url = {https://doi.org/10.1016/j.jcss.2011.12.008},
doi = {10.1016/J.JCSS.2011.12.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ArrighiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nc/ArrighiG12,
author = {Pablo Arrighi and
Jonathan Grattage},
title = {Partitioned quantum cellular automata are intrinsically universal},
journal = {Nat. Comput.},
volume = {11},
number = {1},
pages = {13--22},
year = {2012},
url = {https://doi.org/10.1007/s11047-011-9277-6},
doi = {10.1007/S11047-011-9277-6},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nc/ArrighiG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ArrighiD12,
author = {Pablo Arrighi and
Gilles Dowek},
editor = {Artur Czumaj and
Kurt Mehlhorn and
Andrew M. Pitts and
Roger Wattenhofer},
title = {Causal Graph Dynamics},
booktitle = {Automata, Languages, and Programming - 39th International Colloquium,
{ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7392},
pages = {54--66},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31585-5\_9},
doi = {10.1007/978-3-642-31585-5\_9},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/ArrighiD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1208-2763,
author = {Pablo Arrighi and
Nicolas Schabanel and
Guillaume Theyssier},
editor = {Enrico Formenti},
title = {Intrinsic Simulations between Stochastic Cellular Automata},
booktitle = {Proceedings 18th international workshop on Cellular Automata and Discrete
Complex Systems and 3rd international symposium Journ{\'{e}}es
Automates Cellulaires, {AUTOMATA} {\&} {JAC} 2012, La Marana,
Corsica, September 19-21, 2012},
series = {{EPTCS}},
volume = {90},
pages = {208--224},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.90.17},
doi = {10.4204/EPTCS.90.17},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-2763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5529,
author = {Pablo Arrighi and
Vincent Nesme},
title = {A simple block representation of reversible cellular automata with
time-symmetry},
journal = {CoRR},
volume = {abs/1201.5529},
year = {2012},
url = {http://arxiv.org/abs/1201.5529},
eprinttype = {arXiv},
eprint = {1201.5529},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-5529.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-1098,
author = {Pablo Arrighi and
Gilles Dowek},
title = {Causal graph dynamics},
journal = {CoRR},
volume = {abs/1202.1098},
year = {2012},
url = {http://arxiv.org/abs/1202.1098},
eprinttype = {arXiv},
eprint = {1202.1098},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-1098.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1212-0027,
author = {Pablo Arrighi and
Simon Martiel and
Vincent Nesme},
title = {Generalized Cayley Graphs and Cellular Automata over them},
journal = {CoRR},
volume = {abs/1212.0027},
year = {2012},
url = {http://arxiv.org/abs/1212.0027},
eprinttype = {arXiv},
eprint = {1212.0027},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1212-0027.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/ArrighiNW11,
author = {Pablo Arrighi and
Vincent Nesme and
Reinhard F. Werner},
title = {One-Dimensional Quantum Cellular Automata},
journal = {Int. J. Unconv. Comput.},
volume = {7},
number = {4},
pages = {223--244},
year = {2011},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-7-number-4-2011/ijuc-7-4-p-223-244/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/ArrighiNW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/ArrighiNW11,
author = {Pablo Arrighi and
Vincent Nesme and
Reinhard F. Werner},
title = {Unitarity plus causality implies localizability},
journal = {J. Comput. Syst. Sci.},
volume = {77},
number = {2},
pages = {372--378},
year = {2011},
url = {https://doi.org/10.1016/j.jcss.2010.05.004},
doi = {10.1016/J.JCSS.2010.05.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/ArrighiNW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ArrighiFNT11,
author = {Pablo Arrighi and
Renan Fargetton and
Vincent Nesme and
Eric Thierry},
editor = {Benedikt L{\"{o}}we and
Dag Normann and
Ivan N. Soskov and
Alexandra A. Soskova},
title = {Applying Causality Principles to the Axiomatization of Probabilistic
Cellular Automata},
booktitle = {Models of Computation in Context - 7th Conference on Computability
in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6735},
pages = {1--10},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21875-0\_1},
doi = {10.1007/978-3-642-21875-0\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/ArrighiFNT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4032,
author = {Pablo Arrighi and
Alejandro D{\'{\i}}az{-}Caro and
Beno{\^{\i}}t Valiron},
editor = {Elham Kashefi and
Jean Krivine and
Femke van Raamsdonk},
title = {Subject reduction in a Curry-style polymorphic type system with a
vectorial structure},
booktitle = {Proceedings 7th International Workshop on Developments of Computational
Methods, {DCM} 2011, Zurich, Switzerland, 3rd July 2011},
series = {{EPTCS}},
volume = {88},
pages = {1--15},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.88.1},
doi = {10.4204/EPTCS.88.1},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-0860,
author = {Pablo Arrighi and
Renan Fargetton and
Vincent Nesme and
Eric Thierry},
title = {Applying causality principles to the axiomatization of probabilistic
cellular automata},
journal = {CoRR},
volume = {abs/1102.0860},
year = {2011},
url = {http://arxiv.org/abs/1102.0860},
eprinttype = {arXiv},
eprint = {1102.0860},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-0860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-1612,
author = {Pablo Arrighi and
Gilles Dowek},
title = {The physical Church-Turing thesis and the principles of quantum theory},
journal = {CoRR},
volume = {abs/1102.1612},
year = {2011},
url = {http://arxiv.org/abs/1102.1612},
eprinttype = {arXiv},
eprint = {1102.1612},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-1612.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/ArrighiD10,
author = {Pablo Arrighi and
Gilles Dowek},
editor = {Fernando Ferreira and
Benedikt L{\"{o}}we and
Elvira Mayordomo and
Lu{\'{\i}}s Mendes Gomes},
title = {On the Completeness of Quantum Computation Models},
booktitle = {Programs, Proofs, Processes, 6th Conference on Computability in Europe,
CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6158},
pages = {21--30},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13962-8\_3},
doi = {10.1007/978-3-642-13962-8\_3},
timestamp = {Tue, 07 May 2024 20:13:36 +0200},
biburl = {https://dblp.org/rec/conf/cie/ArrighiD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jac/ArrighiG10,
author = {Pablo Arrighi and
Jonathan Grattage},
editor = {Jarkko Kari},
title = {A Quantum Game of Life},
booktitle = {Second Symposium on Cellular Automata "Journ{\'{e}}es Automates
Cellulaires", {JAC} 2010, Turku, Finland, December 15-17, 2010. Proceedings},
pages = {31--42},
publisher = {Turku Center for Computer Science},
year = {2010},
url = {http://hal.archives-ouvertes.fr/view\_by\_stamp.php?\&\#38;halsid=hui3r3f2euu9snj9pqte72j4e2\&\#38;label=JAC2010\&\#38;langue=en\&\#38;action\_todo=view\&\#38;id=hal-00542373\&\#38;version=1},
timestamp = {Wed, 19 May 2021 12:43:45 +0200},
biburl = {https://dblp.org/rec/conf/jac/ArrighiG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jac/ArrighiN10,
author = {Pablo Arrighi and
Vincent Nesme},
editor = {Jarkko Kari},
title = {The Block Neighborhood},
booktitle = {Second Symposium on Cellular Automata "Journ{\'{e}}es Automates
Cellulaires", {JAC} 2010, Turku, Finland, December 15-17, 2010. Proceedings},
pages = {43--53},
publisher = {Turku Center for Computer Science},
year = {2010},
url = {http://hal.archives-ouvertes.fr/view\_by\_stamp.php?\&\#38;halsid=hui3r3f2euu9snj9pqte72j4e2\&\#38;label=JAC2010\&\#38;langue=en\&\#38;action\_todo=view\&\#38;id=hal-00542488\&\#38;version=1},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jac/ArrighiN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/ArrighiG10,
author = {Pablo Arrighi and
Jonathan Grattage},
editor = {Adrian{-}Horia Dediu and
Henning Fernau and
Carlos Mart{\'{\i}}n{-}Vide},
title = {A Simple \emph{n}-Dimensional Intrinsically Universal Quantum Cellular
Automaton},
booktitle = {Language and Automata Theory and Applications, 4th International Conference,
{LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6031},
pages = {70--81},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13089-2\_6},
doi = {10.1007/978-3-642-13089-2\_6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lata/ArrighiG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-1027,
author = {Pablo Arrighi and
Gilles Dowek},
title = {On the completeness of quantum computation models},
journal = {CoRR},
volume = {abs/1004.1027},
year = {2010},
url = {http://arxiv.org/abs/1004.1027},
eprinttype = {arXiv},
eprint = {1004.1027},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-1027.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-1334,
author = {Pablo Arrighi and
Vincent Nesme},
title = {The Block Neighborhood},
journal = {CoRR},
volume = {abs/1012.1334},
year = {2010},
url = {http://arxiv.org/abs/1012.1334},
eprinttype = {arXiv},
eprint = {1012.1334},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-1334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ArrighiFW09,
author = {Pablo Arrighi and
Renan Fargetton and
Zizhu Wang},
title = {Intrinsically Universal One-dimensional Quantum Cellular Automata
in Two Flavours},
journal = {Fundam. Informaticae},
volume = {91},
number = {2},
pages = {197--230},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0041},
doi = {10.3233/FI-2009-0041},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ArrighiFW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArrighiD11,
author = {Pablo Arrighi and
Alejandro D{\'{\i}}az{-}Caro},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Scalar System {F} for Linear-Algebraic {\(\lambda\)}-Calculus: Towards
a Quantum Physical Logic},
booktitle = {Proceedings of the 6th International Workshop on Quantum Physics and
Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {270},
number = {2},
pages = {219--229},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.033},
doi = {10.1016/J.ENTCS.2011.01.033},
timestamp = {Fri, 10 Mar 2023 13:14:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArrighiD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-4051,
author = {Pablo Arrighi and
Gilles Dowek},
title = {A computational definition of the notion of vectorial space},
journal = {CoRR},
volume = {abs/0911.4051},
year = {2009},
url = {http://arxiv.org/abs/0911.4051},
eprinttype = {arXiv},
eprint = {0911.4051},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-4051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jac/ArrighiN08,
author = {Pablo Arrighi and
Vincent Nesme},
editor = {Bruno Durand},
title = {Quantization of cellular automata},
booktitle = {First Symposium on Cellular Automata "Journ{\'{e}}es Automates
Cellulaires" {(JAC} 2008), Uz{\`{e}}s, France, April 21-25, 2008.
Proceedings},
pages = {204--215},
publisher = {{MCCME} Publishing House, Moscow},
year = {2008},
timestamp = {Wed, 19 May 2021 12:05:42 +0200},
biburl = {https://dblp.org/rec/conf/jac/ArrighiN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/ArrighiNW08,
author = {Pablo Arrighi and
Vincent Nesme and
Reinhard F. Werner},
editor = {Carlos Mart{\'{\i}}n{-}Vide and
Friedrich Otto and
Henning Fernau},
title = {One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations},
booktitle = {Language and Automata Theory and Applications, Second International
Conference, {LATA} 2008, Tarragona, Spain, March 13-19, 2008. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {5196},
pages = {64--75},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88282-4\_8},
doi = {10.1007/978-3-540-88282-4\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lata/ArrighiNW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ArrighiD08,
author = {Pablo Arrighi and
Gilles Dowek},
editor = {Andrei Voronkov},
title = {Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.},
booktitle = {Rewriting Techniques and Applications, 19th International Conference,
{RTA} 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5117},
pages = {17--31},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70590-1\_2},
doi = {10.1007/978-3-540-70590-1\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/ArrighiD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Diaz-CaroAGG11,
author = {Alejandro D{\'{\i}}az{-}Caro and
Pablo Arrighi and
Manuel Gadella and
Jonathan Grattage},
editor = {Bob Coecke and
Ian Mackie and
Prakash Panangaden and
Peter Selinger},
title = {Measurements and Confluence in Quantum Lambda Calculi With Explicit
Qubits},
booktitle = {Proceedings of the Joint 5th International Workshop on Quantum Physics
and Logic and 4th Workshop on Developments in Computational Models,
QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {270},
number = {1},
pages = {59--74},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2011.01.006},
doi = {10.1016/J.ENTCS.2011.01.006},
timestamp = {Fri, 10 Mar 2023 13:02:49 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Diaz-CaroAGG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Arrighi06,
author = {Pablo Arrighi},
editor = {Rastislav Kralovic and
Pawel Urzyczyn},
title = {Algebraic Characterizations of Unitary Linear Quantum Cellular Automata},
booktitle = {Mathematical Foundations of Computer Science 2006, 31st International
Symposium, {MFCS} 2006, Star{\'{a}} Lesn{\'{a}}, Slovakia,
August 28-September 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4162},
pages = {122--133},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11821069\_11},
doi = {10.1007/11821069\_11},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Arrighi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArrighiD06,
author = {Pablo Arrighi and
Gilles Dowek},
title = {Lineal: {A} linear-algebraic Lambda-calculus},
journal = {CoRR},
volume = {abs/quant-ph/0612199},
year = {2006},
url = {http://arxiv.org/abs/quant-ph/0612199},
eprinttype = {arXiv},
eprint = {quant-ph/0612199},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ArrighiD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArrighiD05,
author = {Pablo Arrighi and
Gilles Dowek},
editor = {Narciso Mart{\'{\i}}{-}Oliet},
title = {A Computational Definition of the Notion of Vectorial Space},
booktitle = {Proceedings of the Fifth International Workshop on Rewriting Logic
and Its Applications, {WRLA} 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {249--261},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.06.013},
doi = {10.1016/J.ENTCS.2004.06.013},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArrighiD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Arrighi03,
author = {Pablo Arrighi},
title = {Quantum Computation Explained to My Mother},
journal = {Bull. {EATCS}},
volume = {80},
pages = {134--142},
year = {2003},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Arrighi03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 01:22 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:
