Massimo Merro

发表

Josva Kleist, Uwe Nestmann, Hans Hüttel, 1999 .
Uwe Nestmann, Massimo Merro, Rachele Fuzzati, 2003, CONCUR.
Francesco Zappa Nardelli, Massimo Merro, 2004, IFIP TCS.
Ruggero Lanotte, Massimo Merro, Massimo Merro, 2011, CONCUR.
Josva Kleist, Uwe Nestmann, Massimo Merro, 2000, IFIP TCS.
Massimo Merro, Jens Chr. Godskesen, 2009, Electron. Notes Theor. Comput. Sci..
Luca Viganò, Ruggero Lanotte, Massimo Merro, 2019, ACM Trans. Priv. Secur..
Massimo Merro, Francesco Ballardin, 2010, Formal Aspects in Security and Trust.
Massimo Merro, Damiano Macedonio, Luca Battisti, 2013, FSEN.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, 2018, FORTE.
Josva Kleist, Uwe Nestmann, Hans Hüttel, 1998 .
Michael D. Ernst, Fausto Spoto, Massimo Merro, 2015, NFM.
Vladimiro Sassone, Massimo Merro, 2002, CONCUR.
Massimo Merro, Damiano Macedonio, Massimo Merro, 2011, Sci. Comput. Program..
Massimo Merro, Eleonora Sibilio, 2009, Formal Aspects Comput..
Ruggero Lanotte, Massimo Merro, Valentina Castiglioni, 2015, Inf. Comput..
Julian Rathke, Matthew Hennessy, Massimo Merro, 2004, Theor. Comput. Sci..
Josva Kleist, Uwe Nestmann, Hans Hüttel, 1999, Euro-Par.
Michele Pasqua, Massimo Merro, Musard Balliu, 2020 .
Luca Viganò, Massimo Merro, Davide Benetti, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Matthew Hennessy, Massimo Merro, M. Hennessy, 2006, TOPL.
Matthew Hennessy, Massimo Merro, Andrea Cerone, 2013, COORDINATION.
Riccardo Muradore, Paolo Fiorini, Massimo Merro, 2018, 2018 IEEE Industrial Cyber-Physical Systems (ICPS).
Massimo Merro, Massimo Merro, 2009, Inf. Comput..
Ruggero Lanotte, Massimo Merro, Fabio Mogavero, 2019, HSCC '19.
Julian Rathke, Matthew Hennessy, Massimo Merro, 2003, Theor. Comput. Sci..
Massimo Merro, Massimo Merro, 2007, MFPS.
Simone Tini, Ruggero Lanotte, Massimo Merro, 2017, Log. Methods Comput. Sci..
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).
Uwe Nestmann, Massimo Merro, Rachele Fuzzati, 2007, Acta Informatica.
Massimo Merro, Eleonora Sibilio, 2009, FSEN.
Simone Tini, Ruggero Lanotte, Massimo Merro, 2017, MFCS.
Michele Pasqua, Massimo Merro, Musard Balliu, 2019, 2019 IEEE 32nd Computer Security Foundations Symposium (CSF).
Massimo Merro, Damiano Macedonio, Alice Dal Corso, 2015, NFM.
Josva Kleist, Uwe Nestmann, Massimo Merro, 2002, Inf. Comput..
Massimo Merro, Damiano Macedonio, 2012, NASA Formal Methods.
Matthew Hennessy, Massimo Merro, Andrea Cerone, 2013, Log. Methods Comput. Sci..
Ruggero Lanotte, Massimo Merro, 2017, LATA.
Josva Kleist, Uwe Nestmann, Hans Hüttel, 1999 .
Ruggero Lanotte, Massimo Merro, Massimo Merro, 2016, COORDINATION.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, 2020, ICTCS.
Massimo Merro, Mojgan Kamali, Alice Dal Corso, 2018, SOFSEM.
Davide Sangiorgi, Massimo Merro, 1998, ICALP.
Simone Tini, Ruggero Lanotte, Massimo Merro, 2017, Inf. Comput..
Riccardo Muradore, Luca Viganò, Ruggero Lanotte, 2016, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Michele Bugliesi, Silvia Crafa, Vladimiro Sassone, 2002, FSTTCS.
Massimo Merro, Francesco Ballardin, Eleonora Sibilio, 2011, Theor. Comput. Sci..
Josva Kleist, Uwe Nestmann, Hans Hüttel, 1999, Inf. Comput..
Michele Pasqua, Massimo Merro, Andrei Munteanu, 2020, FormaliSE@ICSE.
Andrea Maggiolo-Schettini, Massimo Merro, A. Maggiolo-Schettini, 1996, LOMAPS.
Francesco Zappa Nardelli, Massimo Merro, Massimo Merro, 2003, ICALP.
Ruggero Lanotte, Massimo Merro, 2016, COORDINATION 2016.
Davide Sangiorgi, Massimo Merro, D. Sangiorgi, 1998, Mathematical Structures in Computer Science.
Massimo Merro, Eleonora Sibilio, Massimo Merro, 2009, Formal Aspects of Computing.
Michele Bugliesi, Silvia Crafa, Vladimiro Sassone, 2005, Inf. Comput..
Matthew Hennessy, Massimo Merro, M. Hennessy, 2002, POPL '02.
Simone Tini, Ruggero Lanotte, Massimo Merro, 2017, FORTE.
Massimo Merro, 2009, Acta Informatica.
Francesco Zappa Nardelli, Massimo Merro, Massimo Merro, 2005, JACM.
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, 2021, Theor. Comput. Sci..
Michele Pasqua, Massimo Merro, Musard Balliu, 2021, ACM Trans. Priv. Secur..
Simone Tini, Ruggero Lanotte, Massimo Merro, 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF).
Ruggero Lanotte, Massimo Merro, Andrei Munteanu, 2021, ArXiv.
Riccardo Muradore, Ruggero Lanotte, Massimo Merro, 2017 .
Matthew Hennessy, Massimo Merro, Andrea Cerone, 2013, Log. Methods Comput. Sci..
Josva Kleist, Uwe Nestmann, Massimo Merro, 2002 .