Samson Abramsky

Cited by

	All	Since 2020
Citations	17881	3535
h-index	63	28
i10-index	138	77

860

430

215

645

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202548 43 79 115 141 236 291 323 355 380 405 306 424 317 345 363 437 500 503 545 625 568 585 500 503 592 614 635 565 617 713 612 695 546 676 685 852 708 67

Public access

View all

21 articles

1 article

available

not available

Based on funding mandates

Co-authors

Guy McCuskerProfessor of Computer Science, University of BathVerified email at bath.ac.uk
Rui Soares BarbosaInternational Iberian Nanotechnology LaboratoryVerified email at inl.int
Luke OngDistinguished University Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Chris HankinProfessor of Computing Science, Imperial College LondonVerified email at imperial.ac.uk
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerified email at ext.uni.lu
Shane MansfieldQuandelaVerified email at quandela.com
Adam BrandenburgerNew York UniversityVerified email at stern.nyu.edu
Pasquale MalacariaProfessor, Queen Mary University of LondonVerified email at qmul.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
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityVerified email at mdx.ac.uk
Kohei KishidaDepartment of Philosophy, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Nihil ShahDPhil Candidate, University of OxfordVerified email at cs.ox.ac.uk
Mehrnoosh SadrzadehProfessor of Computer Science, Royal Academy of Engineering Research Chair,University College LondonVerified email at ucl.ac.uk
Luca ReggioDepartment of Computer Science, University College LondonVerified email at ucl.ac.uk
Anuj DawarUniversity of CambridgeVerified email at cl.cam.ac.uk
Giovanni CarùUniversity of OxfordVerified email at cs.ox.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Paul-André MellièsCNRS, Université Paris CitéVerified email at irif.fr

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	1740	1994
A categorical semantics of quantum protocols S Abramsky, B Coecke Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	1006	2004
Full Abstraction in the Lazy Lambda Calculus S Abramsky, L Ong Information and Computation 105 (2), 159--268, 1993	966	1993
Computational Interpretations of Linear logic S Abramsky Theoretical Computer Science 111, 3--57, 1993	767	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	678	2000
The sheaf-theoretic structure of non-locality and contextuality S Abramsky, A Brandenburger New J. Phys. 13 (113036), 1--40, 2011	618	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	396	2001
Quantales, Observational Logic and Process Semantics S Abramsky	325	1993
Categorical quantum mechanics S Abramsky, B Coecke Handbook of quantum logic and quantum structures: quantum logic, 261-324, 2008	324	2008
Observation equivalence as a testing equivalence S Abramsky Theoretical Computer Science 53 (2-3), 225-241, 1987	321	1987
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	265	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

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