| An observational theory for mobile ad hoc networks (full version) M Merro Information and Computation 207 (2), 194-208, 2009 | 152 | 2009 |
| Bisimulation congruences in safe ambients M Merro, M Hennessy Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002 | 147 | 2002 |
| On asynchrony in name-passing calculi M Merro, D Sangiorgi International Colloquium on Automata, Languages, and Programming, 856-867, 1998 | 142 | 1998 |
| Behavioral theory for mobile ambients M Merro, FZ Nardelli Journal of the ACM (JACM) 52 (6), 961-1023, 2005 | 114 | 2005 |
| On asynchrony in name-passing calculi M Merro, D Sangiorgi Mathematical Structures in Computer Science 14 (5), 715-767, 2004 | 89 | 2004 |
| Communication interference in mobile boxed ambients M Bugliesi, S Crafa, M Merro, V Sassone International Conference on Foundations of Software Technology and …, 2002 | 75 | 2002 |
| A formal approach to physics-based attacks in cyber-physical systems R Lanotte, M Merro, A Munteanu, L Viganò ACM Transactions on Privacy and Security (TOPS) 23 (1), 1-41, 2020 | 71 | 2020 |
| A formal approach to cyber-physical attacks R Lanotte, M Merro, R Muradore, L Viganò 2017 IEEE 30th Computer Security Foundations Symposium (CSF), 436-450, 2017 | 68 | 2017 |
| A semantic theory of the Internet of Things R Lanotte, M Merro Information and Computation 259, 72-101, 2018 | 63 | 2018 |
| Modeling consensus in a process calculus U Nestmann, R Fuzzati, M Merro International Conference on Concurrency Theory, 399-414, 2003 | 62 | 2003 |
| Communication and mobility control in boxed ambients M Bugliesi, S Crafa, M Merro, V Sassone Information and Computation 202 (1), 39-86, 2005 | 59 | 2005 |
| Typing and Subtyping Mobility in Boxed Ambients* M Merro, V Sassone International Conference on Concurrency Theory, 304-320, 2002 | 50 | 2002 |
| A timed calculus for wireless systems M Merro, F Ballardin, E Sibilio Theoretical Computer Science 412 (47), 6585-6611, 2011 | 48 | 2011 |
| Model checking ad hoc network routing protocols: ARAN vs. endairA D Benetti, M Merro, L Vigano 2010 8th IEEE International Conference on Software Engineering and Formal …, 2010 | 46 | 2010 |
| Bisimulation proof methods for mobile ambients M Merro, FZ Nardelli International Colloquium on Automata, Languages, and Programming, 584-598, 2003 | 45 | 2003 |
| Towards a behavioural theory of access and mobility control in distributed systems M Hennessy, M Merro, J Rathke Theoretical Computer Science 322 (3), 615-669, 2004 | 44 | 2004 |
| Towards a behavioural theory of access and mobility control in distributed systems M Hennessy, M Merro, J Rathke International Conference on Foundations of Software Science and Computation …, 2003 | 43 | 2003 |
| A semantic analysis of key management protocols for wireless sensor networks D Macedonio, M Merro Science of Computer Programming 81, 53-78, 2014 | 41 | 2014 |
| A timed calculus for wireless systems M Merro, E Sibilio International Conference on Fundamentals of Software Engineering, 228-243, 2009 | 41 | 2009 |
| A calculus of cyber-physical systems R Lanotte, M Merro International Conference on Language and Automata Theory and Applications …, 2017 | 38 | 2017 |
Ruggero LanotteUniversità dell'InsubriaVerified email at uninsubria.it
