Silvia Crafa
发表
Silvia Crafa,
Federica Russo,
Federica Russo,
2013,
ArXiv.
Silvia Crafa,
Ilaria Castellani,
2016,
Bull. EATCS.
James R. Larus,
Chris Hankin,
Claude Kirchner,
2018
.
Silvia Crafa,
Elena Zucca,
Matteo Di Pirro,
2019,
Financial Cryptography Workshops.
Silvia Crafa,
Matteo Di Pirro,
2019,
ArXiv.
Silvia Crafa,
2019
.
Silvia Crafa,
Sabina Rossi,
S. Rossi,
2005,
TGC.
Michele Bugliesi,
Silvia Crafa,
Dario Colazzo,
2004
.
Luca Padovani,
Silvia Crafa,
2016,
ArXiv.
Daniele Varacca,
Silvia Crafa,
Nobuko Yoshida,
2007,
CONCUR.
Silvia Crafa,
Carla Piazza,
Sabina Rossi,
2008,
2008 8th International Conference on Application of Concurrency to System Design.
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
Silvia Crafa,
Francesco Ranzato,
Francesco Ranzato,
2014,
ACM Trans. Comput. Log..
Silvia Crafa,
Johannes Borgstrom,
2014
.
Silvia Crafa,
2015,
ArXiv.
Silvia Crafa,
Paolo Baldan,
2014,
APLAS.
Silvia Crafa,
Luca Tronchin,
2015,
ArXiv.
Silvia Crafa,
Francesco Ranzato,
Francesco Tapparo,
2009,
ACSD.
Luca Padovani,
Silvia Crafa,
2015,
OOPSLA.
Michele Bugliesi,
Silvia Crafa,
Dario Colazzo,
2004,
CONCUR.
Silvia Crafa,
David Cunningham,
Olivier Tardieu,
2013,
ECOOP.
Silvia Crafa,
Francesco Ranzato,
Francesco Ranzato,
2011,
ICALP.
Silvia Crafa,
Francesco Ranzato,
Francesco Ranzato,
2012,
Formal Methods Syst. Des..
Luca Padovani,
Silvia Crafa,
2017,
ACM Trans. Program. Lang. Syst..
Daniele Varacca,
Silvia Crafa,
Daniele Varacca,
2018,
ICTCS.
Michele Bugliesi,
Silvia Crafa,
Vladimiro Sassone,
2004
.
Michele Bugliesi,
Silvia Crafa,
Viviana Bono,
2002,
TOCL.
Silvia Crafa,
Sabina Rossi,
S. Rossi,
2006,
FMSE '06.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
FOSAD.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2000,
CONCUR.
Silvia Crafa,
Paolo Baldan,
Paolo Baldan,
2010,
JACM.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2002,
F-WAN@ICALP.
Silvia Crafa,
Sabina Rossi,
Marino Miculan,
2008
.
Silvia Crafa,
2012,
ArXiv.
Silvia Crafa,
Sabina Rossi,
2007,
Inf. Comput..
Silvia Crafa,
Daniel E. Gebler,
2015
.
Michele Bugliesi,
Silvia Crafa,
Dario Colazzo,
2009,
Math. Struct. Comput. Sci..
Silvia Crafa,
Francesco Ranzato,
Francesco Tapparo,
2009,
2009 Ninth International Conference on Application of Concurrency to System Design.
Silvia Crafa,
Paolo Baldan,
2010,
CONCUR.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
TACS.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2004,
TOPL.
Daniele Varacca,
Silvia Crafa,
Nobuko Yoshida,
2012,
FoSSaCS.
Silvia Crafa,
Filippo Sestini,
Silvia Crafa,
2018,
J. Log. Comput..
Michele Bugliesi,
Silvia Crafa,
Vladimiro Sassone,
2002,
FSTTCS.
Michele Bugliesi,
Silvia Crafa,
1999
.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
ICTCS.
Silvia Crafa,
2015,
J. Log. Algebraic Methods Program..
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2002,
TOSCA.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
CONCUR.
Silvia Crafa,
Francesco Ranzato,
Francesco Ranzato,
2011,
CONCUR.
Michele Bugliesi,
Silvia Crafa,
Stefano Calzavara,
2015,
ESOP.
Michele Bugliesi,
Silvia Crafa,
Vladimiro Sassone,
2003,
ICALP.
Michele Bugliesi,
Silvia Crafa,
Vladimiro Sassone,
2005,
Inf. Comput..
Silvia Crafa,
2018
.
Silvia Crafa,
Fabio Marcuzzi,
Marco Virgulin,
2014
.
Silvia Crafa,
Silvia Crafa,
2021,
Journal of Economic Interaction and Coordination.
Cosimo Laneve,
Silvia Crafa,
Giovanni Sartor,
2021,
Sci. Comput. Program..
Silvia Crafa,
Sabina Rossi,
2005
.
Silvia Crafa,
Sabina Rossi,
S. Rossi,
2005
.