Gordon Plotkin

Citata da

	Tutte	Dal 2020
Citazioni	31974	4718
Indice H	69	34
i10-index	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

Accesso pubblico

Visualizza tutto

12 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzEmail verificata su cs.ucsc.edu
John PowerHonorary Professor in Computing, Macquarie UniversityEmail verificata su bath.edu
Glynn WinskelUniversity of CambridgeEmail verificata su cl.cam.ac.uk
Prakash PanangadenProfessor of Computer Science, McGill UniversityEmail verificata su cs.mcgill.ca
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceEmail verificata su cl.cam.ac.uk
Mogens NielsenProfessor of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
Luca CardelliUniversity of OxfordEmail verificata su cs.ox.ac.uk
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityEmail verificata su andrew.cmu.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoEmail verificata su cs.uchicago.edu
Klaus KeimelProfessor of Mathematics, Technische Universitaet DarmstadtEmail verificata su mathematik.tu-darmstadt.de
matthew hennessyProfessor of Computer ScienceEmail verificata su cs.tcd.ie
Martin HylandProfessor of Mathematical Logic, CambridgeEmail verificata su dpmms.cam.ac.uk
Rob van GlabbeekUNSWEmail verificata su cs.stanford.edu
Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and PhysicsEmail verificata su fmf.uni-lj.si
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaEmail verificata su cis.upenn.edu
Butler LampsonTechnical Fellow, Microsoft ResearchEmail verificata su lampsons.us
John C MitchellProfessor of Computer Science, Stanford UniversityEmail verificata su Stanford.edu
Andrew J. MillarUniversity of EdinburghEmail verificata su ed.ac.uk
Argyris ZardilisSainsbury Laboratory, Cambridge UniversityEmail verificata su slcu.cam.ac.uk
Giorgio BacciAssociate professor in Computer Science, Aalborg University, DenmarkEmail verificata su cs.aau.dk

Segui

Gordon Plotkin

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

Email verificata su inf.ed.ac.uk


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori