- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j12 |      | |
| i9 | | Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier: Stochastic Cellular Automata: Correlations, Decidability and Simulations. CoRR abs/1304.7185 (2013) |
| 2012 | ||
| j11 | | Pablo Arrighi, Alejandro Díaz-Caro: Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic. Logical Methods in Computer Science 8(1) (2012) |
| j10 | | 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) |
| j9 | | Pablo Arrighi, Jonathan Grattage: Intrinsically universal n-dimensional quantum cellular automata. J. Comput. Syst. Sci. 78(6): 1883-1898 (2012) |
| j8 | | Pablo Arrighi, Jonathan Grattage: Partitioned quantum cellular automata are intrinsically universal. Natural Computing 11(1): 13-22 (2012) |
| c12 | | |
| c11 | | Pablo Arrighi, Nicolas Schabanel, Guillaume Theyssier: Intrinsic Simulations between Stochastic Cellular Automata. DCM 2012: 208-224 |
| i8 | | Pablo Arrighi, Vincent Nesme: A simple block representation of reversible cellular automata with time-symmetry. CoRR abs/1201.5529 (2012) |
| i7 | | |
| i6 | | Pablo Arrighi, Simon Martiel, Vincent Nesme: Generalized Cayley Graphs and Cellular Automata over them. CoRR abs/1212.0027 (2012) |
| 2011 | ||
| j7 | | Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage: Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. Electr. Notes Theor. Comput. Sci. 270(1): 59-74 (2011) |
| j6 | | Pablo Arrighi, Alejandro Díaz-Caro: Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. Electr. Notes Theor. Comput. Sci. 270(2): 219-229 (2011) |
| j5 | | Pablo Arrighi, Vincent Nesme, Reinhard F. Werner: One-Dimensional Quantum Cellular Automata. IJUC 7(4): 223-244 (2011) |
| j4 | | Pablo Arrighi, Vincent Nesme, Reinhard F. Werner: Unitarity plus causality implies localizability. J. Comput. Syst. Sci. 77(2): 372-378 (2011) |
| c10 | | Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry: Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. CiE 2011: 1-10 |
| c9 | | 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 |
| i5 | | Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry: Applying causality principles to the axiomatization of probabilistic cellular automata. CoRR abs/1102.0860 (2011) |
| i4 | | Pablo Arrighi, Gilles Dowek: The physical Church-Turing thesis and the principles of quantum theory. CoRR abs/1102.1612 (2011) |
| 2010 | ||
| c8 | | |
| c7 | | |
| c6 | | |
| c5 | | Pablo Arrighi, Jonathan Grattage: A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton. LATA 2010: 70-81 |
| i3 | | Pablo Arrighi, Gilles Dowek: On the completeness of quantum computation models. CoRR abs/1004.1027 (2010) |
| i2 | | |
| 2009 | ||
| j3 | | Pablo Arrighi, Renan Fargetton, Zizhu Wang: Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours. Fundam. Inform. 91(2): 197-230 (2009) |
| i1 | | Pablo Arrighi, Gilles Dowek: A computational definition of the notion of vectorial space. CoRR abs/0911.4051 (2009) |
| 2008 | ||
| c4 |  | |
| c3 | | Pablo Arrighi, Vincent Nesme, Reinhard F. Werner: One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. LATA 2008: 64-75 |
| c2 | | Pablo Arrighi, Gilles Dowek: Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. RTA 2008: 17-31 |
| 2006 | ||
| c1 | | Pablo Arrighi: Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. MFCS 2006: 122-133 |
| 2005 | ||
| j2 | | Pablo Arrighi, Gilles Dowek: A Computational Definition of the Notion of Vectorial Space. Electr. Notes Theor. Comput. Sci. 117: 249-261 (2005) |
| 2003 | ||
| j1 | | |
Colors in the list of coauthors
Last update Sat May 25 11:28:42 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page