N. Francesco
发表
Paolo Ciancarini,
Nicoletta De Francesco,
Andrea Corradini,
1991,
J. Syst. Softw..
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
2005,
Formal Methods Syst. Des..
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
1999,
Inf. Process. Lett..
Ugo Montanari,
Nicoletta De Francesco,
Daniel Yankelevich,
1993,
Sci. Comput. Program..
G. Vaglini,
N. D. Francesco,
M. Vanneschi,
1980
.
Nicoletta De Francesco,
Luca Martini,
N. D. Francesco,
2007,
Inf. Comput..
Nicoletta De Francesco,
Giuseppe Lettieri,
Luca Martini,
2004,
Softw. Pract. Exp..
Nicoletta De Francesco,
Giuseppe Lettieri,
Cinzia Bernardeschi,
2003,
Fundam. Informaticae.
Nicoletta De Francesco,
Giuseppe Lettieri,
N. D. Francesco,
2003,
Softw. Test. Verification Reliab..
Roberto Barbuti,
Antonella Santone,
Nicoletta De Francesco,
2002,
Fundam. Informaticae.
Gigliola Vaglini,
Nicoletta De Francesco,
Cinzia Bernardeschi,
1995,
Acta Informatica.
Ugo Montanari,
Nicoletta De Francesco,
Gioia Ristori,
1992
.
Gigliola Vaglini,
Nicoletta De Francesco,
G. Vaglini,
2005,
Distributed and Parallel Databases.
G. Vaglini,
A. Santone,
N. D. Francesco,
2016,
Software & Systems Modeling.
G. Vaglini,
A. Santone,
N. D. Francesco,
2014,
ACM Trans. Softw. Eng. Methodol..
Antonella Santone,
Nicoletta De Francesco,
A. Santone,
2002,
Int. J. Found. Comput. Sci..
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
1999,
Softw. Pract. Exp..
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
1999,
World Congress on Formal Methods.
Antonella Santone,
Gigliola Vaglini,
Nicoletta De Francesco,
1998,
Sci. Comput. Program..
Antonella Santone,
Nicoletta De Francesco,
A. Santone,
1996,
PLILP.
Antonella Santone,
Gigliola Vaglini,
Nicoletta De Francesco,
1996,
LOMAPS.
Paola Inverardi,
Nicoletta De Francesco,
Stefania Gnesi,
1995,
TACAS.
G. Vaglini,
A. Santone,
N. D. Francesco,
2013
.
Gigliola Vaglini,
Nicoletta De Francesco,
Cinzia Bernardeschi,
2001,
Inf. Softw. Technol..
Roberto Barbuti,
Nicoletta De Francesco,
Luca Tesei,
2001,
Fundam. Informaticae.
Diego Latella,
Gigliola Vaglini,
Nicoletta De Francesco,
1985,
ICSE '85.
F. Baiardi,
G. Vaglini,
N. Francesco,
1986,
IEEE Transactions on Software Engineering.
Gigliola Vaglini,
F. Baiardi,
E. Matteoli,
1983,
SIGSOFT '83.
Antonella Santone,
Nicoletta De Francesco,
A. Santone,
1998,
Acta Informatica.
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
2000,
Formal Methods Syst. Des..
Roberto Barbuti,
Nicoletta De Francesco,
Luca Tesei,
2010,
Comput. J..
Nicoletta De Francesco,
Giuseppe Lettieri,
Luca Martini,
2010,
Theor. Comput. Sci..
Nicoletta De Francesco,
Giuseppe Lettieri,
Luca Martini,
2008,
TOPL.
Nicoletta De Francesco,
Luca Martini,
N. D. Francesco,
2007,
International Journal of Information Security.
Nicoletta De Francesco,
Luca Martini,
L. Martini,
2005,
Formal Aspects in Security and Trust.
Nicoletta De Francesco,
Luca Martini,
Cinzia Bernardeschi,
2003,
OTM Workshops.
Gigliola Vaglini,
Nicoletta De Francesco,
Mario G. C. A. Cimino,
2018,
J. Comput. Sci..