Massimo Merro

Cited by

	All	Since 2019
Citations	2036	596
h-index	26	13
i10-index	51	19

140

105

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 18 25 21 62 82 117 128 95 82 67 63 63 61 59 65 57 80 73 61 91 107 87 119 88 93 101

Public access

View all

17 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ruggero LanotteUniversità dell'InsubriaVerified email at uninsubria.it
Andrei MunteanuUniversity of VeronaVerified email at univr.it
Uwe NestmannProfessor of Computer Science, TU BerlinVerified email at tu-berlin.de
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
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
Marco LuccheseUniversity of VeronaVerified email at univr.it
Nicola ZannoneEindhoven University of TechnologyVerified email at tue.nl
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Riccardo MuradoreDepartment of Computer Science, University of VeronaVerified email at univr.it
Musard BalliuKTH Royal Institute of TechnologyVerified email at kth.se
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
Fabio MogaveroUniversità degli Studi di Napoli Federico IIVerified email at fabiomogavero.com
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 Verification Cyber-Physical Systems Cyber-Physical System Security IoT


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An observational theory for mobile ad hoc networks (full version) M Merro Information and Computation 207 (2), 194-208, 2009	150	2009
Bisimulation congruences in safe ambients M Merro, M Hennessy Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of …, 2002	146	2002
On asynchrony in name-passing calculi M Merro, D Sangiorgi International Colloquium on Automata, Languages, and Programming, 856-867, 1998	134	1998
Behavioral theory for mobile ambients M Merro, FZ Nardelli Journal of the ACM (JACM) 52 (6), 961-1023, 2005	106	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 FST TCS 2002: Foundations of Software Technology and Theoretical Computer …, 2002	76	2002
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	65	2017
Modeling consensus in a process calculus U Nestmann, R Fuzzati, M Merro International Conference on Concurrency Theory, 399-414, 2003	61	2003
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	60	2020
Communication and mobility control in boxed ambients M Bugliesi, S Crafa, M Merro, V Sassone Information and Computation 202 (1), 39-86, 2005	56	2005
A semantic theory of the Internet of Things R Lanotte, M Merro Information and Computation 259, 72-101, 2018	50	2018
Typing and Subtyping Mobility in Boxed Ambients^* M Merro, V Sassone International Conference on Concurrency Theory, 304-320, 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	47	2004
A timed calculus for wireless systems M Merro, F Ballardin, E Sibilio Theoretical Computer Science 412 (47), 6585-6611, 2011	46	2011
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 Foundations of Software Science and Computation Structures: 6th …, 2003	45	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	44	2010
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	39	2009
A calculus of cyber-physical systems R Lanotte, M Merro Language and Automata Theory and Applications: 11th International Conference …, 2017	35	2017

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