Gordon Plotkin

Citée par

	Toutes	Depuis 2019
Citations	31834	5519
indice h	68	38
indice i10	151	78

1200

600

300

900

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024198 209 239 298 351 470 551 623 842 772 740 841 757 706 781 740 699 770 819 852 884 1023 1162 951 1069 936 785 882 918 869 833 759 901 769 933 900 890 908 942 944

Accès public

Tout afficher

12 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzAdresse e-mail validée de cs.ucsc.edu
John PowerHonorary Professor in Computing, Macquarie UniversityAdresse e-mail validée de bath.edu
Glynn WinskelUniversity of CambridgeAdresse e-mail validée de cl.cam.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityAdresse e-mail validée de cs.mcgill.ca
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceAdresse e-mail validée de cl.cam.ac.uk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Luca CardelliUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de andrew.cmu.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoAdresse e-mail validée de cs.uchicago.edu
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtAdresse e-mail validée de mathematik.tu-darmstadt.de
matthew hennessyProfessor of Computer ScienceAdresse e-mail validée de cs.tcd.ie
Martin HylandProfessor of Mathematical Logic, CambridgeAdresse e-mail validée de dpmms.cam.ac.uk
Rob van GlabbeekUNSWAdresse e-mail validée de cs.stanford.edu
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsAdresse e-mail validée de fmf.uni-lj.si
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de cis.upenn.edu
Butler LampsonTechnical Fellow, Microsoft ResearchAdresse e-mail validée de lampsons.us
John C MitchellProfessor of Computer Science, Stanford UniversityAdresse e-mail validée de Stanford.edu
Andrew J. MillarUniversity of EdinburghAdresse e-mail validée de ed.ac.uk
Argyris ZardilisSainsbury Laboratory, Cambridge UniversityAdresse e-mail validée de slcu.cam.ac.uk
Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkAdresse e-mail validée de cs.aau.dk

Suivre

Gordon Plotkin

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

Adresse e-mail validée de inf.ed.ac.uk


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
A structural approach to operational semantics GD Plotkin Aarhus university, 1981	5103	1981
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2073	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	1607	1977
A note on inductive generalization GD Plotkin Machine intelligence 5 (1), 153-163, 1970	1596	1970
Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981	1529	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	783	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	533	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	390	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs