Simon J. Gay

Latest

• Automated Equivalence Checking of Concurrent Quantum Systems
• Semantic Techniques in Quantum Computation
• QMC: A Model Checker for Quantum Systems
• Quantum Programming Languages: Survey and Bibliography
• Communicating Quantum Processes