Gordon Plotkin

Cited by

	All	Since 2018
Citations	30180	4879
h-index	66	36
i10-index	141	69

1200

600

300

900

1984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023142 166 234 228 295 326 436 506 621 781 729 713 795 730 713 759 712 697 766 824 828 1109 1015 1156 909 1070 948 768 909 962 864 842 767 903 794 929 916 891 939 408

Public access

View all

9 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
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
Daniele TuriCTO, AnyJunk Ltd, London, UKVerified email at anyjunk.co.uk
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsVerified email at fmf.uni-lj.si
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

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	4939	1981
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2001	1993
Call-by-name, call-by-value and the λ-calculus GD Plotkin Theoretical computer science 1 (2), 125-159, 1975	1786	1975
LCF considered as a programming language GD Plotkin Theoretical computer science 5 (3), 223-255, 1977	1543	1977
A note on inductive generalization GD Plotkin Machine intelligence 5 (1), 153-163, 1970	1531	1970
Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981	1483	1981
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	941	1993
A powerdomain construction GD Plotkin SIAM Journal on Computing 5 (3), 452-487, 1976	910	1976
The category-theoretic solution of recursive domain equations MB Smyth, GD Plotkin SIAM Journal on Computing 11 (4), 761-783, 1982	760	1982
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	759	1988
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	555	1991
Building-in equational theories G Plotkin Machine intelligence 7, 73-90, 1972	546	1972
Abstract syntax and variable binding M Fiore, G Plotkin, D Turi Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	486	1999
Towards a mathematical operational semantics D Turi, G Plotkin Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997	472	1997
A probabilistic powerdomain of evaluations C Jones, GD Plotkin Proceedings. Fourth Annual Symposium on Logic in Computer Science, 186,187 …, 1989	464	1989
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	458	1984
A further note on inductive generalization GD Plotkin Machine intelligence 6, 101-124, 1971	427	1971
Full abstraction for a simple parallel programming language MCB Hennessy, GD Plotkin Mathematical Foundations of Computer Science 1979: Proceedings, 8th …, 1979	391	1979
Notions of computation determine monads G Plotkin, J Power Foundations of Software Science and Computation Structures: 5th …, 2002	384	2002
The origins of structural operational semantics GD Plotkin The Journal of Logic and Algebraic Programming 60, 3-15, 2004	370	2004

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