Simon J Gay

Citado por

	Todos	Desde 2019
Citações	4263	1607
Índice h	30	20
Índice i10	54	31

300

150

225

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 18 31 36 18 57 26 28 31 43 41 75 100 130 131 137 161 118 175 173 198 226 250 192 199 292 220 256 291 294 252

Acesso público

Ver tudo

16 artigos

2 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityEmail confirmado em mdx.ac.uk
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaEmail confirmado em di.fc.ul.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonEmail confirmado em fct.unl.pt
Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowEmail confirmado em glasgow.ac.uk
Dimitrios KouzapasResearch Associate University of CyprusEmail confirmado em cs.ucy.ac.cy
Samson AbramskyProfessor of Computer Science, UCLEmail confirmado em ucl.ac.uk
Roly PereraUniversity of Cambridge, University of BristolEmail confirmado em cl.cam.ac.uk
Ebrahim Ardeshir-LarijaniAssistant Professor, Iran University of Science and TechnologyEmail confirmado em ipm.ir
Ittoop Vergheese PuthoorLecturer, Newcastle UniversityEmail confirmado em newcastle.ac.uk
Giovanni BernardiAssistant professor, Université Paris Diderot - Paris VIIEmail confirmado em tcd.ie
Alastair DonaldsonImperial College LondonEmail confirmado em imperial.ac.uk

Seguir

Simon J Gay

School of Computing Science, University of Glasgow

Email confirmado em dcs.gla.ac.uk - Página inicial

Programming language foundations quantum computing formal methods


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Subtyping for session types in the pi calculus S Gay, M Hole Acta Informatica 42 (2), 191-225, 2005	508	2005
Semantic techniques in quantum computation S Gay, I Mackie Cambridge University Press, 2010	424*	2010
Quantum programming languages: Survey and bibliography SJ Gay Mathematical Structures in Computer Science 16 (04), 581-600, 2006	262	2006
Linear type theory for asynchronous session types SJ Gay, VT Vasconcelos Journal of Functional Programming 20 (1), 19-50, 2010	246	2010
Behavioural Types: from Theory to Tools S Gay, A Ravara CRC Press, 2017	202*	2017
Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016	197	2016
Interaction Categories and the Foundations of Typed Concurrent Programming S Abramsky, S Gay, R Nagarajan Deductive Program Design 152, 35, 1996	185	1996
Communicating quantum processes SJ Gay, R Nagarajan Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005	181	2005
Types and subtypes for client-server interactions S Gay, M Hole Programming Languages and Systems: 8th European Symposium on Programming …, 1999	168	1999
Type checking a multithreaded functional language with session types VT Vasconcelos, SJ Gay, A Ravara Theoretical Computer Science 368 (1-2), 64-87, 2006	130	2006
Modular session types for distributed object-oriented programming SJ Gay, VT Vasconcelos, A Ravara, N Gesbert, AZ Caldeira ACM Sigplan Notices 45 (1), 299-312, 2010	124	2010
A sort inference algorithm for the polyadic pi-calculus SJ Gay Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	109	1993
QMC: A Model Checker for Quantum Systems: Tool Paper SJ Gay, R Nagarajan, N Papanikolaou Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008	106	2008
Session types for inter-process communication S Gay, V Vasconcelos, A Ravara Technical Report TR-2003-133, Department of Computing Science, University of …, 2003	90	2003
Bounded polymorphism in session types SJ Gay Mathematical Structures in Computer Science 18 (05), 895-930, 2008	81	2008
Session types for functional multithreading V Vasconcelos, A Ravara, S Gay CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004	72	2004
A new linear logic for deadlock-free session-typed processes O Dardha, SJ Gay Foundations of Software Science and Computation Structures: 21st …, 2018	62	2018
Probabilistic Model--Checking of Quantum Protocols S Gay, R Nagarajan, N Papanikolaou arXiv preprint quant-ph/0504007, 2005	60	2005
Typechecking protocols with Mungo and StMungo D Kouzapas, O Dardha, R Perera, SJ Gay 18th International Symposium on Principles and Practice of Declarative …, 2016	55	2016
Types and typechecking for communicating quantum processes SJ Gay, R Nagarajan Mathematical Structures in Computer Science 16 (3), 375-406, 2006	53	2006

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores