| The formal semantics of programming languages: an introduction G Winskel MIT press, 1993 | 2310 | 1993 |
| Petri nets, event structures and domains, part I M Nielsen, G Plotkin, G Winskel Theoretical Computer Science 13 (1), 85-108, 1981 | 1555 | 1981 |
| Event structures G Winskel Advanced course on Petri nets, 325-392, 1986 | 1090 | 1986 |
| Models for concurrency G Winskel, M Nielsen | 1084* | 1993 |
| An introduction to event structures G Winskel Workshop/School/Symposium of the REX Project (Research and Education in …, 1988 | 536 | 1988 |
| Bisimulation from open maps A Joyal, M Nielsen, G Winskel Information and Computation 127 (2), 164-185, 1996 | 520 | 1996 |
| Event structure semantics for CCS and related languages G Winskel International Colloquium on Automata, Languages, and Programming, 561-576, 1982 | 424 | 1982 |
| Events in computation G Winskel University of Edinburgh, 1980 | 372 | 1980 |
| Petri nets, algebras, morphisms, and compositionality G Winskel Information and Computation 72 (3), 197-238, 1987 | 295 | 1987 |
| Synchronization trees G Winskel Theoretical Computer Science 34 (1-2), 33-82, 1984 | 219 | 1984 |
| Distributing probability over non-determinism D Varacca, G Winskel Mathematical structures in computer science 16 (1), 87-113, 2006 | 198 | 2006 |
| Models for concurrency: Towards a classification V Sassone, M Nielsen, G Winskel Theoretical Computer Science 170 (1-2), 297-348, 1996 | 178 | 1996 |
| A note on model checking the modal v-calculus G Winskel International Colloquium on Automata, Languages, and Programming, 761-772, 1989 | 176 | 1989 |
| Using information systems to solve reoursive domain equations effectively KG Larsen, G Winskel International Symposium on Semantics of Data Types, 109-129, 1984 | 164 | 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 | 149 | 2008 |
| Events in security protocols F Crazzolara, G Winskel Proceedings of the 8th ACM conference on Computer and Communications …, 2001 | 135 | 2001 |
| Concurrent strategies S Rideau, G Winskel 2011 IEEE 26th Annual Symposium on Logic in Computer Science, 409-418, 2011 | 129 | 2011 |
| Domain theoretic models of polymorphism T Coquand, C Gunter, G Winskel Information and Computation 81 (2), 123-167, 1989 | 124 | 1989 |
| Petri nets as models of linear logic U Engberg, G Winskel Colloquium on Trees in Algebra and Programming, 147-161, 1990 | 122 | 1990 |
| Graphs, rewriting and pathway reconstruction for rule-based models V Danos, J Feret, W Fontana, R Harmer, J Hayman, J Krivine, ... FSTTCS 2012-IARCS Annual Conference on Foundations of Software Technology …, 2012 | 119 | 2012 |
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk
