Simon J. Gay Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlastair R. Beresford, Simon J. Gay: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software CoRR abs/1002.1408: (2010)
2008
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: QMC: A Model Checker for Quantum Systems. CAV 2008: 543-547
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay: Bounded polymorphism in session types. Mathematical Structures in Computer Science 18(5): 895-930 (2008)
2006
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay, Rajagopal Nagarajan: Types and typechecking for Communicating Quantum Processes. Mathematical Structures in Computer Science 16(3): 375-406 (2006)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay: Quantum programming languages: survey and bibliography. Mathematical Structures in Computer Science 16(4): 581-600 (2006)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasco 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay, Rajagopal Nagarajan: Communicating quantum processes. POPL 2005: 145-157
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlastair F. Donaldson, Simon J. Gay: Etch: An Enhanced Type Checking Tool for Promela. SPIN 2005: 266-271
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay, Malcolm Hole: Subtyping for session types in the pi calculus. Acta Inf. 42(2-3): 191-225 (2005)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay: Quantum Programming Languages: Survey and Bibliography. Bulletin of the EATCS 86: 176-196 (2005)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay: An Automated Analysis of the Security of Quantum Key Distribution CoRR abs/cs/0502048: (2005)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou: Probabilistic Model-Checking of Quantum Protocols CoRR abs/quant-ph/0504007: (2005)
2004
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasco Thudichum Vasconcelos, António Ravara, Simon J. Gay: Session Types for Functional Multithreading. CONCUR 2004: 497-511
2003
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay, Rajagopal Nagarajan: Intensional and Extensional Semantics of Dataflow Programs. Formal Asp. Comput. 15(4): 299-318 (2003)
2001
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay: A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. TPHOLs 2001: 217-232
1999
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay, Malcolm Hole: Types and Subtypes for Client-Server Interactions. ESOP 1999: 74-90
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson 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
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan: A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. TACS 1997: 295-320
1996
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD 1996: 35-113
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, Simon J. Gay, Rajagopal Nagarajan: Specification Structures and Propositions-as-Types for Concurrency. Banff Higher Order Workshop 1995: 5-40
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay, Rajagopal Nagarajan: A Typed Calculus of Synchronous Processes LICS 1995: 210-220
1994
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay: Combinators for Interaction Nets. Theory and Formal Methods 1994: 63-84
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoy L. Crole, Simon J. Gay, Rajagopal Nagarajan: An Internal Language for Interaction Categories. Theory and Formal Methods 1994: 85-104
1993
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoffrey 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay: A Sort Inference Algorithm for the Polyadic Pi-Calculus. POPL 1993: 429-438
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSimon J. Gay, Rajagopal Nagarajan: Modelling SIGNAL in Interaction Categories. Theory and Formal Methods 1993: 148-158

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)