Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Simon J. Gay
2010 – today
- 2013
[c20]Simon J. Gay, Rajagopal Nagarajan: Techniques for Formal Modelling and Analysis of Quantum Systems. Computation, Logic, Games, and Quantum Foundations 2013: 264-276- [c19]Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor: Quantum Process Calculus for Linear Optical Quantum Computing. RC 2013: 234-246
- [c18]Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan: Equivalence Checking of Quantum Protocols. TACAS 2013: 478-492
- [i5]Simon J. Gay, Ittoop Vergheese Puthoor: Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols. CoRR abs/1303.2896 (2013)
- 2012
- [j11]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)
- [i4]Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos: Modular Session Types for Objects. CoRR abs/1205.5344 (2012)
- 2011
- [c17]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
- [c16]Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan: Formal Analysis of Quantum Systems using Process Calculus. ICE 2011: 104-110
- [i3]
- 2010
- [j10]Simon J. Gay, Vasco Thudichum Vasconcelos: Linear type theory for asynchronous session types. J. Funct. Program. 20(1): 19-50 (2010)
- [j9]Alastair F. Donaldson, Simon J. Gay: Type inference and strong static type checking for Promela. Sci. Comput. Program. 75(11): 1165-1191 (2010)
- [c15]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
2000 – 2009
- 2009
- [e2]Alastair R. Beresford, Simon J. Gay (Eds.): Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. EPTCS 17, 2009
- 2008
- [j8]Simon J. Gay: Bounded polymorphism in session types. Mathematical Structures in Computer Science 18(5): 895-930 (2008)
- [c14]Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547
- 2006
- [j7]Simon J. Gay, Rajagopal Nagarajan: Types and typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3): 375-406 (2006)
- [j6]Simon J. Gay: Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science 16(4): 581-600 (2006)
- [j5]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
- [j4]Simon J. Gay, Malcolm Hole: Subtyping for session types in the pi calculus. Acta Inf. 42(2-3): 191-225 (2005)
- [j3]Simon J. Gay: Quantum Programming Languages: Survey and Bibliography. Bulletin of the EATCS 86: 176-196 (2005)
- [c13]
- [c12]Alastair F. Donaldson, Simon J. Gay: Etch: An Enhanced Type Checking Tool for Promela. SPIN 2005: 266-271
- [i2]Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay: An Automated Analysis of the Security of Quantum Key Distribution. CoRR abs/cs/0502048 (2005)
- [i1]Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols. CoRR abs/quant-ph/0504007 (2005)
- 2004
- [c11]Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
- 2003
- [j2]Simon J. Gay, Rajagopal Nagarajan: Intensional and Extensional Semantics of Dataflow Programs. Formal Asp. Comput. 15(4): 299-318 (2003)
- 2001
- [c10]Simon J. Gay: A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. TPHOLs 2001: 217-232
1990 – 1999
- 1999
- [j1]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)
- [c9]
- 1997
- [c8]Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. TACS 1997: 295-320
- 1996
- [c7]Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD 1996: 35-113
- 1995
- [c6]Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Specification Structures and Propositions-as-Types for Concurrency. Banff Higher Order Workshop 1995: 5-40
- [c5]
- 1994
- [c4]
- [c3]Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan: An Internal Language for Interaction Categories. Theory and Formal Methods 1994: 85-104
- 1993
- [c2]Simon J. Gay, Rajagopal Nagarajan: Modelling SIGNAL in Interaction Categories. Theory and Formal Methods 1993: 148-158
- [c1]
- [e1]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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:16 CEST by the dblp team