Daniele Varacca
发表
Daniele Varacca,
2020
.
Daniele Varacca,
Youssouf Oualhadj,
Léo Tible,
2018,
ArXiv.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2010,
Theor. Comput. Sci..
Daniele Varacca,
2006,
Bull. EATCS.
Daniele Varacca,
Jean Krivine,
Ioana Cristescu,
2016,
RC.
Daniele Varacca,
Daniele Varacca,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Daniele Varacca,
Jean Krivine,
Ioana Cristescu,
2015,
ICTAC.
Daniele Varacca,
2020
.
Daniele Varacca,
Silvia Crafa,
Nobuko Yoshida,
2007,
CONCUR.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2006
.
Glynn Winskel,
Daniele Varacca,
G. Winskel,
2006,
Mathematical Structures in Computer Science.
Daniele Varacca,
Hagen Völzer,
Matthias Schmalz,
2009
.
Daniele Varacca,
Mariangiola Dezani-Ciancaglini,
Giuseppe Castagna,
2006
.
Daniele Varacca,
Jean Goubault-Larrecq,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Daniele Varacca,
2020
.
Daniele Varacca,
Giuseppe Castagna,
Mariangiola Dezani-Ciancaglini,
2006,
CONCUR.
Daniele Varacca,
Silvia Crafa,
Daniele Varacca,
2018,
ICTCS.
Daniele Varacca,
Daniele Gorla,
Ornela Dardha,
2016,
Comput. J..
Daniele Varacca,
Xiaoju Dong,
Yuxi Fu,
2018,
Formal Aspects of Computing.
Glynn Winskel,
Daniele Varacca,
Hagen Völzer,
2006,
Theor. Comput. Sci..
Daniele Varacca,
Hagen Völzer,
Daniele Varacca,
2012,
JACM.
Daniele Varacca,
Rocco De Nicola,
Giuseppe Castagna,
2005,
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Daniele Varacca,
Hagen Völzer,
Matthias Schmalz,
2007,
FSTTCS.
Glynn Winskel,
Daniele Varacca,
Hagen Völzer,
2004,
Theor. Comput. Sci..
Daniele Varacca,
Hagen Völzer,
Matthias Schmalz,
2011
.
Daniele Varacca,
Ekkart Kindler,
Hagen Völzer,
2005,
CONCUR.
Daniele Varacca,
Hagen Völzer,
Daniele Varacca,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Daniele Varacca,
Alain Frisch,
Haruo Hosoya,
2005
.
Daniele Varacca,
Eugene Asarin,
Raphaël Chane-Yack-Fa,
2010,
FoSSaCS.
Daniele Varacca,
Cl'ement Aubert,
2020,
ArXiv.
Daniele Varacca,
Luca Fossati,
Daniele Varacca,
2009,
FoSSaCS.
Daniele Varacca,
Silvia Crafa,
Nobuko Yoshida,
2012,
FoSSaCS.
Daniele Varacca,
Daniele Gorla,
Ornela Dardha,
2013,
FMOODS/FORTE.
Glynn Winskel,
Daniele Varacca,
Hagen Völzer,
2004,
Theor. Comput. Sci..
Daniele Varacca,
Rocco De Nicola,
Giuseppe Castagna,
2008,
Theor. Comput. Sci..
Daniele Varacca,
Jean Krivine,
Ioana Cristescu,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Daniele Varacca,
Luca Fossati,
Daniele Varacca,
2009,
ICE@ICALP.
Daniele Varacca,
Hagen Völzer,
Matthias Schmalz,
2009,
CONCUR.
Daniele Varacca,
Xiaoju Dong,
Yuxi Fu,
2016,
SETTA.
Daniele Varacca,
Zena M. Ariola,
Luke Maurer,
2014,
PPDP '14.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2007,
QAPL.
Daniele Varacca,
Ugo Dal Lago,
Damiano Mazza,
2012,
ArXiv.
Daniele Varacca,
Mariangiola Dezani-Ciancaglini,
Jovanka Pantovic,
2008,
Theor. Comput. Sci..
Daniele Varacca,
Cl'ement Aubert,
Daniele Varacca,
2020,
Electronic Proceedings in Theoretical Computer Science.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2022
.
Daniele Varacca,
2002
.
Daniele Varacca,
Daniele Varacca,
2003
.