Gordon Plotkin

Cited by

	All	Since 2017
Citations	28838	4881
h-index	62	37
i10-index	135	66

1200

600

300

900

1983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022129 158 189 244 250 299 335 419 540 598 760 731 707 811 734 676 760 736 687 722 807 791 801 997 1130 901 1079 936 789 883 932 850 847 753 897 792 923 927 917 423

Public access

View all

10 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
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtVerified email at mathematik.tu-darmstadt.de
Daniele TuriCTO, AnyJunk Ltd, London, UKVerified email at anyjunk.co.uk
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Rob van GlabbeekUNSWVerified email at cs.stanford.edu
Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
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
Alex SimpsonProfessor of Computer Science, Faculty of Mathematics and Physics, University of LjubljanaVerified email at fmf.uni-lj.si
Butler LampsonTechnical Fellow, Microsoft ResearchVerified email at lampsons.us
Andrew J. MillarUniversity of EdinburghVerified email at ed.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	4783	1981
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	1953	1993
Call-by-name, call-by-value and the λ-calculus GD Plotkin Theoretical computer science 1 (2), 125-159, 1975	1737	1975
A note on inductive generalization GD Plotkin Machine intelligence 5, 153-163, 1970	1510	1970
LCF considered as a programming language GD Plotkin Theoretical computer science 5 (3), 223-255, 1977	1500	1977
Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981	1409	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	931	1993
A powerdomain construction GD Plotkin SIAM Journal on Computing 5 (3), 452-487, 1976	884	1976
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	741	1988
The category-theoretic solution of recursive domain equations MB Smyth, GD Plotkin SIAM Journal on Computing 11 (4), 761-783, 1982	741	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	544	1991
Building-in equational theories G Plotkin Machine intelligence 7, 73-90, 1972	507	1972
Abstract syntax and variable binding M Fiore, G Plotkin, D Turi Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	469	1999
Towards a mathematical operational semantics D Turi, G Plotkin Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997	449	1997
A probabilistic powerdomain of evaluations C Jones, GD Plotkin Proceedings. Fourth Annual Symposium on Logic in Computer Science, 186,187 …, 1989	448	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	446	1984
A further note on inductive generalization GD Plotkin Machine intelligence 6, 101-124, 1971	410	1971
Full abstraction for a simple parallel programming language MCB Hennessy, GD Plotkin International Symposium on Mathematical Foundations of Computer Science, 108-120, 1979	387	1979
Notions of computation determine monads G Plotkin, J Power International Conference on Foundations of Software Science and Computation …, 2002	355	2002
The origins of structural operational semantics GD Plotkin The Journal of Logic and Algebraic Programming 60, 3-15, 2004	349	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 this author

Cited by

Co-authors