Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pablo Arrighi" ( http://dblp.L3S.de/Authors/Pablo_Arrighi )

  Author page on DBLP  Author page in RDF  Community of Pablo Arrighi in ASPL-2

Publication years (Num. hits)
2003-2010 (15) 2011-2012 (11)
Publication types (Num. hits)
article(17) inproceedings(9)
Venues (Conferences, Journals, ...)
CoRR(8) Electr. Notes Theor. Comput. S...(3) JAC(3) CiE(2) LATA(2) Bulletin of the EATCS(1) Fundam. Inform.(1) IJUC(1) J. Comput. Syst. Sci.(1) Logical Methods in Computer Sc...(1) MFCS(1) Natural Computing(1) RTA(1)
Authors
Pablo Arrighi(26) Vincent Nesme(9) Gilles Dowek(7) Alejandro Díaz-Caro(4) Jonathan Grattage(4) Reinhard F. Werner(3) Renan Fargetton(3) Eric Thierry(2) Benoît Valiron(1) Manuel Gadella(1) Zizhu Wang(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 26 publication records. Showing 26 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Pablo Arrighi, Jonathan Grattage Partitioned quantum cellular automata are intrinsically universal. Search on Bibsonomy Natural Computing The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Vincent Nesme A simple block representation of reversible cellular automata with time-symmetry Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Pablo Arrighi, Gilles Dowek Causal graph dynamics Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Pablo Arrighi, Alejandro Díaz-Caro Scalar System F for Linear-Algebraic Lambda-Calculus: Towards a Quantum Physical Logic Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Alejandro Díaz-Caro Scalar System F for Linear-Algebraic λ-Calculus: Towards a Quantum Physical Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Vincent Nesme, Reinhard F. Werner One-Dimensional Quantum Cellular Automata. Search on Bibsonomy IJUC The full citation details ... 2011 DBLP  BibTeX  RDF
1Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry Applying causality principles to the axiomatization of probabilistic cellular automata Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pablo Arrighi, Gilles Dowek The physical Church-Turing thesis and the principles of quantum theory Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pablo Arrighi, Vincent Nesme, Reinhard F. Werner Unitarity plus causality implies localizability. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Renan Fargetton, Vincent Nesme, Eric Thierry Applying Causality Principles to the Axiomatization of Probabilistic Cellular Automata. Search on Bibsonomy CiE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Vincent Nesme The Block Neighborhood Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Arrighi, Gilles Dowek On the completeness of quantum computation models Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron Subject reduction in a Curry-style polymorphic type system with a vectorial structure Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Arrighi, Jonathan Grattage A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton. Search on Bibsonomy LATA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Jonathan Grattage A Quantum Game of Life. Search on Bibsonomy JAC The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Arrighi, Vincent Nesme The Block Neighborhood. Search on Bibsonomy JAC The full citation details ... 2010 DBLP  BibTeX  RDF
1Pablo Arrighi, Gilles Dowek On the Completeness of Quantum Computation Models. Search on Bibsonomy CiE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Renan Fargetton, Zizhu Wang Intrinsically Universal One-dimensional Quantum Cellular Automata in Two Flavours. Search on Bibsonomy Fundam. Inform. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Gilles Dowek A computational definition of the notion of vectorial space Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Pablo Arrighi, Vincent Nesme, Reinhard F. Werner One-Dimensional Quantum Cellular Automata over Finite, Unbounded Configurations. Search on Bibsonomy LATA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Gilles Dowek Linear-algebraic lambda-calculus: higher-order, encodings, and confluence.. Search on Bibsonomy RTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Vincent Nesme Quantization of cellular automata. Search on Bibsonomy JAC The full citation details ... 2008 DBLP  BibTeX  RDF
1Pablo Arrighi Algebraic Characterizations of Unitary Linear Quantum Cellular Automata. Search on Bibsonomy MFCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi, Gilles Dowek A Computational Definition of the Notion of Vectorial Space. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pablo Arrighi Quantum Computation Explained to My Mother. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2003 DBLP  BibTeX  RDF
Displaying result #1 - #26 of 26 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.