Daniele Varacca
发表
R. Nicola,
G. Castagna,
Daniele Varacca,
2004
.
Daniele Varacca,
Daniele Varacca,
2003
.
Daniele Varacca,
2022
.
N. Yoshida,
Daniele Varacca,
Silvia Crafa,
2007
.
N. Yoshida,
Daniele Varacca,
2007
.
Daniele Varacca,
H. Völzer,
2022
.
Daniele Varacca,
Y. Oualhadj,
Léo Tible,
2022,
ArXiv.
Daniele Varacca,
Luca Fossati,
Daniele Varacca,
2009,
FoSSaCS.
Daniele Varacca,
Y. Oualhadj,
Léo Tible,
2022,
ArXiv.
Daniele Varacca,
Clément Aubert,
2022,
J. Log. Algebraic Methods Program..
Glynn Winskel,
Daniele Varacca,
Hagen Völzer,
2004,
Theor. Comput. Sci..
Daniele Varacca,
Y. Oualhadj,
Léo Tible,
2022,
ArXiv.
Daniele Varacca,
Hagen Völzer,
Daniele Varacca,
2012,
JACM.
Daniele Varacca,
Ekkart Kindler,
Hagen Völzer,
2005,
CONCUR.
Daniele Varacca,
Cl'ement Aubert,
Daniele Varacca,
2020,
Electronic Proceedings in Theoretical Computer Science.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2007,
QAPL.
Glynn Winskel,
Daniele Varacca,
Hagen Völzer,
2004,
Theor. Comput. Sci..
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2010,
Theor. Comput. Sci..
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2006
.
N. Yoshida,
Daniele Varacca,
2006,
MFPS.
Daniele Varacca,
Nobuko Yoshida,
N. Yoshida,
2022
.
Daniele Varacca,
Hagen Völzer,
Matthias Schmalz,
2007,
FSTTCS.
Daniele Varacca,
Jean Krivine,
Ioana Cristescu,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Daniele Varacca,
Eugene Asarin,
Raphaël Chane-Yack-Fa,
2010,
FoSSaCS.
Daniele Varacca,
Daniele Varacca,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Daniele Varacca,
Hagen Völzer,
Daniele Varacca,
2006,
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Daniele Varacca,
Daniele Gorla,
Ornela Dardha,
2016,
Comput. J..
Glynn Winskel,
Daniele Varacca,
G. Winskel,
2006,
Mathematical Structures in Computer Science.
Daniele Varacca,
Yuxi Fu,
Xiaoju Dong,
2018,
Formal Aspects of Computing.
Daniele Varacca,
Xiaoju Dong,
Yuxi Fu,
2016,
SETTA.
Daniele Varacca,
Silvia Crafa,
Nobuko Yoshida,
2007,
CONCUR.
Daniele Varacca,
Luca Fossati,
Daniele Varacca,
2009,
ICE@ICALP.
Daniele Varacca,
Silvia Crafa,
Daniele Varacca,
2018,
ICTCS.
Daniele Varacca,
Hagen Völzer,
Matthias Schmalz,
2009,
CONCUR.