| Petri nets, event structures and domains G Plotkin, G Winskel, ... University of Edinburgh, 1979 | 1484* | 1979 |
| Models for Concurrency G Winskel, M Nielsen MFCS'91, 1991 | 949 | 1991 |
| Decidability issues for Petri nets J Esparza, M Nielsen BRICS Report Series 1 (8), 1994 | 584 | 1994 |
| Decidability Issues for Petri Nets J Esparza, M Nielsen Journal of Information Processing and Cybernet. EIK 30 (3), 143-160, 1994 | 582 | 1994 |
| Using trust for secure collaboration in uncertain environments V Cahill, E Gray, JM Seigneur, CD Jensen, Y Chen, B Shand, N Dimmock, ... Pervasive Computing, IEEE 2 (3), 52-61, 2003 | 499 | 2003 |
| Bisimulation from open maps M Nielsen, A Joyal, G Winskel Information and Computation 127 (2), 164-185, 1996 | 492* | 1996 |
| Bisimulation and open maps A Joyal, M Nielson, G Winskel Logic in Computer Science, 1993. LICS'93., Proceedings of Eighth Annual IEEE …, 1993 | 488 | 1993 |
| A formal model for trust in dynamic networks M Carbone, M Nielsen, V Sassone First International Conference onSoftware Engineering and Formal Methods …, 2003 | 321 | 2003 |
| Elementary transition systems M Nielsen, G Rozenberg, PS Thiagarajan DAIMI Report Series, 1990 | 256 | 1990 |
| Handbook of Logic in Computer Science. Vol. 4: Semantic Modelling, chapter Models for Concurrency G Winskel, M Nielsen Oxford Science Publications, 1995 | 195* | 1995 |
| Models for concurrency: Towards a classification V Sassone, M Nielsen, G Winskel Theoretical Computer Science 170 (1-2), 297-348, 1996 | 166 | 1996 |
| A calculus of communicating systems with label passing U Engberg, M Nielsen Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986 | 151 | 1986 |
| Temporal concurrent constraint programming: Denotation, logic and applications M Nielsen, C Palamidessi, FD Valencia Nord. J. Comput. 9 (1), 145-188, 2002 | 141 | 2002 |
| A bayesian model for event-based trust M Nielsen, K Krukow, V Sassone Electronic Notes in Theoretical Computer Science 172, 499-521, 2007 | 95 | 2007 |
| Petri nets and bisimulation M Nielsen, G Winskel Theoretical Computer Science 153 (1-2), 211-244, 1996 | 95 | 1996 |
| Relationships between models of concurrency M Nielsen, V Sassone, G Winskel A Decade of Concurrency Reflections and Perspectives: REX School/Symposium …, 1994 | 88 | 1994 |
| A Simple Process Language with Refinement M Nielsen, U Engberg, K Larsen REX Workshop on Linear Time, Branching time and Partial Order in Logics and …, 1988 | 84* | 1988 |
| A classification of models for concurrency V Sassone, M Nielsen, G Winskel CONCUR'93, 82-96, 1993 | 83 | 1993 |
| Behavioural notions for elementary net systems M Nielsen, G Rozenberg, PS Thiagarajan Distributed Computing 4, 45-57, 1990 | 80 | 1990 |
| A logical framework for history-based access control and reputation systems K Krukow, M Nielsen, V Sassone Journal of Computer Security 16 (1), 63-101, 2008 | 79* | 2008 |
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
