Massimo Merro

Cited by

	All	Since 2018
Citations	1861	496
h-index	24	12
i10-index	44	15

140

105

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 22 20 22 67 81 111 127 100 87 67 56 58 72 65 60 56 83 67 75 96 104 80 121 83 10

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ruggero LanotteRicercatore in Informatica Università dell'InsubriaVerified email at uninsubria.it
Uwe NestmannProfessor of Computer Science, TU BerlinVerified email at tu-berlin.de
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Andrei MunteanuUniversity of VeronaVerified email at univr.it
simone tiniUniversità dell'InsubriaVerified email at uninsubria.it
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Vladimiro SassoneUniversity of SouthamptonVerified email at ecs.soton.ac.uk
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeVerified email at kcl.ac.uk
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerified email at unive.it
Francesco Zappa NardelliFacebookVerified email at fb.com
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Riccardo MuradoreDepartment of Computer Science, University of VeronaVerified email at univr.it
Andrea CeroneSoftware Engineer, Trili TechVerified email at trili.tech
Paolo FioriniProfessor of Computer Science, University of VeronaVerified email at univr.it
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Jens Chr. GodskesenIT University of CopenhagenVerified email at itu.dk

Massimo Merro

Professor of Computer Science, Verona University - Italy

Verified email at univr.it - Homepage

Concurrency Theory Formal Methods Cyber-Physical Systems Cyber-Physical Systems Security IoT Security


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Bisimulation congruences in safe ambients M Merro, M Hennessy Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	148	2002
On asynchrony in name-passing calculi M Merro, D Sangiorgi Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998	137	1998
Behavioral theory for mobile ambients M Merro, FZ Nardelli Journal of the ACM (JACM) 52 (6), 961-1023, 2005	104	2005
An observational theory for mobile ad hoc networks (full version) M Merro Information and Computation 207 (2), 194-208, 2009	97	2009
A timed calculus for wireless systems M Merro, F Ballardin, E Sibilio Theoretical Computer Science 412 (47), 6585-6611, 2011	84	2011
On asynchrony in name-passing calculi M Merro, D Sangiorgi Mathematical Structures in Computer Science 14 (5), 715-767, 2004	81	2004
Communication interference in mobile boxed ambients M Bugliesi, S Crafa, M Merro, V Sassone FST TCS 2002: Foundations of Software Technology and Theoretical Computer …, 2002	78	2002
Modeling consensus in a process calculus U Nestmann, R Fuzzati, M Merro CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003	59	2003
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	57	2017
A semantic theory of the Internet of Things R Lanotte, M Merro Information and Computation 259, 72-101, 2018	56	2018
Communication and mobility control in boxed ambients M Bugliesi, S Crafa, M Merro, V Sassone Information and Computation 202 (1), 39-86, 2005	55	2005
Typing and Subtyping Mobility in Boxed Ambients^* M Merro, V Sassone CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002	50	2002
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	48	2004
An observational theory for mobile ad hoc networks M Merro Electronic Notes in Theoretical Computer Science 173, 275-293, 2007	46	2007
Bisimulation proof methods for mobile ambients M Merro, FZ Nardelli ICALP 3, 584-598, 2003	44	2003
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	43	2010
Towards a behavioural theory of access and mobility control in distributed systems M Hennessy, M Merro, J Rathke Lecture Notes in Computer Science, 282-298, 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 formal approach to physics-based attacks in cyber-physical systems R Lanotte, M Merro, A Munteanu, L Vigano ACM Transactions on Privacy and Security (TOPS) 23 (1), 1-41, 2020	35	2020
A bisimulation-based semantic theory of safe ambients M Merro, M Hennessy ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (2), 290-330, 2006	33	2006

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors