Advanced search

Search results

• Measurement-Based and Universal Blind Quantum Computation

  Broadbent, A., Fitzsimons, J. & Kashefi, E., 2010, Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures. Aldini, A., Bernardo, M., Di Pierro, A. & Wiklicky, H. (eds.). Springer, p. 43-86 44 p. (Lecture Notes in Computer Science; vol. 6154).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Open Graphs and Computational Reasoning

  Dixon, L., Duncan, R. & Kissinger, A., 2010, Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, Edinburgh, Scotland, 9-10th July 2010. Cooper, S. B., Panangaden, P. & Kashefi, E. (eds.). Open Publishing Association, p. 169-180 12 p. (Electronic Proceedings in Theoretical Computer Science; vol. 26).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Quantum Logic in Dagger Kernel Categories

  Heunen, C. & Jacobs, B., 2010, In: Order. 27, 2, p. 177-212 36 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• A Topos for Algebraic Quantum Theory

  Heunen, C., Landsman, N. P. & Spitters, B., 1 Oct 2009, In: Communications in Mathematical Physics. 291, 1, p. 63-110 52 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Continuous-Variable Quantum Key Distribution Protocols Over Noisy Channels

  Garcia-Patron Sanchez, R. & Cerf, N. J., 31 Mar 2009, In: Physical Review Letters. 102, 13, 4 p., 130501.

  Research output: Contribution to journal › Article › peer-review

• Direct and Reverse Secret-Key Capacities of a Quantum Channel

  Pirandola, S., Garcia-Patron Sanchez, R., Braunstein, S. L. & Lloyd, S., 4 Feb 2009, In: Physical Review Letters. 102, 5, 1 p., 050503.

  Research output: Contribution to journal › Article › peer-review

• Demonstration of a loop cluster for quantum information applications

  Soudagar, Y., Xing, X., Kashefi, E., Godbout, N. & Steinberg, A. M., 2009, 2009 Conference on Lasers and Electro-Optics and 2009 Conference on Quantum electronics and Laser Science Conference. 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Dynamics and predictions in the co-event interpretation

  Ghazi-Tabatabai, Y. & Wallden, P., 2009, In: Journal of Physics A: Mathematical and Theoretical. 42, 23, 35 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Emergence of spatial structure from causal sets

  Rideout, D. & Wallden, P., 2009, In: Journal of Physics: Conference Series. 174, 1, 21 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Emergent continuum spacetime from a random, discrete, partial order

  Rideout, D. & Wallden, P., 2009, In: Journal of Physics: Conference Series. 189, 1, 8 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Extended Measurement Calculus

  Danos, V., Kashefi, E., Panangaden, P. & Perdrix, S., 2009, Semantic Techniques in Quantum Computation. Gay, S. & Mackie, I. (eds.). Cambridge University Press, p. 235-310 76 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

• Information Flow in Secret Sharing Protocols

  Kashefi, E., Markham, D., Mhalla, M. & Perdrix, S., 2009, Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009.. p. 87-97 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Intuitionistic Quantum Logic of an n-level System

  Caspers, M., Heunen, C., Landsman, N. P. & Spitters, B., 2009, In: Foundations of Physics. 39, 7, p. 731-759 29 p.

  Research output: Contribution to journal › Article › peer-review

• Parallelizing quantum circuits

  Broadbent, A. & Kashefi, E., 2009, In: Theoretical Computer Science. 410, 26, p. 2489-2510 22 p.

  Research output: Contribution to journal › Article › peer-review

• Spacelike distance from discrete causal order

  Rideout, D. & Wallden, P., 2009, In: Classical and quantum gravity. 26, 15

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• The emergence of probabilities in anhomomorphic logic

  Ghazi-Tabatabai, Y. & Wallden, P., 2009, In: Journal of Physics: Conference Series. 174, 1, p. 012054 1 p.

  Research output: Contribution to journal › Article › peer-review

• Twisted Graph States for Ancilla-driven Universal Quantum Computation

  Kashefi, E., Oi, D. K. L., Browne, D., Anders, J. & Andersson, E., 2009, In: Electronic Notes in Theoretical Computer Science. 249, p. 307-331 25 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Universal Blind Quantum Computation

  Broadbent, A., Fitzsimons, J. & Kashefi, E., 2009, Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science (FOCS '09). Los Alamitos, CA, USA: Institute of Electrical and Electronics Engineers, p. 517-526 10 p. (Annual Symposium on Foundations of Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Compactly accessible categories and quantum key distribution

  Heunen, C., 17 Nov 2008, In: Logical Methods in Computer Science. 4, 4, p. 1-26 26 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Algebraic Approach to 'quantum Spacetime Geometry'

  Raptis, I., Wallden, P. & Zapatrin, R. ~., Sept 2008, The Eleventh Marcel Grossmann Meeting On Recent Developments in Theoretical and Experimental General Relativity, Gravitation and Relativistic Field Theories. Kleinert, H., Jantzen, R. ~. & Ruffini , R. (eds.). p. 2806-2808 3 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Quadratic Form Expansions for Unitaries

  de Beaudrap, N., Danos, V., Kashefi, E. & Roetteler, M., 2008, Theory of Quantum Computation, Communication, and Cryptography: Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers. Kawano, Y. & Mosca, M. (eds.). Springer, Vol. 5106. p. 29-46 18 p. (Lecture Notes in Computer Science; vol. 5106).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Spacetime Coarse Grainings and the Problem of Time in the Decoherent Histories Approach to Quantum Theory

  Wallden, P., 2008, In: International Journal of Theoretical Physics. 47, 6, p. 1512-1532 21 p.

  Research output: Contribution to journal › Article › peer-review

• The Principle of General Tovariance

  Heunen, C., Landsman, N. P., Spitters, B., Fernandes, R. L. & Picken, R., 2008, AIP Conference Proceedings of GEOMETRY AND PHYSICS: XVI International Fall Workshop. AIP PRESS, p. 93-102 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Tight bounds on the eavesdropping of a continuous-variable quantum cryptographic protocol with no basis switching

  Sudjana, J., Magnin, L., Garcia-Patron Sanchez, R. & Cerf, N. J., 2 Nov 2007, In: Physical Review A. 76, 5, 9 p., 052301.

  Research output: Contribution to journal › Article › peer-review

• Quantum key distribution over 25km with an all-fiber continuous-variable system

  Lodewyck, J., Bloch, M., Garcia-Patron Sanchez, R., Fossier, S., Karpov, E., Diamanti, E., Debuisschert, T., Cerf, N. J., Tualle-Brouri, R., McLaughlin, S. W. & Grangier, P., 3 Oct 2007, In: Physical Review A. 76, 4, 10 p., 042305.

  Research output: Contribution to journal › Article › peer-review