Simon Gay
Identifiers
- name variant Simon Gay 0.60 · backfill
Papers (5)
- Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software cs.PL · 2013 · author #1
- QMC: A Model Checker for Quantum Systems quant-ph · 2007 · author #1
- Probabilistic Model--Checking of Quantum Protocols quant-ph · 2005 · author #1
- An Automated Analysis of the Security of Quantum Key Distribution cs.CR · 2005 · author #4
- Communicating Quantum Processes quant-ph · 2004 · author #1
Mentions
Frequent Coauthors
- Rajagopal Nagarajan 4 shared papers
- Nikolaos Papanikolaou 3 shared papers
- Garry Bowen 1 shared papers
- Paul Kelly 1 shared papers