Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "QPL/DCM@ICALP"( http://dblp.L3S.de/Venues/QPL/DCM@ICALP )

URL (DBLP): http://dblp.uni-trier.de/db/conf/qpl

Publication years (Num. hits)
2008 (18) 2011 (1)
Publication types (Num. hits)
inproceedings(18) proceedings(1)
Venues (Conferences, Journals, ...)
QPL/DCM@ICALP(19)
Authors
Bob Coecke(3) Peter Selinger(3) Ian Mackie(2) Jonathan Grattage(2) Prakash Panangaden(2) Alejandro Díaz-Caro(1) Alexander Wilce(1) Ali A. Babaei-Brojeny(1) Amir M. Tavala(1) André Rauber Du Bois(1) Benoît Valiron(1) Bill Edwards(1) Ed Blakey(1) Ellie D'Hondt(1) Howard Barnum(1) Jamie Vicary(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger (eds.) 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 Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2011 DBLP  BibTeX  RDF
1Amir M. Tavala, Soroosh Nazem, Ali A. Babaei-Brojeny Verification of Quantum Protocols with a Probabilistic Model-Checker. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jonathan Grattage An Overview of QML With a Concrete Implementation in Haskell. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Juliana Kaizer Vizzotto, André Rauber Du Bois Modelling Parallel Quantum Computing Using Transactional Memory. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Lorenzo Maccone The Thermodynamic Arrow-of-time and Quantum Mechanics. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Howard Barnum, Alexander Wilce Information Processing in Convex Operational Theories. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 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 QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Benoît Valiron On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract). Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bob Coecke, Bill Edwards Toy Quantum Categories (Extended Abstract). Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yannick Delbecque Game Semantics for Quantum Data. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Selinger Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract). Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ellie D'Hondt, Mehrnoosh Sadrzadeh Classical Knowledge for Quantum Security. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger Preface. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jamie Vicary Categorical Formulation of Finite-dimensional C*-algebras. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Larisse Voufo Quantum Circuits: From a Network to a One-Way Model. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ed Blakey Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Keye Martin How to Randomly Flip a Quantum Bit. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Simon Perdrix Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Luca Bernardinello, Lucia Pomello, Stefania Rombolà On Orthomodular Posets Generated by Transition Systems. Search on Bibsonomy QPL/DCM@ICALP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license