SELECTED PUBLICATIONS 

Formal Methods, Semantics and Models of Quantum Computing

L. Dixon and R. Duncan. Graphical Reasoning in Compact Closed Categories for Quantum Computation. Annals of Mathematics and Artificial Intelligence: Volume 56, Issue 1 (2009), Springer.

S. J. Gay, N. Papanikolaou and R. Nagarajan QMC: a model checker for quantum systems. arXiv:0704.3705, April 2007.

V. Danos, E. Kashefi and P. Panangaden  The Measurement Calculus Journal of ACM, 2007

S. J. Gay. Quantum programming languages: survey and bibliography, Mathematical Structures in Computer Science 16(4):581-600, 2006.

S. J. Gay and R. Nagarajan. Types and typechecking for Communicating Quantum Processes, Mathematical Structures in Computer Science 16(3):375-406, 2006.

S. J. Gay and R. Nagarajan. Communicating Quantum Processes. The 32nd ACM Symposium on Principles of Programming Languages, 2005.

R. Nagarajan, N. Papanikolaou, G. Bowen and S. J. Gay. An Automated Analysis of the Security of Quantum Key Distribution, arXiv:cs.CR/0502048, February 2005.

E. Kashefi, Quantum Domain Theory - Definitions and Applications, The International Conference on Computability and Complexity Analysis, 2003

Cryptography, Algorithms and Complexity Analysis

N. de Beaudrap, V. Danos, E. Kashefi, and M. Roetteler, Quadratic Form Expansions for Unitaries, The 3rd Workshop on Theory of Quantum Computation, Communication and Cryptography, 2008, quant-ph/arXiv:0801.2461

A. Broadbent and E. Kashefi, On parallelising quantum circuit, The international workshop on measurement-based quantum computing, 2007

D. E. Browne, E. Kashefi, M. Mhalla and S. Perdrix   Generalized Flow and Determinism in Measurement-based Quantum Computation, New Journal of Physics, 2007

E. Kashefi and I. Kerenidis   Statistical Zero Knowledge and quantum one-way functions Journal of Theoretical Computer Science, 2007

E. Kashefi, H. Nishimura, and V. Vedral, On quantum one-way permutations, Quantum Information and Computation, 5, 2002

E. Kashefi, A. Kent, V. Vedral, and K. Banaszek, A comparison of quantum oracles, Phys. Rev. A, 65, 05304, 2002

E. Andersson, M. Curty and I. Jex, Experimental ly realizable quantum comparison of coherent states and its applications, Phys. Rev. A 74, 022304 (2006)

Physical Implementations

E. Andersson, M. T. Fontenelle, and S. Stenholm, Quantum statistics of atoms in microstructures, Phys. Rev. A 59, 3841 (1999)

E. Andersson and S. Stenholm, Quantum logic gate with microtraps, Opt. Commun. 188 (1-4), 141 (2001)

E. Andersson and S. Stenholm, Quantum logic with channeled atomic particles, J. Mod. Opt. 48, 965 (2001).

E. Andersson, T. Calarco, R. Folman, M. Andersson, B. Hessmo, and J. Schmiedmayer, Multimode Interferometer for Guided Matter Waves, Phys. Rev. Lett. 88, 100401 (2002)

Y. Mitsumori, J. A. Vaccaro, S. M. Barnett, E. Andersson, A. Hasegawa, M. Takeoka, M. Sasaki, Experimental demonstration of quantum source coding, Phys. Rev. Lett. 91, 217902 (2003).

J. Larson and E. Andersson, Cavity-state preparation using adiabatic transfer, Phys. Rev. A 71, 053814 (2005).

Quantum Optics

B.D. Gerardot, D. Brunner, P.A. Dalgarno, P. Öhberg, S. Seidl, M. Kroner, K. Karrai, N.G. Stoltz, P.M. Petroff, and R.J. Warburton, “A hole spin quantum bit in a quantum dot.” Nature 451, 441 (2008).

G. Juzeliunas, J. Ruseckas, A. Jacob, L. Santos and P. Öhberg “Double and negative reflection of cold atoms in non-Abelian gauge potentials.” Physical Review Letters 100, 200405 (2008).

