Simon J. Gay

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan: Equivalence Checking of Quantum Protocols. TACAS 2013: 478-492

Simon J. Gay, Ittoop Vergheese Puthoor: Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols. CoRR abs/1303.2896 (2013)

Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou: Model Checking for Communicating Quantum Processes. IJUC 8(1): 73-98 (2012)

Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos: Modular Session Types for Objects. CoRR abs/1205.5344 (2012)

Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor: Analysis of a Quantum Error Correcting Code using Quantum Process Calculus. QPL 2011: 67-80

Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan: Formal Analysis of Quantum Systems using Process Calculus. ICE 2011: 104-110

Simon J. Gay: Stabilizer States as a Basis for Density Matrices. CoRR abs/1112.2156 (2011)

Simon J. Gay, Vasco Thudichum Vasconcelos: Linear type theory for asynchronous session types. J. Funct. Program. 20(1): 19-50 (2010)

Alastair F. Donaldson, Simon J. Gay: Type inference and strong static type checking for Promela. Sci. Comput. Program. 75(11): 1165-1191 (2010)

Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira: Modular session types for distributed object-oriented programming. POPL 2010: 299-312

Alastair R. Beresford, Simon J. Gay (Eds.): Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. EPTCS 17, 2009

Simon J. Gay: Bounded polymorphism in session types. Mathematical Structures in Computer Science 18(5): 895-930 (2008)

Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547

Simon J. Gay, Rajagopal Nagarajan: Types and typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3): 375-406 (2006)

Simon J. Gay: Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science 16(4): 581-600 (2006)

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)

Simon J. Gay, Malcolm Hole: Subtyping for session types in the pi calculus. Acta Inf. 42(2-3): 191-225 (2005)

Simon J. Gay: Quantum Programming Languages: Survey and Bibliography. Bulletin of the EATCS 86: 176-196 (2005)

Simon J. Gay, Rajagopal Nagarajan: Communicating quantum processes. POPL 2005: 145-157

Alastair F. Donaldson, Simon J. Gay: Etch: An Enhanced Type Checking Tool for Promela. SPIN 2005: 266-271

Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay: An Automated Analysis of the Security of Quantum Key Distribution. CoRR abs/cs/0502048 (2005)

Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols. CoRR abs/quant-ph/0504007 (2005)

Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511

Simon J. Gay, Rajagopal Nagarajan: Intensional and Extensional Semantics of Dataflow Programs. Formal Asp. Comput. 15(4): 299-318 (2003)

Simon J. Gay: A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. TPHOLs 2001: 217-232

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)

Simon J. Gay, Malcolm Hole: Types and Subtypes for Client-Server Interactions. ESOP 1999: 74-90

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. TACS 1997: 295-320

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD 1996: 35-113

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Specification Structures and Propositions-as-Types for Concurrency. Banff Higher Order Workshop 1995: 5-40

Simon J. Gay, Rajagopal Nagarajan: A Typed Calculus of Synchronous Processes. LICS 1995: 210-220

Simon J. Gay: Combinators for Interaction Nets. Theory and Formal Methods 1994: 63-84

Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan: An Internal Language for Interaction Categories. Theory and Formal Methods 1994: 85-104

Simon J. Gay, Rajagopal Nagarajan: Modelling SIGNAL in Interaction Categories. Theory and Formal Methods 1993: 148-158

Simon J. Gay: A Sort Inference Algorithm for the Polyadic Pi-Calculus. POPL 1993: 429-438

Geoffrey L. Burn, Simon J. Gay, Mark Ryan (Eds.): 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. Workshops in Computing, Springer 1993, isbn 3-540-19842-3