Massimo Merro 个人学术档案

引用次数

	总计	2019 年至今
引用	1999	562
h 指数	25	12
i10 指数	48	16

140

105

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 18 25 21 62 82 117 128 95 82 67 63 63 61 59 65 56 80 74 60 91 107 87 119 87 91 71

开放获取的出版物数量

查看全部

15 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Ruggero LanotteUniversità dell'Insubria在 uninsubria.it 的电子邮件经过验证
Andrei MunteanuUniversity of Verona在 univr.it 的电子邮件经过验证
Uwe NestmannProfessor of Computer Science, TU Berlin在 tu-berlin.de 的电子邮件经过验证
matthew hennessyProfessor of Computer Science在 cs.tcd.ie 的电子邮件经过验证
simone tiniUniversità dell'Insubria在 uninsubria.it 的电子邮件经过验证
Davide SangiorgiProfessor of Computer Science, University of Bologna在 cs.unibo.it 的电子邮件经过验证
Vladimiro SassoneUniversity of Southampton在 ecs.soton.ac.uk 的电子邮件经过验证
Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College在 kcl.ac.uk 的电子邮件经过验证
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari Venezia在 unive.it 的电子邮件经过验证
Francesco Zappa NardelliFacebook在 fb.com 的电子邮件经过验证
Hans HüttelAssociate Professor, Aalborg University在 cs.aau.dk 的电子邮件经过验证
Marco LuccheseUniversity of Verona在 univr.it 的电子邮件经过验证
Nicola ZannoneEindhoven University of Technology在 tue.nl 的电子邮件经过验证
Riccardo MuradoreDepartment of Computer Science, University of Verona在 univr.it 的电子邮件经过验证
Musard BalliuKTH Royal Institute of Technology在 kth.se 的电子邮件经过验证
Andrea CeroneSoftware Engineer, Trili Tech在 trili.tech 的电子邮件经过验证
Paolo FioriniProfessor of Computer Science, University of Verona在 univr.it 的电子邮件经过验证
Michael D. ErnstProfessor of Computer Science & Engineering, University of Washington在 cs.washington.edu 的电子邮件经过验证
Fabio MogaveroUniversità degli Studi di Napoli Federico II在 fabiomogavero.com 的电子邮件经过验证
Jens Chr. GodskesenIT University of Copenhagen在 itu.dk 的电子邮件经过验证

关注

Massimo Merro

Professor of Computer Science, Verona University - Italy

在 univr.it 的电子邮件经过验证 - 首页

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
An observational theory for mobile ad hoc networks (full version) M Merro Information and Computation 207 (2), 194-208, 2009	148	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	87	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	63	2017
Modeling consensus in a process calculus U Nestmann, R Fuzzati, M Merro International Conference on Concurrency Theory, 399-414, 2003	60	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 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	55	2020
A semantic theory of the Internet of Things R Lanotte, M Merro Information and Computation 259, 72-101, 2018	51	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	43	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

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用