Samson Abramsky

Citeret af

	Alle	Siden 2020
Henvisninger	17671	3577
h-index	60	28
i10-indeks	136	77

860

430

215

645

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202548 46 83 116 149 226 291 322 343 356 397 287 418 296 320 358 421 477 489 537 607 553 578 520 480 590 596 647 555 615 706 604 697 534 669 671 848 701 153

Offentlig adgang

Se alle

20 artikler

1 artikel

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Rui Soares BarbosaInternational Iberian Nanotechnology LaboratoryVerificeret mail på inl.int
Guy McCuskerProfessor of Computer Science, University of BathVerificeret mail på bath.ac.uk
Luke OngDistinguished University Professor, Nanyang Technological UniversityVerificeret mail på ntu.edu.sg
Chris HankinProfessor of Computing Science, Imperial College LondonVerificeret mail på imperial.ac.uk
Shane MansfieldQuandelaVerificeret mail på quandela.com
Adam BrandenburgerNew York UniversityVerificeret mail på stern.nyu.edu
Achim JungProfessor of Computer Science, University of Birmingham, UKVerificeret mail på cs.bham.ac.uk
Dov GabbayBar Ilan Univ. Kings College London, Univ of LuxembourgVerificeret mail på ext.uni.lu
Pasquale MalacariaProfessor, Queen Mary University of LondonVerificeret mail på qmul.ac.uk
Andrzej MurawskiUniversity of OxfordVerificeret mail på cs.ox.ac.uk
Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex UniversityVerificeret mail på mdx.ac.uk
Kohei KishidaDepartment of Philosophy, University of Illinois at Urbana-ChampaignVerificeret mail på illinois.edu
Nihil ShahDPhil Candidate, University of OxfordVerificeret mail på cs.ox.ac.uk
Anuj DawarUniversity of CambridgeVerificeret mail på cl.cam.ac.uk
Luca ReggioDepartment of Computer Science, University College LondonVerificeret mail på ucl.ac.uk
Mehrnoosh SadrzadehProfessor of Computer Science, Royal Academy of Engineering Research Chair,University College LondonVerificeret mail på ucl.ac.uk
Giovanni CarùUniversity of OxfordVerificeret mail på cs.ox.ac.uk
Simon J GaySchool of Computing Science, University of GlasgowVerificeret mail på dcs.gla.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerificeret mail på cs.mcgill.ca
Paul-André MellièsCNRS, Université Paris CitéVerificeret mail på irif.fr

Følg

Samson Abramsky

Professor of Computer Science, UCL

Verificeret mail på ucl.ac.uk - Startside

Theoretical computer science quantum information and foundations game theory


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Domain theory S Abramsky, A Jung Oxford University Press, 1994	1751	1994
A categorical semantics of quantum protocols S Abramsky, B Coecke Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 2004	1016	2004
Full Abstraction in the Lazy Lambda Calculus S Abramsky, L Ong Information and Computation 105 (2), 159--268, 1993	983	1993
Computational Interpretations of Linear logic S Abramsky Theoretical Computer Science 111, 3--57, 1993	772	1993
Domain Theory in Logical Form S Abramsky Annals of Pure and Applied Logic 51, 1–77, 1991	731	1991
Full Abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Information and Computation 163 (2), 409--470, 2000	690	2000
The sheaf-theoretic structure of non-locality and contextuality S Abramsky, A Brandenburger New J. Phys. 13 (113036), 1--40, 2011	628	2011
Games and full completeness for multiplicative linear logic S Abramsky, R Jagadeesan The Journal of Symbolic Logic 59 (2), 543-574, 1994	513	1994
Abstract interpretation of declarative languages S Abramsky, C Hankin Halsted Press, 1987	457	1987
Quantales, Observational Logic and Process Semantics S Abramsky	329	1993
Observation equivalence as a testing equivalence S Abramsky Theoretical Computer Science 53 (2-3), 225-241, 1987	329	1987
Categorical quantum mechanics S Abramsky, B Coecke Handbook of quantum logic and quantum structures: quantum logic, 261-324, 2008	323	2008
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol S Abramsky, G McCusker Algol-like languages, 317-348, 1997	295*	1997
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	291	1998
Strictness Analysis for Higher Order Functions S Abramsky, G Burn, C Hankin Science of Computer Programming 7, 249– 278, 1986	285*	1986
Semantics of interaction: an introduction to game semantics S Abramsky Semantics and Logics of Computation, Publications of the Newton Institute, 1-31, 1997	270	1997
Concurrent games and full completeness S Abramsky, PA Mellies Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	269	1999
Full abstraction for PCF S Abramsky, R Jagadeesan, P Malacaria Theoretical Aspects of Computer Software, 1--15, 1994	254	1994
A Domain Equation for Bisimulation S Abramsky Information and Computation 92 (2), 161-218, 1991	250	1991
Game semantics S Abramsky, G McCusker Computational logic, 1-55, 1999	227	1999

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere