Samson Abramsky

Cited by

	All	Since 2017
Citations	16000	3827
h-index	58	31
i10-index	126	75

760

380

190

570

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202250 46 86 113 170 237 297 321 356 375 402 280 399 311 332 343 439 480 475 524 610 561 592 545 460 591 632 620 587 619 711 615 697 605 744 453

Public access

View all

26 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Guy McCuskerProfessor of Computer Science, University of BathVerified email at bath.ac.uk
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Rui Soares BarbosaInternational Iberian Nanotechnology LaboratoryVerified email at inl.int
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Shane MansfieldSorbonne Université, LIP6Verified email at lip6.fr
Luke OngProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityVerified email at mdx.ac.uk
Pasquale MalacariaProfessor, Queen Mary University of LondonVerified email at qmul.ac.uk
Adam BrandenburgerNew York UniversityVerified email at stern.nyu.edu
Dan R. GhicaProfessor of Semantics of Programming Languages, University of BirminghamVerified email at cs.bham.ac.uk
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Achim JungProfessor of Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
Andrzej MurawskiUniversity of OxfordVerified email at cs.ox.ac.uk
Kohei KishidaDepartment of Philosophy, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Paul-André MellièsCNRS, Université Paris CitéVerified email at irif.fr
Anuj DawarUniversity of CambridgeVerified email at cl.cam.ac.uk
Giovanni CarùUniversity of OxfordVerified email at cs.ox.ac.uk
Mehrnoosh SadrzadehReader in Computer Science, Department of Computer Science, University College LondonVerified email at ucl.ac.uk
Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk

Samson Abramsky

Professor of Computer Science, UCL

Verified email at ucl.ac.uk - Homepage

Theoretical computer science quantum information and foundations game theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Domain theory S Abramsky, A Jung Oxford University Press, 1994	1641	1994
A categorical semantics of quantum protocols S Abramsky, B Coecke Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	869	2004
Computational Interpretations of Linear logic S Abramsky Theoretical Computer Science 111, 3--57, 1993	725	1993
Domain Theory in Logical Form S Abramsky Annals of Pure and Applied Logic 51, 1–77, 1991	682	1991
The Lazy Lambda Calculus S Abramsky Research Topics in Functional Programming, 65--116, 1990	674	1990
Full Abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Information and Computation 163 (2), 409--470, 2000	622	2000
Games and full completeness for multiplicative linear logic S Abramsky, R Jagadeesan The Journal of Symbolic Logic 59 (2), 543-574, 1994	480	1994
Abstract interpretation of declarative languages S Abramsky, C Hankin Prentice Hall Professional Technical Reference, 1987	453	1987
The sheaf-theoretic structure of non-locality and contextuality S Abramsky, A Brandenburger New J. Phys. 13 (113036), 1--40, 2011	452	2011
Full Abstraction in the Lazy Lambda Calculus S Abramsky, L Ong Information and Computation 105 (2), 159--268, 1993	333	1993
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures S Abramsky, DM Gabbay, TSE Maibaum OUP Oxford, 2001	328	2001
Observation equivalence as a testing equivalence S Abramsky Theoretical Computer Science 53 (2-3), 225-241, 1987	310	1987
Quantales, Observational Logic and Process Semantics S Abramsky	296	1993
Semantics of interaction: an introduction to game semantics S Abramsky Semantics and Logics of Computation, Publications of the Newton Institute, 1-31, 1997	259	1997
Strictness Analysis for Higher Order Functions S Abramsky, G Burn, C Hankin Science of Computer Programming 7, 249– 278, 1986	259*	1986
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	252	1998
Concurrent games and full completeness S Abramsky, PA Mellies Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	246	1999
A Domain Equation for Bisimulation S Abramsky Information and Computation 92 (2), 161-218, 1991	243	1991
Categorical quantum mechanics S Abramsky, B Coecke Handbook of quantum logic and quantum structures: quantum logic, 261-324, 2008	242	2008
Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Theoretical Aspects of Computer Software, 1--15, 1994	236	1994

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors