L. Nenzi
发表
Ezio Bartocci,
Luca Bortolussi,
Laura Nenzi,
2013,
CMSB.
L. Bortolussi,
L. Nenzi,
Simone Silvetti,
2019
.
L. Nenzi,
2011
.
Gabriel A. Moreno,
Hausi A. Müller,
Danny Weyns,
2019
.
Marco Gribaudo,
Rocco De Nicola,
Lenz Belzner,
2015
.
L. Nenzi,
G. Kastner,
A. Cadonna,
2021,
2110.01360.
L. Nenzi,
2008
.
Laura Nenzi,
Sara Mohammadinejad,
Jyotirmy V. Deshmukh,
2021,
ATVA.
Vincenzo Ciancia,
Mieke Massink,
Luca Bortolussi,
2017,
Log. Methods Comput. Sci..
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2017,
MEMOCODE.
L. Nenzi,
Shinno Toshikazu,
2002
.
Carlo Ghezzi,
Marin Litoiu,
Danny Weyns,
2019,
2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2020,
RV.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2013,
HSB.
Richard F. Calichman,
Mark E. Caprio,
L. Nenzi,
2012
.
Luca Bortolussi,
Laura Nenzi,
L. Bortolussi,
2014,
VALUETOOLS.
Vincenzo Ciancia,
Mieke Massink,
Luca Bortolussi,
2015,
RV.
L. Nenzi,
2004
.
Ezio Bartocci,
Guido Sanguinetti,
Luca Bortolussi,
2015,
Theor. Comput. Sci..
Luca Bortolussi,
Laura Nenzi,
Jan Kvret'insk'y,
2022,
TACAS.
Luca Bortolussi,
Laura Nenzi,
Giuseppe Maria Gallo,
2020,
OVERLAY.
L. Nenzi,
D. Galli,
A. Gasperini,
2009,
Proceedings of the International Astronomical Union.
L. Nenzi,
Eric Medvet,
F. Pigozzi,
2021,
Applied Sciences.
Lu Feng,
Josephine Lamp,
Laura Nenzi,
2019,
CMSB.
L. Bortolussi,
E. Bartocci,
L. Nenzi,
2021,
Log. Methods Comput. Sci..
Gregor Kastner,
Laura Nenzi,
Ennio Visconti,
2021
.
Luca Bortolussi,
Laura Nenzi,
Roberta Lanciani,
2017,
Inf. Comput..
Carlo Ghezzi,
Schahram Dustdar,
Martin Garriga,
2019,
2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
Ezio Bartocci,
Luca Bortolussi,
Michele Loreti,
2020,
International Journal on Software Tools for Technology Transfer.
Ezio Bartocci,
Luca Bortolussi,
Laura Nenzi,
2018,
ATVA.
L. Nenzi,
G. Kastner,
A. Cadonna,
2021,
2110.01360.