Prof. John Hayes
Prof. John Hayes
Prof. Igor Markov
Dr. Héctor García-Ramirez
Mailing list: [email protected] (subscribe)


Stabilizer States and Applications

  • H. J. García, I. L. Markov and A. W. Cross, “On the Geometry of Stabilizer States” Quantum Information and Computation (QIC), vol. 14, no. 7–8, pp. 683–720, 2014.
  • H. J. García and I. L. Markov, “Efficient Inner-product Algorithm for Stabilizer States” arXiv:1210.6646, 2012.

Simulation of Quantum Circuits on Classical Computers

Simulation of Quantum Annealers

  • H. J. García and I. L. Markov, “Spinto: High-performance Energy Minimization in Spin Glasses” IEEE Design Automation and Test in Europe Conference (DATE), pp. 160–165, Dresden, March 8–10, 2010.
  • H. J. García and I. L. Markov, “High-performance Energy Minimization with Applications to Adiabatic Quantum Computing” arXiv:0912.3912, 2009
  • H. J. García and I. L. Markov, “High-performance Solver for Finding Ground States in Ising Spin Glasses”, International Workshop on Logic Synthesis (IWLS), UC Berkeley, 2009.

Quantum Computer Architecture and Quantum Design Automation

  • K. M. Svore, A. W. Cross, A. V. Aho, I. L. Chuang, I. L. Markov, “A Layered Software Architecture for Quantum Computing Design Tools”, (.pdfIEEE Computer, January 2006, pp. 74-83.

Synthesis of Quantum and Classical Reversible Circuits

Circuit Equivalence Checking (Formal Verification)

Modelling of Faults and Errors in Quantum Circuits

  • K. N. Patel, J. P. Hayes and I. L. Markov, “Fault Testing for Reversible Circuits,” IEEE Trans. on CAD, 23(8), pp. 1220-1230, August 2004, quant-ph/0404003.
  • J. P. Hayes, I. Polian and B. Becker, “Testing for Missing-gate Faults in Reversible Circuits”, to appear in Proc. Asian Test Symposium, Taiwan, November 2004.