Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Massimo Merro
2010 – today
- 2013
[c19]Andrea Cerone, Matthew Hennessy, Massimo Merro: Modelling MAC-Layer Communications in Wireless Systems. COORDINATION 2013: 16-30- 2012
- [c18]Damiano Macedonio, Massimo Merro: A Semantic Analysis of Wireless Network Security Protocols. NASA Formal Methods 2012: 403-417
- 2011
- [j17]Massimo Merro, Francesco Ballardin, Eleonora Sibilio: A timed calculus for wireless systems. Theor. Comput. Sci. 412(47): 6585-6611 (2011)
- [j16]Massimo Merro, Francesco Ballardin, Eleonora Sibilio: A timed calculus for wireless systems. Theor. Comput. Sci. 412(47): 6585-6611 (2011)
- [c17]Ruggero Lanotte, Massimo Merro: Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. CONCUR 2011: 156-170
- [i1]Francesco Ballardin, Damiano Macedonio, Massimo Merro, Mattia Tirapelle: A Semantic Analysis of Key Management Protocols for Wireless Sensor Networks. CoRR abs/1109.5088 (2011)
- 2010
- [j15]
- [c16]Francesco Ballardin, Massimo Merro: A Calculus for the Analysis of Wireless Network Security Protocols. Formal Aspects in Security and Trust 2010: 206-222
- [c15]Davide Benetti, Massimo Merro, Luca Viganò: Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA. SEFM 2010: 191-202
2000 – 2009
- 2009
- [j14]
- [j13]Massimo Merro: An Observational Theory for Mobile Ad Hoc Networks (full version). Inf. Comput. 207(2): 194-208 (2009)
- [c14]
- [c13]Massimo Merro, Eleonora Sibilio: A Calculus of Trustworthy Ad Hoc Networks. Formal Aspects in Security and Trust 2009: 157-172
- 2007
- [j12]Rachele Fuzzati, Massimo Merro, Uwe Nestmann: Distributed Consensus, revisited. Acta Inf. 44(6): 377-425 (2007)
- [j11]Massimo Merro: An Observational Theory for Mobile Ad Hoc Networks. Electr. Notes Theor. Comput. Sci. 173: 275-293 (2007)
- 2006
- [j10]Massimo Merro, Corrado Biasi: On the Observational Theory of the CPS-calculus: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 158: 307-330 (2006)
- [j9]Massimo Merro, Matthew Hennessy: A bisimulation-based semantic theory of Safe Ambients. ACM Trans. Program. Lang. Syst. 28(2): 290-330 (2006)
- 2005
- [j8]Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication and mobility control in boxed ambients. Inf. Comput. 202(1): 39-86 (2005)
- [j7]Massimo Merro, Francesco Zappa Nardelli: Behavioral theory for mobile ambients. J. ACM 52(6): 961-1023 (2005)
- 2004
- [j6]Massimo Merro, Davide Sangiorgi: On asynchrony in name-passing calculi. Mathematical Structures in Computer Science 14(5): 715-767 (2004)
- [j5]Matthew Hennessy, Massimo Merro, Julian Rathke: Towards a behavioural theory of access and mobility control in distributed systems. Theor. Comput. Sci. 322(3): 615-669 (2004)
- [c12]Massimo Merro, Francesco Zappa Nardelli: Behavioural Theory for Mobile Ambients. IFIP TCS 2004: 549-562
- 2003
- [c11]Uwe Nestmann, Rachele Fuzzati, Massimo Merro: Modeling Consensus in a Process Calculus. CONCUR 2003: 393-407
- [c10]Matthew Hennessy, Massimo Merro, Julian Rathke: Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems. FoSSaCS 2003: 282-298
- [c9]Massimo Merro, Francesco Zappa Nardelli: Bisimulation Proof Methods for Mobile Ambients. ICALP 2003: 584-598
- 2002
- [j4]Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro: Aliasing Models for Mobile Objects. Inf. Comput. 175(1): 3-33 (2002)
- [j3]Massimo Merro, Josva Kleist, Uwe Nestmann: Mobile Objects as Mobile Processes. Inf. Comput. 177(2): 195-241 (2002)
- [c8]Massimo Merro, Vladimiro Sassone: Typing and Subtyping Mobility in Boxed Ambients. CONCUR 2002: 304-320
- [c7]Michele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication Interference in Mobile Boxed Ambients. FSTTCS 2002: 71-84
- [c6]
- 2000
- [c5]
- [c4]Massimo Merro, Josva Kleist, Uwe Nestmann: Local pi-Calculus at Work: Mobile Objects as Mobile Processes. IFIP TCS 2000: 390-408
1990 – 1999
- 1999
- [j2]Massimo Merro: On Equators in Asynchronous Name-passing Calculi without Matching. Electr. Notes Theor. Comput. Sci. 27: 57-70 (1999)
- [c3]Uwe Nestmann, Hans Hüttel, Josva Kleist, Massimo Merro: Aliasing Models for Object Migration. Euro-Par 1999: 1353-1368
- 1998
- [j1]Massimo Merro: On the Expressiveness of Chi, Update, and Fusion calculi. Electr. Notes Theor. Comput. Sci. 16(2): 133-144 (1998)
- [c2]
- 1996
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-23 22:16 CEST by the dblp team