Linear-algebraic λ-calculus: higher-order, encodings, and confluence. P Arrighi, G Dowek International Conference on Rewriting Techniques and Applications, 17-31, 2008 | 123* | 2008 |
Blind quantum computation P Arrighi, L Salvail International Journal of Quantum Information 4 (05), 883-898, 2006 | 106 | 2006 |
Unitarity plus causality implies localizability P Arrighi, V Nesme, R Werner Journal of Computer and System Sciences 77 (2), 372-378, 2011 | 90 | 2011 |
The Dirac equation as a quantum walk: higher dimensions, observational convergence P Arrighi, V Nesme, M Forets Journal of Physics A: Mathematical and Theoretical 47 (46), 465302, 2014 | 78 | 2014 |
On quantum operations as quantum states P Arrighi, C Patricot Annals of Physics 311 (1), 26-52, 2004 | 66 | 2004 |
An overview of quantum cellular automata P Arrighi Natural Computing 18 (4), 885-899, 2019 | 56 | 2019 |
Quantum walking in curved spacetime P Arrighi, S Facchini, M Forets Quantum Information Processing 15 (8), 3467-3486, 2016 | 51 | 2016 |
One-dimensional quantum cellular automata over finite, unbounded configurations P Arrighi, V Nesme, R Werner International Conference on Language and Automata Theory and Applications, 64-75, 2008 | 46 | 2008 |
Discrete Lorentz covariance for quantum walks and quantum cellular automata P Arrighi, S Facchini, M Forets New Journal of Physics 16 (9), 093007, 2014 | 42 | 2014 |
A System F accounting for scalars P Arrighi, A Díaz-Caro arXiv preprint arXiv:0903.3741, 2009 | 41 | 2009 |
Partitioned quantum cellular automata are intrinsically universal P Arrighi, J Grattage Natural Computing 11 (1), 13-22, 2012 | 39 | 2012 |
Dirac equation as a quantum walk over the honeycomb and triangular lattices P Arrighi, G Di Molfetta, I Márquez-Martín, A Pérez Physical Review A 97 (6), 062111, 2018 | 34 | 2018 |
Intrinsically universal n-dimensional quantum cellular automata P Arrighi, J Grattage Journal of Computer and System Sciences 78 (6), 1883-1898, 2012 | 34* | 2012 |
A quantum cellular automaton for one-dimensional QED P Arrighi, C Bény, T Farrelly Quantum Information Processing 19 (3), 1-28, 2020 | 33 | 2020 |
Quantum walking in curved spacetime: dimensions, and beyond P Arrighi, S Facchini arXiv preprint arXiv:1609.00305, 2016 | 33 | 2016 |
The physical Church-Turing thesis and the principles of quantum theory P Arrighi, G Dowek International Journal of Foundations of Computer Science 23 (05), 1131-1145, 2012 | 33 | 2012 |
Causal graph dynamics P Arrighi, G Dowek International Colloquium on Automata, Languages, and Programming, 54-66, 2012 | 28 | 2012 |
The vectorial λ-calculus P Arrighi, A Díaz-Caro, B Valiron Information and Computation 254, 105-139, 2017 | 27 | 2017 |
The quantum game of life P Arrighi, J Grattage Physics World 25 (06), 23, 2012 | 26 | 2012 |
Decoupled quantum walks, models of the Klein-Gordon and wave equations P Arrighi, S Facchini EPL (Europhysics Letters) 104 (6), 60004, 2014 | 25 | 2014 |