J. Ruseckas, G. Juzelinas, P. Öhberg, and S. M. Barnett “Polarization rotation of slow light with orbital angular momentum in ultracold atomic gases" Physical Review A 76, 053822 (2007).

Fault Tolerance and Decoherence

M. Silva, V. Danos, E. Kashefi, and H. Olivier, A direct approach to fault-tolerance in measurement-based quantum computation via teleportation, New Journal of Physics, 2007

Theory of Entanglement

V. Vedral and E. Kashefi, Uniqueness of entanglement measure and thermodynamics, Phys. Rev. Lett., 89, 037903, 2002

Open Quantum Systems

E. Andersson, J. D. Cresser and M. J. W. Hall, Obtaining the Kraus decomposition from a master equation and vice versa, J. Mod Opt. 54, 1695 (2007) (special issue for QEP-17, Manchester, UK, 2006).

E. Andersson and S. Stenholm, Variational properties of a pumped dynamical system. In preparation

Quantum Measurement

S. Stenholm and E. Andersson, Shared access to quantum information, Phys. Rev. A 62, 044301 (2000)

E. Andersson and S. M. Barnett, Bell state analyser with channeled atomic particles, Phys. Rev. A 62, 052311 (2000)

S. Franke-Arnold, E. Andersson, S. M. Barnett, and S. Stenholm, Generalized measurements of atomic qubits, Phys. Rev. A 63, 052301 (2001)

E. Andersson, Generalized measurements on atoms in microtraps, Phys. Rev. A 64, 032303 (2001)

E. Andersson, S. M. Barnett, C. Gilson, and K. Hunter, Minimum-error discrimination between three mirror-symmetric states, Phys. Rev. A 65, 052308 (2002)

S. M. Barnett and E. Andersson, Bound on measurement based on the no-signaling condition, Phys. Rev. A 65, 044307 (2002)

E. Andersson, Stephen M. Barnett and I. Jex, Comparison of unitary transforms, J. Phys. A: Math. Gen. 36, 2325 (2003)

K. Hunter, E. Andersson, C. Gilson, and S. M. Barnett, Maximum fidelity for a mirror-symmetric set of qubit states, J. Phys. A: Math. Gen. 36, 4159 (2003)

I. Jex, E. Andersson, and A. Chefles, Comparing the states of many quantum systems, J. Mod. Opt. 51, 505 (2004).

A. Chefles, E. Andersson, and I. Jex, Unambiguous comparison of multiple pure quantum states, J. Phys. A: Math. Gen., 37, 7315 (2004)

E. Andersson, I. Jex and J. Bergou, Comparison of unitary transforms using Franson interferometry, J. Mod. Opt. 52, 1485 (2005)

E. Andersson, S. M. Barnett and Alain Aspect, Joint measurements of spin, operational locality and uncertainty, Phys. Rev. A 72, 042104 (2005)

W. Son, E. Andersson, M. Kim, and S. M. Barnett, Joint measurements and Bel l inequalities, Phys. Rev. A 72, 052116 (2005)

S. Croke, E. Andersson, S. M. Barnett, C. L. Gilson, and J. Jeffers, Maximum confidence quantum measurements, Phys. Rev. Lett. 96, 07401 (2006)

T. Brougham, E. Andersson and S. M. Barnett, Cloning and joint measurements of incompatible observables, Phys. Rev. A 73, 062319 (2006)

M. J. W. Hall, E. Andersson, and T. Brougham, Maximum observable correlation for a bipartite quantum system, Phys. Rev. A 74, 062308 (2006).

T. Brougham and E. Andersson, Estimating the expectation values of spin-1/2 observables with finite resources, Phys. Rev. A. 76, 053213 (2007).

S. Croke, E. Andersson and S. M. Barnett, No-signaling bound on quantum state discrimination, Phys. Ref. A 77, 012113 (2008).E. Andersson and D. K. L Oi, Binary search tree for generalised measurement. Submitted

T. Brougham, E. Andersson and S. M. Barnett, Entropy and joint measurements. In preparation