Simon J Gay

Cituota

	Visi	Nuo 2019
Šaltiniai	4311	1636
h-rodyklė	30	20
i10-rodyklė	54	32

300

150

225

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 18 31 36 18 57 26 28 32 42 41 75 99 130 131 137 161 118 177 173 198 227 253 192 200 298 220 256 297 290 274

Viešas pasiekiamumas

Peržiūrėti viską

16 straipsnių

2 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityPatvirtintas el. paštas mdx.ac.uk
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaPatvirtintas el. paštas di.fc.ul.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonPatvirtintas el. paštas fct.unl.pt
Ornela DardhaSenior Lecturer (Associate Professor) at the School of Computing Science, University of GlasgowPatvirtintas el. paštas glasgow.ac.uk
Samson AbramskyProfessor of Computer Science, UCLPatvirtintas el. paštas ucl.ac.uk
Dimitrios KouzapasResearch Associate University of CyprusPatvirtintas el. paštas cs.ucy.ac.cy
Roly PereraUniversity of Cambridge, University of BristolPatvirtintas el. paštas cl.cam.ac.uk
Ebrahim Ardeshir-LarijaniAssistant Professor, Iran University of Science and TechnologyPatvirtintas el. paštas ipm.ir
Ittoop Vergheese PuthoorLecturer, Newcastle UniversityPatvirtintas el. paštas newcastle.ac.uk
Giovanni BernardiAssistant professor, Université Paris Diderot - Paris VIIPatvirtintas el. paštas tcd.ie
Alastair DonaldsonImperial College LondonPatvirtintas el. paštas imperial.ac.uk

Stebėti

Simon J Gay

School of Computing Science, University of Glasgow

Patvirtintas el. paštas dcs.gla.ac.uk - Pagrindinis puslapis

Programming language foundations quantum computing formal methods


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Subtyping for session types in the pi calculus S Gay, M Hole Acta Informatica 42 (2), 191-225, 2005	515	2005
Semantic techniques in quantum computation S Gay, I Mackie Cambridge University Press, 2010	428*	2010
Quantum programming languages: Survey and bibliography SJ Gay Mathematical Structures in Computer Science 16 (04), 581-600, 2006	266	2006
Linear type theory for asynchronous session types SJ Gay, VT Vasconcelos Journal of Functional Programming 20 (1), 19-50, 2010	251	2010
Behavioural Types: from Theory to Tools S Gay, A Ravara CRC Press, 2017	209*	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	201	2016
Interaction Categories and the Foundations of Typed Concurrent Programming S Abramsky, S Gay, R Nagarajan Deductive Program Design 152, 35, 1996	186	1996
Communicating quantum processes SJ Gay, R Nagarajan Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2005	184	2005
Types and subtypes for client-server interactions S Gay, M Hole Programming Languages and Systems: 8th European Symposium on Programming …, 1999	170	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	125	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	63	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	54	2016
Types and typechecking for communicating quantum processes SJ Gay, R Nagarajan Mathematical Structures in Computer Science 16 (3), 375-406, 2006	53	2006

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai