Concepedia

Simon J. Gay

SJ

21

Publications

1.5K

Citations

16

H-Index

1993

Active since

Affiliations

University of Glasgow(Current)

University of Lisbon

University of Warwick

Centre Inria de l'Université Grenoble Alpes

Universidade Nova de Lisboa

Simon J. Gay is an author at University of Glasgow specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationProgram AnalysisQuantum ScienceQuantum ComputingSoftware AnalysisQuantum Entanglement

Publications per year

1993–2020

21

Publications

21

Subtyping for session types in the pi calculus

Simon J. Gay, Malcolm Hole · Acta Informatica · 2005 · 365 citations

Mathematical Programming, Engineering, Automated Reasoning +5

Linear type theory for asynchronous session types

Simon J. Gay, Vasco T. Vasconcelos · Journal of Functional Programming · 2009 · 200 citations · Full text

Quantum programming languages: survey and bibliography

Simon J. Gay · Mathematical Structures in Computer Science · 2006 · 179 citations · Full text

Quantum Compilers, Quantum Science, Quantum Logic +12

Communicating quantum processes

Simon J. Gay, Rajagopal Nagarajan · 2005 · 133 citations

Engineering, Communication, Formal Verification +17

Behavioral Types in Programming Languages

Davide Ancona, Viviana Bono, Mario Bravetti et al. · Archivio istituzionale della ricerca (Alma Mater Studiorum Università di Bologna) · 2016 · 104 citations · Full text

Rows per page

1–5 of 21