| 2008 |
|---|
| 25 | EE | Simon J. Gay,
Rajagopal Nagarajan,
Nikolaos Papanikolaou:
QMC: A Model Checker for Quantum Systems.
CAV 2008: 543-547 |
| 24 | EE | Simon J. Gay:
Bounded polymorphism in session types.
Mathematical Structures in Computer Science 18(5): 895-930 (2008) |
| 2006 |
|---|
| 23 | EE | Simon J. Gay,
Rajagopal Nagarajan:
Types and typechecking for Communicating Quantum Processes.
Mathematical Structures in Computer Science 16(3): 375-406 (2006) |
| 22 | EE | Simon J. Gay:
Quantum programming languages: survey and bibliography.
Mathematical Structures in Computer Science 16(4): 581-600 (2006) |
| 21 | EE | Vasco Thudichum Vasconcelos,
Simon J. Gay,
António Ravara:
Type checking a multithreaded functional language with session types.
Theor. Comput. Sci. 368(1-2): 64-87 (2006) |
| 2005 |
|---|
| 20 | EE | Simon J. Gay,
Rajagopal Nagarajan:
Communicating quantum processes.
POPL 2005: 145-157 |
| 19 | EE | Alastair F. Donaldson,
Simon J. Gay:
Etch: An Enhanced Type Checking Tool for Promela.
SPIN 2005: 266-271 |
| 18 | EE | Simon J. Gay,
Malcolm Hole:
Subtyping for session types in the pi calculus.
Acta Inf. 42(2-3): 191-225 (2005) |
| 17 | | Simon J. Gay:
Quantum Programming Languages: Survey and Bibliography.
Bulletin of the EATCS 86: 176-196 (2005) |
| 16 | EE | Rajagopal Nagarajan,
Nikolaos Papanikolaou,
Garry Bowen,
Simon J. Gay:
An Automated Analysis of the Security of Quantum Key Distribution
CoRR abs/cs/0502048: (2005) |
| 15 | EE | Simon J. Gay,
Rajagopal Nagarajan,
Nikolaos Papanikolaou:
Probabilistic Model-Checking of Quantum Protocols
CoRR abs/quant-ph/0504007: (2005) |
| 2004 |
|---|
| 14 | EE | Vasco Thudichum Vasconcelos,
António Ravara,
Simon J. Gay:
Session Types for Functional Multithreading.
CONCUR 2004: 497-511 |
| 2003 |
|---|
| 13 | EE | Simon J. Gay,
Rajagopal Nagarajan:
Intensional and Extensional Semantics of Dataflow Programs.
Formal Asp. Comput. 15(4): 299-318 (2003) |
| 2001 |
|---|
| 12 | EE | Simon J. Gay:
A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL.
TPHOLs 2001: 217-232 |
| 1999 |
|---|
| 11 | EE | Simon J. Gay,
Malcolm Hole:
Types and Subtypes for Client-Server Interactions.
ESOP 1999: 74-90 |
| 10 | EE | Samson Abramsky,
Simon J. Gay,
Rajagopal Nagarajan:
A Specification Structure for Deadlock-Freedom of Synchronous Processes.
Theor. Comput. Sci. 222(1-2): 1-53 (1999) |
| 1997 |
|---|
| 9 | | Samson Abramsky,
Simon J. Gay,
Rajagopal Nagarajan:
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems.
TACS 1997: 295-320 |
| 1996 |
|---|
| 8 | | Samson Abramsky,
Simon J. Gay,
Rajagopal Nagarajan:
Interaction categories and the foundations of typed concurrent programming.
NATO ASI DPD 1996: 35-113 |
| 1995 |
|---|
| 7 | | Samson Abramsky,
Simon J. Gay,
Rajagopal Nagarajan:
Specification Structures and Propositions-as-Types for Concurrency.
Banff Higher Order Workshop 1995: 5-40 |
| 6 | | Simon J. Gay,
Rajagopal Nagarajan:
A Typed Calculus of Synchronous Processes
LICS 1995: 210-220 |
| 1994 |
|---|
| 5 | | Simon J. Gay:
Combinators for Interaction Nets.
Theory and Formal Methods 1994: 63-84 |
| 4 | | Roy L. Crole,
Simon J. Gay,
Rajagopal Nagarajan:
An Internal Language for Interaction Categories.
Theory and Formal Methods 1994: 85-104 |
| 1993 |
|---|
| 3 | | Geoffrey L. Burn,
Simon J. Gay,
Mark Ryan:
Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
Springer 1993 |
| 2 | | Simon J. Gay:
A Sort Inference Algorithm for the Polyadic Pi-Calculus.
POPL 1993: 429-438 |
| 1 | | Simon J. Gay,
Rajagopal Nagarajan:
Modelling SIGNAL in Interaction Categories.
Theory and Formal Methods 1993: 148-158 |
