| A formal model for trust in dynamic networks M Carbone, M Nielsen, V Sassone First International Conference onSoftware Engineering and Formal Methods …, 2003 | 294 | 2003 |
| From evidence‐based practice to practice‐based evidence: the idea of situated generalisation H Simons, S Kushner, K Jones, D James Research Papers in Education 18 (4), 347-364, 2003 | 166 | 2003 |
| Models for concurrency: Towards a classification V Sassone, M Nielsen, G Winskel Theoretical Computer Science 170 (1-2), 297-348, 1996 | 144 | 1996 |
| The language of belonging UH Meinhof, D Galasiński The Language of Belonging, 13-49, 2005 | 143 | 2005 |
| Relationships between models of concurrency M Nielsen, V Sassone, G Winskel Workshop/School/Symposium of the REX Project (Research and Education in …, 1993 | 125 | 1993 |
| Intragroup social influence and intergroup competition. T Wildschut, CA Insko, L Gaertner Journal of Personality and Social Psychology 82 (6), 975, 2002 | 121 | 2002 |
| Reactive systems over cospans V Sassone, P Sobocinski 20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 311-320, 2005 | 100 | 2005 |
| Dynamic congruence vs. progressing bisimulation for CCS U Montanari, V Sassone Fundamenta informaticae 16 (2), 171-199, 1992 | 87 | 1992 |
| A bayesian model for event-based trust M Nielsen, K Krukow, V Sassone Electronic Notes in Theoretical Computer Science 172, 499-521, 2007 | 86 | 2007 |
| Higher dimensional transition systems GL Cattani, V Sassone Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 55-62, 1996 | 85 | 1996 |
| Blockchain-based database to ensure data integrity in cloud computing environments E Gaetani, L Aniello, R Baldoni, F Lombardi, A Margheri, V Sassone | 76 | 2017 |
| A classification of models for concurrency V Sassone, M Nielsen, G Winskel International Conference on Concurrency Theory, 82-96, 1993 | 74 | 1993 |
| Process versus unfolding semantics for place/transition Petri nets J Meseguer, U Montanari, V Sassone Theoretical Computer Science 153 (1-2), 171-210, 1996 | 72 | 1996 |
| Communication interference in mobile boxed ambients M Bugliesi, S Crafa, M Merro, V Sassone International Conference on Foundations of Software Technology and …, 2002 | 71 | 2002 |
| Godskesen, Thomas Hildebrandt, and Vladimiro Sassone. A calculus of mobile resources J Chr Proceedings of the 13th International Conference on Concurrency Theory, 272-287, 2002 | 70* | 2002 |
| On the semantics of place/transition Petri nets J Meseguer, U Montanari, V Sassone Mathematical Structures in Computer Science 7 (4), 359-397, 1997 | 65 | 1997 |
| Deriving bisimulation congruences using 2-categories V Sassone, P Sobocinski Nordic Journal of Computing 10, 163-183, 2003 | 64 | 2003 |
| Spatial logics for bigraphs G Conforti, D Macedonio, V Sassone International Colloquium on Automata, Languages, and Programming, 766-778, 2005 | 59 | 2005 |
| High-level Petri nets as type theories in the Join calculus MG Buscemi, V Sassone International Conference on Foundations of Software Science and Computation …, 2001 | 59 | 2001 |
| Rethinking the concept of progression in the National Curriculum for Modern Foreign Languages: a research perspective R Mitchell Language Learning Journal 27 (1), 15-23, 2003 | 58 | 2003 |
