Gordon Plotkin

Citado por

	Total	Desde 2020
Citas	31974	4718
Índice h	69	34
Índice i10	151	74

1200

600

300

900

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025209 237 298 351 472 551 623 844 773 739 841 758 708 782 740 700 770 819 855 895 1019 1164 954 1063 942 783 882 912 867 836 756 901 770 935 900 885 904 946 980 103

Acceso público

Ver todo

12 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzDirección de correo verificada de cs.ucsc.edu
John PowerHonorary Professor in Computing, Macquarie UniversityDirección de correo verificada de bath.edu
Glynn WinskelUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityDirección de correo verificada de cs.mcgill.ca
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceDirección de correo verificada de cl.cam.ac.uk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
Luca CardelliUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de andrew.cmu.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoDirección de correo verificada de cs.uchicago.edu
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtDirección de correo verificada de mathematik.tu-darmstadt.de
matthew hennessyProfessor of Computer ScienceDirección de correo verificada de cs.tcd.ie
Martin HylandProfessor of Mathematical Logic, CambridgeDirección de correo verificada de dpmms.cam.ac.uk
Rob van GlabbeekUNSWDirección de correo verificada de cs.stanford.edu
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsDirección de correo verificada de fmf.uni-lj.si
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Butler LampsonTechnical Fellow, Microsoft ResearchDirección de correo verificada de lampsons.us
John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu
Andrew J. MillarUniversity of EdinburghDirección de correo verificada de ed.ac.uk
Argyris ZardilisSainsbury Laboratory, Cambridge UniversityDirección de correo verificada de slcu.cam.ac.uk
Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkDirección de correo verificada de cs.aau.dk

Seguir

Gordon Plotkin

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

Dirección de correo verificada de inf.ed.ac.uk


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
A structural approach to operational semantics GD Plotkin Aarhus university, 1981	5116	1981
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2077	1993
Call-by-name, call-by-value and the λ-calculus GD Plotkin Theoretical computer science 1 (2), 125-159, 1975	1868	1975
LCF considered as a programming language GD Plotkin Theoretical computer science 5 (3), 223-255, 1977	1611	1977
A note on inductive generalization GD Plotkin Machine intelligence 5 (1), 153-163, 1970	1597	1970
Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981	1533	1981
A powerdomain construction GD Plotkin SIAM Journal on Computing 5 (3), 452-487, 1976	930	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	838	1993
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	785	1988
The category-theoretic solution of recursive domain equations MB Smyth, GD Plotkin SIAM Journal on Computing 11 (4), 761-783, 1982	780	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	563	1991
Building-in equational theories G Plotkin Machine intelligence 7, 73-90, 1972	548	1972
Abstract syntax and variable binding M Fiore, G Plotkin, D Turi Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999	534	1999
Towards a mathematical operational semantics D Turi, G Plotkin Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997	520	1997
A probabilistic powerdomain of evaluations C Jones, GD Plotkin Proceedings. Fourth Annual Symposium on Logic in Computer Science, 186,187 …, 1989	508	1989
A further note on inductive generalization GD Plotkin Machine intelligence 6, 101-124, 1971	475	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	469	1984
Notions of computation determine monads G Plotkin, J Power International Conference on Foundations of Software Science and Computation …, 2002	431	2002
Algebraic operations and generic effects G Plotkin, J Power Applied categorical structures 11, 69-94, 2003	397	2003
Full abstraction for a simple parallel programming language MCB Hennessy, GD Plotkin International Symposium on Mathematical Foundations of Computer Science, 108-120, 1979	390	1979

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores