Viviana Bono
发表
Viviana Bono,
2013
.
Viviana Bono,
Elena Giachino,
Ferruccio Damiani,
2008,
IFIP TCS.
Elena Zucca,
Mariangiola Dezani-Ciancaglini,
Viviana Bono,
2020,
ESOP.
Viviana Bono,
Lorenzo Bettini,
Betti Venneri,
2002,
TOSCA.
Viviana Bono,
Mariangiola Dezani-Ciancaglini,
M. Dezani-Ciancaglini,
2020,
LICS.
Mariangiola Dezani-Ciancaglini,
Viviana Bono,
Betti Venneri,
2017,
J. Log. Algebraic Methods Program..
Ilaria Castellani,
Mariangiola Dezani-Ciancaglini,
Viviana Bono,
2011,
TGC.
Viviana Bono,
Jaroslaw D. M. Kusmierek,
Mauro Mulatero,
2012,
ECOOP.
Emilio Tuosto,
Rocco De Nicola,
Gian Luigi Ferrari,
2003,
Global Computing.
Giorgio Gambosi,
Danilo Croce,
Fabio Massimo Zanzotto,
2020,
ArXiv.
Viviana Bono,
2003,
Global Computing.
Viviana Bono,
Lorenzo Bettini,
Betti Venneri,
2008,
TOOLS.
Silvia Likavec,
Viviana Bono,
Lorenzo Bettini,
2004
.
Silvia Likavec,
Viviana Bono,
Lorenzo Bettini,
2004,
OOPSLA '04.
Michele Bugliesi,
Luigi Liquori,
Mariangiola Dezani-Ciancaglini,
1997,
TAPSOFT.
Viviana Bono,
Jaroslaw D. M. Kusmierek,
2007,
J. Object Technol..
Viviana Bono,
Ina Schaefer,
Lorenzo Bettini,
2010,
SPLC.
Viviana Bono,
Lorenzo Bettini,
Lorenzo Bettini,
2008,
PPPJ '08.
Michele Bugliesi,
Viviana Bono,
2003,
Electron. Notes Theor. Comput. Sci..
Silvia Likavec,
Viviana Bono,
Lorenzo Bettini,
2005,
ICTCS.
Viviana Bono,
V. Bono,
1999
.
Jerzy Tiuryn,
Viviana Bono,
2002,
Fundam. Informaticae.
Michele Bugliesi,
Luigi Liquori,
Mariangiola Dezani-Ciancaglini,
1999,
Fundam. Informaticae.
Luca Padovani,
Viviana Bono,
Chiara Messa,
2011,
ESOP.
Luca Padovani,
Viviana Bono,
2012,
Log. Methods Comput. Sci..
Michele Bugliesi,
Silvia Crafa,
Viviana Bono,
2002,
TOCL.
Viviana Bono,
Enrico Mensa,
Marco Naddeo,
2014,
PPPJ '14.
Viviana Bono,
2014
.
Davide Ancona,
Viviana Mascardi,
Luca Padovani,
2016,
Found. Trends Program. Lang..
Viviana Bono,
Andrea Tosatto,
2012
.
Viviana Bono,
Lorenzo Bettini,
Betti Venneri,
2011,
Sci. Comput. Program..
Viviana Bono,
Elena Giachino,
Ferruccio Damiani,
2007
.
Viviana Bono,
Lorenzo Bettini,
Betti Venneri,
2004,
IFIP TCS.
Viviana Bono,
Lorenzo Bettini,
Betti Venneri,
2002,
COORDINATION.
Viviana Bono,
V. Bono,
2009
.
Silvia Likavec,
Viviana Bono,
Lorenzo Bettini,
2003,
TYPES.
Michele Bugliesi,
Viviana Bono,
S. Drossopoulou,
2005
.
Viviana Bono,
Jaroslaw D. M. Kusmierek,
2007,
FCT.
Viviana Bono,
Jaroslaw D. M. Kusmierek,
2007,
J. Object Technol..
Viviana Bono,
Lorenzo Bettini,
Betti Venneri,
2008,
Theor. Comput. Sci..
Michele Bugliesi,
Viviana Bono,
S. Drossopoulou,
2005
.
Viviana Bono,
Ivano Salvo,
V. Bono,
2001,
BOTH.
Michele Bugliesi,
Viviana Bono,
V. Bono,
1999,
FCT.
Silvia Likavec,
Viviana Bono,
Lorenzo Bettini,
2005,
J. Object Technol..
Luca Padovani,
Viviana Bono,
V. Bono,
2011,
ICE.
Michele Bugliesi,
Viviana Bono,
V. Bono,
1997,
TLCA.
Viviana Bono,
2019,
Fundam. Informaticae.
Viviana Bono,
Aleksy Schubert,
Marcin Benke,
2014,
ITRS.
Michele Bugliesi,
Sophia Drossopoulou,
Viviana Bono,
2005,
Electron. Notes Theor. Comput. Sci..
Viviana Bono,
Lorenzo Bettini,
Betti Venneri,
2004,
COORDINATION.
Silvia Likavec,
Viviana Bono,
Lorenzo Bettini,
2003,
SAC '04.
Jerzy Tiuryn,
Pawel Urzyczyn,
Viviana Bono,
2003,
TYPES.
Viviana Bono,
Jaroslaw D. M. Kusmierek,
2010,
Fundam. Informaticae.
Viviana Bono,
Lorenzo Bettini,
Erica Turin,
2009,
SC@TOOLS.
Vitaly Shmatikov,
Viviana Bono,
Amit Patel,
1999,
ECOOP.
Paola Giannini,
Viviana Bono,
Ferruccio Damiani,
2002,
Electron. Notes Theor. Comput. Sci..
Viviana Bono,
Aleksy Schubert,
Marcin Benke,
2012,
ArXiv.
Michele Bugliesi,
Viviana Bono,
V. Bono,
1999,
Theor. Comput. Sci..
Viviana Bono,
Kathleen Fisher,
V. Bono,
1998,
ECOOP.
Vitaly Shmatikov,
John C. Mitchell,
Viviana Bono,
1999,
MFPS.
Michele Bugliesi,
Luigi Liquori,
Viviana Bono,
1996,
MFCS.
Viviana Bono,
Lorenzo Bettini,
Marco Naddeo,
2008,
PPPJ '08.
Luca Padovani,
Viviana Bono,
Andrea Tosatto,
2013,
FMOODS/FORTE.
Silvia Likavec,
Viviana Bono,
Lorenzo Bettini,
2005,
SAC '05.
Viviana Bono,
Lorenzo Bettini,
Betti Venneri,
2018,
Log. Methods Comput. Sci..
Viviana Bono,
2009
.
Viviana Bono,
Lorenzo Bettini,
Betti Venneri,
2005,
Acta Informatica.
Luigi Liquori,
Viviana Bono,
1994,
CSL.
Viviana Bono,
2011
.
Viviana Bono,
Mi hele Bugliesi,
1997
.