Silvia Crafa
发表
N. Yoshida,
Daniele Varacca,
Silvia Crafa,
2007
.
S. Rossi,
Silvia Crafa,
2004
.
Francesco Ranzato,
Silvia Crafa,
2012,
Formal Methods in System Design.
Silvia Crafa,
Paolo Baldan,
Paolo Baldan,
2010,
JACM.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2002,
F-WAN@ICALP.
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
Silvia Crafa,
Francesco Ranzato,
Francesco Ranzato,
2014,
ACM Trans. Comput. Log..
Silvia Crafa,
Francesco Ranzato,
Francesco Ranzato,
2012,
Formal Methods Syst. Des..
Silvia Crafa,
Francesco Ranzato,
Francesco Ranzato,
2011,
CONCUR.
Silvia Crafa,
Francesco Ranzato,
Francesco Ranzato,
2011,
ICALP.
Michele Bugliesi,
Silvia Crafa,
Viviana Bono,
2002,
TOCL.
Silvia Crafa,
Federica Russo,
Federica Russo,
2013,
ArXiv.
C. Laneve,
Silvia Crafa,
2023,
FACS.
Cosimo Laneve,
Silvia Crafa,
Giovanni Sartor,
2021,
Sci. Comput. Program..
C. Laneve,
Silvia Crafa,
2022,
The Logic of Software. A Tasting Menu of Formal Methods.
P. Pinton,
S. Marchi,
G. Boniolo,
2021,
iScience.
Silvia Crafa,
Filippo Sestini,
Silvia Crafa,
2018,
J. Log. Comput..
Silvia Crafa,
David Cunningham,
Olivier Tardieu,
2013,
ECOOP.
V. Saraswat,
D. Cunningham,
O. Tardieu,
2014
.
Silvia Crafa,
Elena Zucca,
Matteo Di Pirro,
2019,
Financial Cryptography Workshops.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
FOSAD.
Michele Bugliesi,
Silvia Crafa,
Vladimiro Sassone,
2004
.
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.
Silvia Crafa,
Sabina Rossi,
S. Rossi,
2006,
FMSE '06.
Silvia Crafa,
Sabina Rossi,
S. Rossi,
2005,
TGC.
G. Castagna,
M. Bugliesi,
Silvia Crafa,
2002,
F-WAN@ICALP.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2002,
TOSCA.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
TACS.
Silvia Crafa,
Sabina Rossi,
Marino Miculan,
2008
.
Silvia Crafa,
Sabina Rossi,
S. Rossi,
2005
.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2004,
TOPL.
Michele Bugliesi,
Silvia Crafa,
Vladimiro Sassone,
2005,
Inf. Comput..
Michele Bugliesi,
Silvia Crafa,
Vladimiro Sassone,
2003,
ICALP.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2001,
ICTCS.
Michele Bugliesi,
Silvia Crafa,
Giuseppe Castagna,
2000,
CONCUR.
Silvia Crafa,
Silvia Crafa,
2021,
Journal of Economic Interaction and Coordination.
Daniele Varacca,
Silvia Crafa,
Daniele Varacca,
2018,
ICTCS.