Samson Abramsky

Citado por

	Total	Desde 2019
Citas	17772	4130
Índice h	62	32
Índice i10	138	81

860

430

215

645

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202448 43 79 114 141 236 291 323 356 379 405 306 424 317 345 363 437 497 501 544 624 568 580 499 504 593 617 635 565 617 713 611 698 545 677 685 859 663

Acceso público

Ver todo

21 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Guy McCuskerProfessor of Computer Science, University of BathDirección de correo verificada de bath.ac.uk
Rui Soares BarbosaInternational Iberian Nanotechnology LaboratoryDirección de correo verificada de inl.int
Luke OngDistinguished University Professor, Nanyang Technological UniversityDirección de correo verificada de ntu.edu.sg
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgDirección de correo verificada de ext.uni.lu
Chris HankinProfessor of Computing Science, Imperial College LondonDirección de correo verificada de imperial.ac.uk
Shane MansfieldQuandelaDirección de correo verificada de quandela.com
Adam BrandenburgerNew York UniversityDirección de correo verificada de stern.nyu.edu
Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamDirección de correo verificada de cs.bham.ac.uk
Pasquale MalacariaProfessor, Queen Mary University of LondonDirección de correo verificada de qmul.ac.uk
Achim JungProfessor of Computer Science, University of Birmingham, UKDirección de correo verificada de cs.bham.ac.uk
Andrzej MurawskiUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityDirección de correo verificada de mdx.ac.uk
Kohei KishidaDepartment of Philosophy, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
Simon J GaySchool of Computing Science, University of GlasgowDirección de correo verificada de dcs.gla.ac.uk
Nihil ShahDPhil Candidate, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Mehrnoosh SadrzadehProfessor of Computer Science, Royal Academy of Engineering Research Chair,University College LondonDirección de correo verificada de ucl.ac.uk
Anuj DawarUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Luca ReggioDepartment of Computer Science, University College LondonDirección de correo verificada de ucl.ac.uk
Giovanni CarùUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityDirección de correo verificada de cs.mcgill.ca

Seguir

Samson Abramsky

Professor of Computer Science, UCL

Dirección de correo verificada de ucl.ac.uk - Página principal

Theoretical computer science quantum information and foundations game theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Domain theory S Abramsky, A Jung Oxford University Press, 1994	1735	1994
A categorical semantics of quantum protocols S Abramsky, B Coecke Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	1001	2004
Full Abstraction in the Lazy Lambda Calculus S Abramsky, L Ong Information and Computation 105 (2), 159--268, 1993	963	1993
Computational Interpretations of Linear logic S Abramsky Theoretical Computer Science 111, 3--57, 1993	764	1993
Domain Theory in Logical Form S Abramsky Annals of Pure and Applied Logic 51, 1–77, 1991	722	1991
Full Abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Information and Computation 163 (2), 409--470, 2000	676	2000
The sheaf-theoretic structure of non-locality and contextuality S Abramsky, A Brandenburger New J. Phys. 13 (113036), 1--40, 2011	604	2011
Games and full completeness for multiplicative linear logic S Abramsky, R Jagadeesan The Journal of Symbolic Logic 59 (2), 543-574, 1994	507	1994
Abstract interpretation of declarative languages S Abramsky, C Hankin Halsted Press, 1987	451	1987
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures S Abramsky, DM Gabbay, TSE Maibaum OUP Oxford, 2001	394	2001
Quantales, Observational Logic and Process Semantics S Abramsky	323	1993
Observation equivalence as a testing equivalence S Abramsky Theoretical Computer Science 53 (2-3), 225-241, 1987	321	1987
Categorical quantum mechanics S Abramsky, B Coecke Handbook of quantum logic and quantum structures: quantum logic, 261-324, 2008	318	2008
A fully abstract game semantics for general references S Abramsky, K Honda, G McCusker Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	284	1998
Semantics of interaction: an introduction to game semantics S Abramsky Semantics and Logics of Computation, Publications of the Newton Institute, 1-31, 1997	271	1997
Strictness Analysis for Higher Order Functions S Abramsky, G Burn, C Hankin Science of Computer Programming 7, 249– 278, 1986	267*	1986
Concurrent games and full completeness S Abramsky, PA Mellies Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	264	1999
A Domain Equation for Bisimulation S Abramsky Information and Computation 92 (2), 161-218, 1991	251	1991
Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Theoretical Aspects of Computer Software, 1--15, 1994	249	1994
Strictness analysis for higher-order functions GL Burn, C Hankin, S Abramsky Science of Computer Programming 7, 249-278, 1986	227	1986

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores