Simon J. Gay
- Communicating Quantum Processes
2004/09/09 by Simon Gay, Simon J. Gay, Gay, Simon +2 · 2 citations
Physics and Astronomy · #FOS: Physical sciences #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #quant-ph
- QMC: A Model Checker for Quantum Systems
2007/04/27 by Simon J. Gay, Gay, Simon, Rajagopal Nagarajan +3 · 1 citation
Computer Science · Engineering · #FOS: Physical sciences #Low-power high-performance VLSI design #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Physics (quant-ph)