| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou |
Model Checking for Communicating Quantum Processes.  |
IJUC  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan |
Formal Analysis of Quantum Systems using Process Calculus |
ICE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay |
Stabilizer States as a Basis for Density Matrices |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alastair F. Donaldson, Simon J. Gay |
Type inference and strong static type checking for Promela. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay, Vasco Thudichum Vasconcelos |
Linear type theory for asynchronous session types. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira |
Modular session types for distributed object-oriented programming. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
non-uniform method availability, object-oriented calculus, typestates, session types |
| 1 | Alastair R. Beresford, Simon J. Gay (eds.) |
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software |
PLACES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay |
Bounded polymorphism in session types. |
Mathematical Structures in Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou |
QMC: A Model Checker for Quantum Systems. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara |
Type checking a multithreaded functional language with session types. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay, Rajagopal Nagarajan |
Types and typechecking for Communicating Quantum Processes. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay |
Quantum programming languages: survey and bibliography. |
Mathematical Structures in Computer Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay, Malcolm Hole |
Subtyping for session types in the pi calculus. |
Acta Inf. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay |
An Automated Analysis of the Security of Quantum Key Distribution |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou |
Probabilistic Model-Checking of Quantum Protocols |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Simon J. Gay |
Quantum Programming Languages: Survey and Bibliography. |
Bulletin of the EATCS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Simon J. Gay, Rajagopal Nagarajan |
Communicating quantum processes. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
verification, semantics, quantum computing, types, formal language, quantum communication |
| 1 | Alastair F. Donaldson, Simon J. Gay |
Etch: An Enhanced Type Checking Tool for Promela. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay |
Session Types for Functional Multithreading. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
static typechecking, specification of communication protocols, concurrent programming, Session types |
| 1 | Simon J. Gay, Rajagopal Nagarajan |
Intensional and Extensional Semantics of Dataflow Programs. |
Formal Asp. Comput. |
2003 |
DBLP DOI BibTeX RDF |
Categorical semantics, Interaction categories, Kahn semantics, Synchronous computation, Dataflow |
| 1 | Simon J. Gay |
A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. |
TPHOLs |
2001 |
DBLP DOI BibTeX RDF |
semantics, Types, pi calculus, automatic theorem proving |
| 1 | Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan |
A Specification Structure for Deadlock-Freedom of Synchronous Processes. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay, Malcolm Hole |
Types and Subtypes for Client-Server Interactions. |
ESOP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan |
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. |
TACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan |
Interaction categories and the foundations of typed concurrent programming. |
NATO ASI DPD |
1996 |
DBLP BibTeX RDF |
|
| 1 | Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan |
Specification Structures and Propositions-as-Types for Concurrency. |
Banff Higher Order Workshop |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon J. Gay, Rajagopal Nagarajan |
A Typed Calculus of Synchronous Processes |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan |
An Internal Language for Interaction Categories. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
| 1 | Simon J. Gay |
Combinators for Interaction Nets. |
Theory and Formal Methods |
1994 |
DBLP BibTeX RDF |
|
| 1 | Simon J. Gay, Rajagopal Nagarajan |
Modelling SIGNAL in Interaction Categories. |
Theory and Formal Methods |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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 |
Theory and Formal Methods |
1993 |
DBLP BibTeX RDF |
|
| 1 | Simon J. Gay |
A Sort Inference Algorithm for the Polyadic Pi-Calculus. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")