Pablo Arrighi

	2012
26		Pablo Arrighi, Vincent Nesme: A simple block representation of reversible cellular automata with time-symmetry CoRR abs/1201.5529: (2012)
25		Pablo Arrighi, Gilles Dowek: Causal graph dynamics CoRR abs/1202.1098: (2012)
24		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)
23		Pablo Arrighi, Jonathan Grattage: Partitioned quantum cellular automata are intrinsically universal. Natural Computing 11(1): 13-22 (2012)
	2011
22		Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry: Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. CiE 2011: 1-10
21		Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry: Applying causality principles to the axiomatization of probabilistic cellular automata CoRR abs/1102.0860: (2011)
20		Pablo Arrighi, Gilles Dowek: The physical Church-Turing thesis and the principles of quantum theory CoRR abs/1102.1612: (2011)
19		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)
18		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)
17		Pablo Arrighi, Vincent Nesme, Reinhard F. Werner: One-Dimensional Quantum Cellular Automata. IJUC 7(4): 223-244 (2011)
16		Pablo Arrighi, Vincent Nesme, Reinhard F. Werner: Unitarity plus causality implies localizability. J. Comput. Syst. Sci. 77(2): 372-378 (2011)
	2010
15		Pablo Arrighi, Gilles Dowek: On the Completeness of Quantum Computation Models. CiE 2010: 21-30
14		Pablo Arrighi, Jonathan Grattage: A Quantum Game of Life. JAC 2010: 31-42
13		Pablo Arrighi, Vincent Nesme: The Block Neighborhood. JAC 2010: 43-53
12		Pablo Arrighi, Jonathan Grattage: A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton. LATA 2010: 70-81
11		Pablo Arrighi, Gilles Dowek: On the completeness of quantum computation models CoRR abs/1004.1027: (2010)
10		Pablo Arrighi, Vincent Nesme: The Block Neighborhood CoRR abs/1012.1334: (2010)
9		Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron: Subject reduction in a Curry-style polymorphic type system with a vectorial structure CoRR abs/1012.4032: (2010)
	2009
8		Pablo Arrighi, Gilles Dowek: A computational definition of the notion of vectorial space CoRR abs/0911.4051: (2009)
7		Pablo Arrighi, Renan Fargetton, Zizhu Wang: Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours. Fundam. Inform. 91(2): 197-230 (2009)
	2008
6		Pablo Arrighi, Vincent Nesme: Quantization of cellular automata. JAC 2008: 204-215
5		Pablo Arrighi, Vincent Nesme, Reinhard F. Werner: One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. LATA 2008: 64-75
4		Pablo Arrighi, Gilles Dowek: Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. RTA 2008: 17-31
	2006
3		Pablo Arrighi: Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. MFCS 2006: 122-133
	2005
2		Pablo Arrighi, Gilles Dowek: A Computational Definition of the Notion of Vectorial Space. Electr. Notes Theor. Comput. Sci. 117: 249-261 (2005)
	2003
1		Pablo Arrighi: Quantum Computation Explained to My Mother. Bulletin of the EATCS 80: 134-142 (2003)

Coauthor Index

1	Alejandro Díaz-Caro	[9] [18] [19] [24]
2	Gilles Dowek	[2] [4] [8] [11] [15] [20] [25]
3	Renan Fargetton	[7] [21] [22]
4	Manuel Gadella	[19]
5	Jonathan Grattage	[12] [14] [19] [23]
6	Vincent Nesme	[5] [6] [10] [13] [16] [17] [21] [22] [26]
7	Eric Thierry	[21] [22]
8	Benoît Valiron	[9]
9	Zizhu Wang	[7]
10	Reinhard F. Werner	[5] [16] [17]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page