Nicoletta De Francesco
发表
Gigliola Vaglini,
Nicoletta De Francesco,
G. Vaglini,
2005,
Distributed and Parallel Databases.
Antonella Santone,
Nicoletta De Francesco,
2002,
Microprocess. Microsystems.
Nicoletta De Francesco,
Cinzia Bernardeschi,
2002,
VMCAI.
Diego Latella,
Gigliola Vaglini,
Nicoletta De Francesco,
1985,
ICSE '85.
Nicoletta De Francesco,
Luca Martini,
L. Martini,
2005,
Formal Aspects in Security and Trust.
Ugo Montanari,
Nicoletta De Francesco,
Daniel Yankelevich,
1993,
Sci. Comput. Program..
Nicoletta De Francesco,
Giuseppe Lettieri,
Cinzia Bernardeschi,
2003,
Fundam. Informaticae.
Antonella Santone,
Gigliola Vaglini,
Nicoletta De Francesco,
1998,
Sci. Comput. Program..
Nicoletta De Francesco,
Giuseppe Lettieri,
Cinzia Bernardeschi,
2002,
Proceedings 26th Annual International Computer Software and Applications.
Gigliola Vaglini,
Nicoletta De Francesco,
Fabrizio Baiardi,
1983,
ACM SIGPLAN Notices.
Antonella Santone,
Nicoletta De Francesco,
Luca Tesei,
2003,
Fundam. Informaticae.
Roberto Barbuti,
Paolo Mancarella,
Antonella Santone,
1998,
Sci. Comput. Program..
Nicoletta De Francesco,
Luca Martini,
Cinzia Bernardeschi,
2003,
OTM Workshops.
Nicoletta De Francesco,
Giuseppe Lettieri,
Cinzia Bernardeschi,
2002,
Microprocess. Microsystems.
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
1999,
Inf. Process. Lett..
Antonella Santone,
Nicoletta De Francesco,
A. Santone,
2002,
Int. J. Found. Comput. Sci..
Nicoletta De Francesco,
Giuseppe Lettieri,
Luca Martini,
2008,
TOPL.
Antonella Santone,
Nicoletta De Francesco,
A. Santone,
1996,
PLILP.
Roberto Barbuti,
Antonella Santone,
Nicoletta De Francesco,
1995,
ICLP.
Ugo Montanari,
Nicoletta De Francesco,
Gioia Ristori,
1992
.
Roberto Barbuti,
Nicoletta De Francesco,
Cinzia Bernardeschi,
2002,
SAC '02.
Gigliola Vaglini,
Nicoletta De Francesco,
Mario G. C. A. Cimino,
2018,
J. Comput. Sci..
Antonella Santone,
Gigliola Vaglini,
Nicoletta De Francesco,
2020,
Comput. Secur..
Roberto Barbuti,
Nicoletta De Francesco,
Cinzia Bernardeschi,
2004,
Comput. J..
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
1999,
Softw. Pract. Exp..
Luigi V. Mancini,
Gigliola Vaglini,
Nicoletta De Francesco,
1992,
POS.
Antonella Santone,
Gigliola Vaglini,
Nicoletta De Francesco,
2014,
Software & Systems Modeling.
Paola Inverardi,
Nicoletta De Francesco,
Stefania Gnesi,
1995,
TACAS.
Nicoletta De Francesco,
Giuseppe Lettieri,
Luca Martini,
2012,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Antonella Santone,
Nicoletta De Francesco,
A. Santone,
1998,
Acta Informatica.
Antonella Santone,
Gigliola Vaglini,
Nicoletta De Francesco,
2013
.
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
1997,
FORTE.
Paola Inverardi,
Nicoletta De Francesco,
P. Inverardi,
1994,
Acta Informatica.
Roberto Barbuti,
Antonella Santone,
Nicoletta De Francesco,
1997,
Acta Informatica.
Gigliola Vaglini,
Nicoletta De Francesco,
Giuseppe Lettieri,
2010,
Inf. Process. Lett..
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
2000,
Formal Methods Syst. Des..
Antonella Santone,
Nicoletta De Francesco,
A. Santone,
2002,
Softw. Test. Verification Reliab..
Nicoletta De Francesco,
Giuseppe Lettieri,
Luca Martini,
2010,
AMCA-POP.
Gigliola Vaglini,
Nicoletta De Francesco,
Cinzia Bernardeschi,
1998
.
Gigliola Vaglini,
Nicoletta De Francesco,
Cinzia Bernardeschi,
2001,
Inf. Softw. Technol..
Roberto Barbuti,
Antonella Santone,
Nicoletta De Francesco,
2002,
Fundam. Informaticae.
Gigliola Vaglini,
Nicoletta De Francesco,
Cinzia Bernardeschi,
1995
.
Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking
Antonella Santone,
Nicoletta De Francesco,
2002
.
Antonella Santone,
Gigliola Vaglini,
Nicoletta De Francesco,
2007,
Inf. Sci..
Nicoletta De Francesco,
Giuseppe Lettieri,
N. D. Francesco,
2003,
Softw. Test. Verification Reliab..
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
2005,
Formal Methods Syst. Des..
Paolo Ciancarini,
Nicoletta De Francesco,
Andrea Corradini,
1991,
J. Syst. Softw..
Roberto Barbuti,
Nicoletta De Francesco,
Luca Tesei,
2001,
Fundam. Informaticae.
Nicoletta De Francesco,
Luca Martini,
N. D. Francesco,
2007,
Inf. Comput..
Ugo Montanari,
Nicoletta De Francesco,
Gioia Ristori,
1994,
PROCOMET.
Roberto Barbuti,
Nicoletta De Francesco,
Luca Tesei,
2010,
Comput. J..
Nicoletta De Francesco,
Luca Martini,
N. D. Francesco,
2007,
International Journal of Information Security.
Antonella Santone,
Gigliola Vaglini,
Nicoletta De Francesco,
1996,
LOMAPS.
Nicoletta De Francesco,
Marco Avvenuti,
Cinzia Bernardeschi,
2012,
J. Syst. Softw..
Mieke Massink,
Nicoletta De Francesco,
2001,
Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems.
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
1999,
World Congress on Formal Methods.
Alberto Bartoli,
Antonella Santone,
Nicoletta De Francesco,
2001,
Comput. J..
Gigliola Vaglini,
Nicoletta De Francesco,
Cinzia Bernardeschi,
1995,
Acta Informatica.
Nicoletta De Francesco,
Giuseppe Lettieri,
Luca Martini,
2004,
Softw. Pract. Exp..
Roberto Barbuti,
Nicoletta De Francesco,
Luca Tesei,
2002,
SEKE '02.
Paola Inverardi,
Nicoletta De Francesco,
1991,
CAV.
Antonella Santone,
Nicoletta De Francesco,
1995
.
Diego Latella,
Andrea Bondavalli,
Gigliola Vaglini,
1989,
MFDBS.
Paola Inverardi,
Nicoletta De Francesco,
Stefania Gnesi,
2001,
Comput. J..
Nicoletta De Francesco,
Marinella Petrocchi,
2003,
SAC '03.
Nicoletta De Francesco,
Giuseppe Lettieri,
Luca Martini,
2010,
Theor. Comput. Sci..
Roberto Barbuti,
Nicoletta De Francesco,
Cinzia Bernardeschi,
2002,
Inf. Process. Lett..
Antonella Santone,
Gigliola Vaglini,
Nicoletta De Francesco,
2014,
TSEM.
Gigliola Vaglini,
Nicoletta De Francesco,
Mario G. C. A. Cimino,
2018,
Intell. Decis. Technol..
Roberto Barbuti,
Antonella Santone,
Gigliola Vaglini,
1999,
J. Comput. Syst. Sci..
Gigliola Vaglini,
Nicoletta De Francesco,
Fabrizio Baiardi,
1986,
IEEE Trans. Software Eng..