Massimo Merro

Citado por

	Total	Desde 2020
Citas	2067	521
Índice h	26	13
Índice i10	51	16

140

105

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 18 25 21 62 82 117 128 95 82 67 63 63 61 59 65 57 80 74 60 91 107 87 119 88 93 120 14

Acceso público

Ver todo

18 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Ruggero LanotteUniversità dell'InsubriaDirección de correo verificada de uninsubria.it
Andrei MunteanuUniversity of VeronaDirección de correo verificada de univr.it
Uwe NestmannProfessor of Computer Science, TU BerlinDirección de correo verificada de tu-berlin.de
matthew hennessyProfessor of Computer ScienceDirección de correo verificada de cs.tcd.ie
simone tiniUniversità dell'InsubriaDirección de correo verificada de uninsubria.it
Davide SangiorgiProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Vladimiro SassoneUniversity of SouthamptonDirección de correo verificada de ecs.soton.ac.uk
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's CollegeDirección de correo verificada de kcl.ac.uk
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaDirección de correo verificada de unive.it
Francesco Zappa NardelliFacebookDirección de correo verificada de fb.com
Marco LuccheseUniversity of VeronaDirección de correo verificada de univr.it
Nicola ZannoneEindhoven University of TechnologyDirección de correo verificada de tue.nl
Hans HüttelAssociate Professor, Aalborg UniversityDirección de correo verificada de cs.aau.dk
Riccardo MuradoreDepartment of Computer Science, University of VeronaDirección de correo verificada de univr.it
Musard BalliuKTH Royal Institute of TechnologyDirección de correo verificada de kth.se
Andrea CeroneSoftware Engineer, Trili TechDirección de correo verificada de trili.tech
Paolo FioriniProfessor of Computer Science, University of VeronaDirección de correo verificada de univr.it
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonDirección de correo verificada de cs.washington.edu
Fabio MogaveroUniversità degli Studi di Napoli Federico IIDirección de correo verificada de fabiomogavero.com
Jens Chr. GodskesenIT University of CopenhagenDirección de correo verificada de itu.dk

Seguir

Massimo Merro

Professor of Computer Science, Verona University - Italy

Dirección de correo verificada de univr.it - Página principal

Concurrency Theory Formal Verification Cyber-Physical Systems Cyber-Physical System Security IoT


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	107	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
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	63	2020
Modeling consensus in a process calculus U Nestmann, R Fuzzati, M Merro International Conference on Concurrency Theory, 399-414, 2003	61	2003
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	55	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	37	2017

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores