Simon J. Gay

	2012
32		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)
	2011
31		Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan: Formal Analysis of Quantum Systems using Process Calculus ICE 2011: 104-110
30		Simon J. Gay: Stabilizer States as a Basis for Density Matrices CoRR abs/1112.2156: (2011)
	2010
29		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
28		Simon J. Gay, Vasco Thudichum Vasconcelos: Linear type theory for asynchronous session types. J. Funct. Program. 20(1): 19-50 (2010)
27		Alastair F. Donaldson, Simon J. Gay: Type inference and strong static type checking for Promela. Sci. Comput. Program. 75(11): 1165-1191 (2010)
	2009
26		Alastair R. Beresford, Simon J. Gay: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software PLACES 2009
	2008
25		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547
24		Simon J. Gay: Bounded polymorphism in session types. Mathematical Structures in Computer Science 18(5): 895-930 (2008)
	2006
23		Simon J. Gay, Rajagopal Nagarajan: Types and typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3): 375-406 (2006)
22		Simon J. Gay: Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science 16(4): 581-600 (2006)
21		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		Simon J. Gay, Rajagopal Nagarajan: Communicating quantum processes. POPL 2005: 145-157
19		Alastair F. Donaldson, Simon J. Gay: Etch: An Enhanced Type Checking Tool for Promela. SPIN 2005: 266-271
18		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		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		Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols CoRR abs/quant-ph/0504007: (2005)
	2004
14		Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
	2003
13		Simon J. Gay, Rajagopal Nagarajan: Intensional and Extensional Semantics of Dataflow Programs. Formal Asp. Comput. 15(4): 299-318 (2003)
	2001
12		Simon J. Gay: A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. TPHOLs 2001: 217-232
	1999
11		Simon J. Gay, Malcolm Hole: Types and Subtypes for Client-Server Interactions. ESOP 1999: 74-90
10		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

Coauthor Index

1	Samson Abramsky	[7] [8] [9] [10]
2	Alastair R. Beresford	[26]
3	Garry Bowen	[16]
4	Geoffrey L. Burn	[3]
5	Alexandre Z. Caldeira	[29]
6	Roy L. Crole	[4]
7	Timothy A. S. Davidson	[31] [32]
8	Alastair F. Donaldson	[19] [27]
9	Nils Gesbert	[29]
10	Malcolm Hole	[11] [18]
11	Hynek Mlnarik	[32]
12	Rajagopal Nagarajan	[1] [4] [6] [7] [8] [9] [10] [13] [15] [16] [20] [23] [25] [31] [32]
13	Nikolaos Papanikolaou (Nick Papanikolaou)	[15] [16] [25] [32]
14	António Ravara	[14] [21] [29]
15	Mark Ryan (Mark Dermot Ryan)	[3]
16	Vasco Thudichum Vasconcelos	[14] [21] [28] [29]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page