Claudio Antares Mezzina
发表
Robert Glück,
Ivan Lanese,
Jarkko Kari,
2020,
Selected Results of the COST Action IC1405.
Ivan Lanese,
Claudio Antares Mezzina,
Elena Giachino,
2015,
2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.
Ivan Lanese,
Claudio Antares Mezzina,
Michael Lienhardt,
2013,
ESOP.
Nobuko Yoshida,
Claudio Antares Mezzina,
Doriana Medic,
2020,
Inf. Comput..
Claudio Antares Mezzina,
Vasileios Koutavas,
Vasileios Koutavas,
2016,
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE).
Claudio Antares Mezzina,
Irek Ulidowski,
Hernán Melgratti,
2020,
RC.
Claudio Antares Mezzina,
2012
.
Claudio Antares Mezzina,
2012
.
Nobuko Yoshida,
Claudio Antares Mezzina,
Iain Phillips,
2020,
RC.
Emilio Tuosto,
Claudio Antares Mezzina,
Adrian Francalanza,
2020,
Selected Results of the COST Action IC1405.
Ivan Lanese,
Claudio Antares Mezzina,
Jean-Bernard Stefani,
2012,
RC.
Claudio Antares Mezzina,
Hugo Torres Vieira,
Yehia Abd Alrahman,
2019,
Models, Languages, and Tools for Concurrent and Distributed Programming.
Claudio Antares Mezzina,
Jorge A. Pérez,
2017,
PPDP.
Emilio Tuosto,
Claudio Antares Mezzina,
Adrian Francalanza,
2017,
PrePost@iFM.
Antonio Bucchiarone,
Marco Pistore,
Claudio Antares Mezzina,
2014,
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems.
Nobuko Yoshida,
Claudio Antares Mezzina,
Doriana Medic,
2018,
EXPRESS/SOS.
Rocco De Nicola,
Claudio Antares Mezzina,
Vitaly Buravlev,
2016,
COORDINATION.
Claudio Antares Mezzina,
Irek Ulidowski,
Hernán C. Melgratti,
2019,
COORDINATION.
Claudio Antares Mezzina,
Jorge A. Pérez,
2016,
ICTCS.
Claudio Antares Mezzina,
Doriana Medic,
2016,
RC.
Claudio Antares Mezzina,
Irek Ulidowski,
Hern'an Melgratti,
2020,
Log. Methods Comput. Sci..
Rocco De Nicola,
Claudio Antares Mezzina,
Alberto Lluch-Lafuente,
2018,
2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).
Robert Glück,
Ivan Lanese,
Ulrik Pagh Schultz,
2020,
Selected Results of the COST Action IC1405.
Claudio Antares Mezzina,
2018,
RC.
Claudio Antares Mezzina,
Michael Lienhardt,
Alan Schmitt,
2009,
FMOODS/FORTE.
Valerio Schiavoni,
Claudio Antares Mezzina,
Vitaly Buravlev,
2017,
DAIS.
Ivan Lanese,
Claudio Antares Mezzina,
Alan Schmitt,
2011,
CONCUR.
Rocco De Nicola,
Claudio Antares Mezzina,
Hugo Torres Vieira,
2015,
Programming Languages with Applications to Biology and Security.
Claudio Antares Mezzina,
Jorge A. Pérez,
2016,
PLACES.
Emilio Tuosto,
Claudio Antares Mezzina,
Adrian Francalanza,
2018,
DAIS.
Ivan Lanese,
Claudio Antares Mezzina,
Elena Giachino,
2017,
J. Log. Algebraic Methods Program..
Rocco De Nicola,
Claudio Antares Mezzina,
Vitaly Buravlev,
2018,
Concurr. Comput. Pract. Exp..
Antonio Bucchiarone,
Marco Pistore,
Claudio Antares Mezzina,
2013,
VaMoS '13.
Ivan Lanese,
Claudio Antares Mezzina,
Jean-Bernard Stefani,
2016,
Theor. Comput. Sci..
Claudio Antares Mezzina,
2018,
SIGL.
Claudio Antares Mezzina,
Jorge A. P'erez,
2017
.
Emilio Tuosto,
Claudio Antares Mezzina,
2017,
ArXiv.
Antonio Bucchiarone,
Claudio Antares Mezzina,
Heorhi Raik,
2014,
2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops.
Claudio Antares Mezzina,
G. Michele Pinna,
Irek Ulidowski,
2019,
ArXiv.
Antonio Bucchiarone,
Annapaola Marconi,
Marco Pistore,
2013,
SAC '13.
Claudio Antares Mezzina,
Jorge A. Pérez,
2017,
ArXiv.
Antonio Bucchiarone,
Annapaola Marconi,
Marco Pistore,
2013,
ICSOC.
Ivan Lanese,
Claudio Antares Mezzina,
Francesco Tiezzi,
2014,
Bull. EATCS.
Claudio Antares Mezzina,
Jorge Andres Perez Parra,
2016
.
Antonio Bucchiarone,
Dimka Karastoyanova,
Claudio Antares Mezzina,
2013,
ICSOC Workshops.
Ivan Lanese,
Claudio Antares Mezzina,
Elena Giachino,
2014,
FASE.
Ivan Lanese,
Claudio Antares Mezzina,
Jean-Bernard Stefani,
2010,
CONCUR.
Ivan Lanese,
Claudio Antares Mezzina,
Doriana Medić,
2019,
Acta Informatica.
Ivan Lanese,
Claudio Antares Mezzina,
Michael Lienhardt,
2012,
FMOODS/FORTE.
Claudio Antares Mezzina,
Jorge A. Pérez,
2017,
J. Log. Algebraic Methods Program..
Claudio Antares Mezzina,
Doriana Medic,
2017,
ICTCS/CILC.
Claudio Antares Mezzina,
G. Michele Pinna,
Hernán C. Melgratti,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Claudio Antares Mezzina,
Jorge A. P'erez,
2021,
Logical Methods in Computer Science.
Claudio Antares Mezzina,
G. Michele Pinna,
Hernán C. Melgratti,
2021,
RC.
Claudio Antares Mezzina,
I. Lanese,
2014
.
Claudio Antares Mezzina,
M. Bernardo,
C. A. Mezzina,
2020,
FORTE.
Claudio Antares Mezzina,
M. Bernardo,
C. A. Mezzina,
2022,
ArXiv.
Claudio Antares Mezzina,
Jaroslaw Adam Miszczak,
Michael Kirkedal Thomsen,
2017
.
Claudio Antares Mezzina,
Jaroslaw Adam Miszczak,
I. Ulidowski,
2018
.