Gordon Plotkin

Cited by

	All	Since 2019
Citations	31806	5495
h-index	68	38
i10-index	151	78

1200

600

300

900

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024198 209 239 298 351 470 551 623 841 772 740 841 757 706 782 740 699 771 818 852 884 1023 1163 952 1068 937 786 881 918 869 833 757 901 769 933 900 890 908 949 913

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
Glynn WinskelUniversity of CambridgeVerified email at cl.cam.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Butler LampsonTechnical Fellow, Microsoft ResearchVerified email at lampsons.us
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Andrew J. MillarUniversity of EdinburghVerified email at ed.ac.uk
Argyris ZardilisSainsbury Laboratory, Cambridge UniversityVerified email at slcu.cam.ac.uk
Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkVerified email at cs.aau.dk

Gordon Plotkin

Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh

Verified email at inf.ed.ac.uk


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A structural approach to operational semantics GD Plotkin Aarhus university, 1981	5099	1981
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2070	1993
Call-by-name, call-by-value and the λ-calculus GD Plotkin Theoretical computer science 1 (2), 125-159, 1975	1862	1975
LCF considered as a programming language GD Plotkin Theoretical computer science 5 (3), 223-255, 1977	1606	1977
A note on inductive generalization GD Plotkin Machine intelligence 5 (1), 153-163, 1970	1594	1970
Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981	1527	1981
A powerdomain construction GD Plotkin SIAM Journal on Computing 5 (3), 452-487, 1976	924	1976
A calculus for access control in distributed systems M Abadi, M Burrows, B Lampson, G Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (4), 706-734, 1993	836	1993
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	782	1988
The category-theoretic solution of recursive domain equations MB Smyth, GD Plotkin SIAM Journal on Computing 11 (4), 761-783, 1982	777	1982
Dynamic typing in a statically typed language M Abadi, L Cardelli, B Pierce, G Plotkin ACM transactions on programming languages and systems (TOPLAS) 13 (2), 237-268, 1991	564	1991
Building-in equational theories G Plotkin Machine intelligence 7, 73-90, 1972	547	1972
Abstract syntax and variable binding M Fiore, G Plotkin, D Turi Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	532	1999
Towards a mathematical operational semantics D Turi, G Plotkin Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997	515	1997
A probabilistic powerdomain of evaluations C Jones, GD Plotkin Proceedings. Fourth Annual Symposium on Logic in Computer Science, 186,187 …, 1989	504	1989
A further note on inductive generalization GD Plotkin Machine intelligence 6, 101-124, 1971	473	1971
An ideal model for recursive polymorphic types D MacQueen, G Plotkin, R Sethi Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of …, 1984	467	1984
Notions of computation determine monads G Plotkin, J Power International Conference on Foundations of Software Science and Computation …, 2002	426	2002
Algebraic operations and generic effects G Plotkin, J Power Applied categorical structures 11, 69-94, 2003	388	2003
Full abstraction for a simple parallel programming language MCB Hennessy, GD Plotkin International Symposium on Mathematical Foundations of Computer Science, 108-120, 1979	386	1979

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