Edinburgh Research Explorer

Prof Elham Kashefi

Personal Chair in Quantum Computing

  1. The convex hull in a new model of computation

    Edalat, A., Lieutier, A. & Kashefi, E., 2001, Proceedings of the 13th Canadian Conference on Computational Geometry, University of Waterloo, Ontario, Canada, August 13-15, 2001. p. 93-96 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Theoretical and practical aspects of verification of quantum computers

    Naveh, Y., Kashefi, E., Wootton, J. R. & Bertels, K., 23 Apr 2018, 2018 Design, Automation Test in Europe Conference Exhibition (DATE). Institute of Electrical and Electronics Engineers (IEEE), p. 721-730 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 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 journalArticle

  4. Unconditionally verifiable blind quantum computation

    Fitzsimons, J. F. & Kashefi, E., 5 Jul 2017, In : Physical Review A. 96, p. 1-27 27 p., 012303.

    Research output: Contribution to journalArticle

  5. Uniqueness of the Entanglement Measure for Bipartite Pure States and Thermodynamics

    Vedral, V. & Kashefi, E., 1 Jun 2002, In : Physical Review Letters. 89, 3, p. 37903

    Research output: Contribution to journalArticle

  6. 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 (IEEE), p. 517-526 10 p. (Annual Symposium on Foundations of Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Verification of Quantum Computation and the Price of Trust

    Gheorghiu, A., Kapourniotis, T. & Kashefi, E., 6 May 2017, Computer Science -- Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings. Weil, P. (ed.). Cham: Springer International Publishing, p. 15-19 5 p. (Lecture Notes in Computer Science; vol. 10304).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Verification of Quantum Computation: An Overview of Existing Approaches

    Gheorghiu, A., Kapourniotis, T. & Kashefi, E., 6 Jul 2018, In : Theory of Computing Systems. p. 1-94 94 p.

    Research output: Contribution to journalArticle

  9. Verified Delegated Quantum Computing with One Pure Qubit

    Kapourniotis, T., Kashefi, E. & Datta, A., 2014, 9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, p. 176-204 29 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1...3 4 5 6 7 Next