Glynn Winskel

Citée par

	Toutes	Depuis 2020
Citations	13161	1803
indice h	45	20
indice i10	109	34

500

250

125

375

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 89 103 137 200 202 212 260 295 253 398 363 335 387 307 298 331 369 420 430 367 482 392 395 367 314 393 398 467 388 468 385 353 397 349 349 324 401 369 11

Accès public

Tout afficher

13 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Mogens NielsenProfessor of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
Pierre ClairambaultCNRS & LIS, Aix-Marseille UniversitéAdresse e-mail validée de cnrs.fr
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
Kim G. LarsenDirector, Professor Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Vladimiro SassoneUniversity of SouthamptonAdresse e-mail validée de ecs.soton.ac.uk
Martin HylandProfessor of Mathematical Logic, CambridgeAdresse e-mail validée de dpmms.cam.ac.uk
Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignAdresse e-mail validée de illinois.edu
Russ HarmerCNRS, LyonAdresse e-mail validée de ens-lyon.fr
Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureAdresse e-mail validée de ens.fr
Nicola GambinoDepartment of Mathematics, University of ManchesterAdresse e-mail validée de manchester.ac.uk

Suivre

Glynn Winskel

University of Cambridge

Adresse e-mail validée de cl.cam.ac.uk


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
The formal semantics of programming languages: an introduction G Winskel MIT press, 1993	2212	1993
Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981	1530	1981
Models for concurrency G Winskel, M Nielsen	1078*	1993
Event structures G Winskel Advanced course on Petri nets, 325-392, 1986	1054	1986
An introduction to event structures G Winskel Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989	532	1989
Bisimulation from open maps A Joyal, M Nielsen, G Winskel Information and Computation 127 (2), 164-185, 1996	506	1996
Event structure semantics for CCS and related languages G Winskel Automata, Languages and Programming: Ninth Colloquium Aarhus, Denmark, July …, 1982	415	1982
Events in computation G Winskel The University of Edinburgh, 1980	354	1980
Petri nets, algebras, morphisms, and compositionality G Winskel Information and Computation 72 (3), 197-238, 1987	292	1987
Synchronization trees G Winskel Theoretical Computer Science 34 (1-2), 33-82, 1984	204	1984
Distributing probability over non-determinism D Varacca, G Winskel Mathematical structures in computer science 16 (1), 87-113, 2006	178	2006
Models for concurrency: Towards a classification V Sassone, M Nielsen, G Winskel Theoretical Computer Science 170 (1-2), 297-348, 1996	174	1996
A note on model checking the modal v-calculus G Winskel International Colloquium on Automata, Languages, and Programming, 761-772, 1989	171	1989
Using information systems to solve reoursive domain equations effectively KG Larsen, G Winskel International Symposium on Semantics of Data Types, 109-129, 1984	152	1984
The cartesian closed bicategory of generalised species of structures M Fiore, N Gambino, M Hyland, G Winskel Journal of the London Mathematical Society 77 (1), 203-220, 2008	134	2008
Events in security protocols F Crazzolara, G Winskel Proceedings of the 8th ACM conference on Computer and Communications …, 2001	134	2001
Domain theoretic models of polymorphism T Coquand, C Gunter, G Winskel Information and Computation 81 (2), 123-167, 1989	123	1989
Concurrent strategies S Rideau, G Winskel 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 409-418, 2011	122	2011
A compositional proof system for the modal/spl mu/-calculus HR Andersen, C Stirling, G Winskel Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 144-153, 1994	116	1994
Petri nets as models of linear logic U Engberg, G Winskel CAAP'90: 15th Colloquium on Trees in Algebra and Programming Copenhagen …, 1990	116	1990

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