Simon Gay

Identifiers

• name variant Simon Gay 0.60 · backfill

Papers (5)

1. Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software cs.PL · 2013 · author #1
2. QMC: A Model Checker for Quantum Systems quant-ph · 2007 · author #1
3. Probabilistic Model--Checking of Quantum Protocols quant-ph · 2005 · author #1
4. An Automated Analysis of the Security of Quantum Key Distribution cs.CR · 2005 · author #4
5. Communicating Quantum Processes quant-ph · 2004 · author #1

Mentions

• 1302.5798 #1 · backfill · confidence 0.70 Simon Gay
• 0704.3705 #1 · backfill · confidence 0.70 Simon Gay

Frequent Coauthors

• Rajagopal Nagarajan 4 shared papers
• Nikolaos Papanikolaou 3 shared papers
• Garry Bowen 1 shared papers
• Paul Kelly 1 shared papers