M. Bravetti
发表
F. S. Boer,
M. Steffen,
G. Zavattaro,
2012
.
M. Bravetti,
R. Gorrieri,
M. Bernardo,
2011
.
J. Mauro,
G. Zavattaro,
I. Lanese,
2022
.
Jorge A. Pérez,
G. Zavattaro,
M. Bravetti,
2010
.
Mario Bravetti,
Fabrizio Montesi,
Manuel Mazzara,
2013,
SAC 2013.
Gloria Bordogna,
M. Bravetti,
A. Bucchiarone,
2014
.
M. Bravetti,
2004
.
M. Bravetti,
1999
.
M. Bravetti,
R. Gorrieri,
M. Bernardo,
1998
.
G. Zavattaro,
M. Bravetti,
2009,
Mathematical Structures in Computer Science.
M. Bravetti,
R. Gorrieri,
2008
.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
2004,
Electron. Notes Theor. Comput. Sci..
M. Bravetti,
R. Gorrieri,
2008
.
M. Bravetti,
2007
.
S. Gilmore,
M. Bravetti,
M. Tribastone,
2007
.
Mario Bravetti,
Luca Aceto,
Wan Fokkink,
2007
.
Jos C. M. Baeten,
Mario Bravetti,
M. Bravetti,
2008,
Mathematical Structures in Computer Science.
Mario Bravetti,
Gianluigi Zavattaro,
Jacopo Mauro,
2021,
COORDINATION.
Mario Bravetti,
Jacopo Mauro,
Saverio Giallorenzo,
2020,
Microservices, Science and Engineering.
Mario Bravetti,
Gianluigi Zavattaro,
Jacopo Mauro,
2019,
FASE.
Davide Ancona,
Viviana Mascardi,
Luca Padovani,
2016,
Found. Trends Program. Lang..
Ivan Lanese,
Cosimo Laneve,
Mario Bravetti,
2015
.
Mario Bravetti,
Roberto Gorrieri,
Marco Bernardo,
2011
.
Mario Bravetti,
M. Bravetti,
2004,
SFM.
Mario Bravetti,
Pedro R. D'Argenio,
M. Bravetti,
2004,
Validation of Stochastic Systems.
Mario Bravetti,
Alessandro Aldini,
M. Bravetti,
2003,
Theor. Comput. Sci..
Mario Bravetti,
Marco Bernardo,
M. Bravetti,
2003,
Theor. Comput. Sci..
Mario Bravetti,
M. Bravetti,
2002,
MTCS.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
2002,
Theor. Comput. Sci..
Mario Bravetti,
Alessandro Aldini,
M. Bravetti,
2002,
MTCS.
Mario Bravetti,
Alessandro Aldini,
M. Bravetti,
2000,
ICALP Satellite Workshops.
Mario Bravetti,
Marco Bernardo,
M. Bravetti,
2000,
MTCS.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
1999
.
Mario Bravetti,
Roberto Gorrieri,
Marco Bernardo,
1998,
CONCUR.
Mario Bravetti,
Roberto Gorrieri,
Alessandro Aldini,
2011
.
Mario Bravetti,
Chris Hankin,
Roberto Gorrieri,
2001,
FOSAD.
Mario Bravetti,
M. Bravetti,
2015,
J. Log. Algebraic Methods Program..
Mario Bravetti,
Gianluigi Zavattaro,
Jorge A. Pérez,
2011,
Log. Methods Comput. Sci..
Mario Bravetti,
Gianluigi Zavattaro,
Jorge A. Pérez,
2011,
FMOODS/FORTE.
Mario Bravetti,
Gianluigi Zavattaro,
G. Zavattaro,
2009,
Mathematical Structures in Computer Science.
Mario Bravetti,
Gianluigi Zavattaro,
G. Zavattaro,
2007,
SC@ETAPS.
Ivan Lanese,
Mario Bravetti,
Volker Stolz,
2014,
ISoLA.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
2002,
TOCL.
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
1999
.
Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
1999,
EXPRESS.
Mario Bravetti,
Robert M. Hierons,
Mercedes G. Merayo,
2013,
Lecture Notes in Computer Science.
M. Bravetti,
2020,
Log. Methods Comput. Sci..
Mario Bravetti,
Roberto Gorrieri,
M. Bravetti,
2000,
ICALP.
M. Bravetti,
2020,
Log. Methods Comput. Sci..
Mario Bravetti,
Gianluigi Zavattaro,
G. Zavattaro,
2009,
SFM.
Ivan Lanese,
Mario Bravetti,
Gianluigi Zavattaro,
2009,
TGC.
Mario Bravetti,
Gianluigi Zavattaro,
G. Zavattaro,
2008,
Fundam. Informaticae.
Jos C. M. Baeten,
Mario Bravetti,
M. Bravetti,
2005,
CONCUR.
M. Bravetti,
2003,
MTCS.
Mario Bravetti,
Alessandro Aldini,
M. Bravetti,
2001,
PAPM-PROBMIV.
M. Bravetti,
2009
.
M. Bravetti,
R. Gorrieri,
M. Bernardo,
2007
.
Stephen Gilmore,
Mario Bravetti,
Mirco Tribastone,
2007,
TGC.
Mario Bravetti,
Gianluigi Zavattaro,
Marco Carbone,
2016,
Inf. Comput..
M. Bravetti,
2008
.
A. Ravara,
M. Bravetti,
M. Giunti,
2022,
Sci. Comput. Program..
M. Bravetti,
R. Gorrieri,
A. Aldini,
2004,
J. Comput. Secur..
Mario Bravetti,
Roberto Gorrieri,
Roberto Lucchi,
2003,
SecCo.
Mario Bravetti,
Davide Sangiorgi,
Michael Lienhardt,
2012,
ISoLA.
Ivan Lanese,
Mario Bravetti,
Davide Sangiorgi,
2010,
FMCO.
Mario Bravetti,
Marco Bernardo,
M. Bravetti,
2011
.
Mario Bravetti,
Gianluigi Zavattaro,
G. Zavattaro,
2009,
Mathematical Structures in Computer Science.
Mario Bravetti,
Gianluigi Zavattaro,
G. Zavattaro,
2007,
COORDINATION.
Mario Bravetti,
Roberto Gorrieri,
Gianluigi Zavattaro,
2004,
SAC '04.
Mario Bravetti,
Gianluigi Zavattaro,
G. Zavattaro,
2007,
J. Log. Algebraic Methods Program..
Ivan Lanese,
Mario Bravetti,
Gianluigi Zavattaro,
2013,
SEFM Workshops.
Mario Bravetti,
Manuel Núñez,
Ismael Rodríguez,
2007,
Journal of universal computer science (Online).
Mario Bravetti,
Luca Aceto,
Wan Fokkink,
2008,
J. Log. Algebraic Methods Program..
Roberto Della Penna,
G. Zavattaro,
M. Bravetti,
2022,
IEEE Internet of Things Magazine.
Kim G. Larsen,
Axel Legay,
K. Larsen,
2014,
ISoLA.
Ivan Lanese,
Mario Bravetti,
Volker Stolz,
2014,
Lecture Notes in Computer Science.