Gordon Plotkin

Cited by

	All	Since 2018
Citations	30427	5151
h-index	66	38
i10-index	143	70

1200

600

300

900

1984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023162 191 226 239 306 341 447 549 611 827 746 732 831 745 720 773 722 695 758 813 825 887 1013 1141 920 1064 927 769 918 929 856 835 755 896 770 935 904 884 941 714

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
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
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
Radu MardareProfessor, University of StrathclydeVerified email at strath.ac.uk
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
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
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
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	4957	1981
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2005	1993
Call-by-name, call-by-value and the λ-calculus GD Plotkin Theoretical computer science 1 (2), 125-159, 1975	1799	1975
LCF considered as a programming language GD Plotkin Theoretical computer science 5 (3), 223-255, 1977	1559	1977
A note on inductive generalization GD Plotkin Machine intelligence 5 (1), 153-163, 1970	1538	1970
Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981	1488	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	940	1993
A powerdomain construction GD Plotkin SIAM Journal on Computing 5 (3), 452-487, 1976	909	1976
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	770	1988
The category-theoretic solution of recursive domain equations MB Smyth, GD Plotkin SIAM Journal on Computing 11 (4), 761-783, 1982	768	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	553	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	497	1999
Towards a mathematical operational semantics D Turi, G Plotkin Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997	481	1997
A probabilistic powerdomain of evaluations C Jones, GD Plotkin Proceedings. Fourth Annual Symposium on Logic in Computer Science, 186,187 …, 1989	473	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	461	1984
A further note on inductive generalization GD Plotkin Machine intelligence 6, 101-124, 1971	433	1971
Notions of computation determine monads G Plotkin, J Power International Conference on Foundations of Software Science and Computation …, 2002	389	2002
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
The origins of structural operational semantics GD Plotkin The Journal of Logic and Algebraic Programming 60, 3-15, 2004	366	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