Valeria Vignudelli
发表
Davide Sangiorgi,
Marco Bernardo,
Valeria Vignudelli,
2014,
QEST.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
ArXiv.
Davide Sangiorgi,
Marco Bernardo,
Valeria Vignudelli,
2014,
CSL-LICS.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Damien Pous,
Valeria Vignudelli,
2018,
LICS.
Catuscia Palamidessi,
Konstantinos Chatzikokolakis,
Valeria Vignudelli,
2016,
CONCUR.
Matteo Mio,
Valeria Vignudelli,
Ralph Sarkis,
2020,
ArXiv.
Valeria Vignudelli,
Valeria Vignudelli,
2017
.
Davide Sangiorgi,
Valeria Vignudelli,
2019,
ACM Trans. Program. Lang. Syst..
Ugo Dal Lago,
Davide Sangiorgi,
Simone Martini,
2015
.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2020,
CALCO.
Valeria Vignudelli,
2018,
FSCD.
Ugo Dal Lago,
Davide Sangiorgi,
Valeria Vignudelli,
2015,
Correct System Design.
Davide Sangiorgi,
Valeria Vignudelli,
D. Sangiorgi,
2016,
POPL.
Matteo Mio,
Valeria Vignudelli,
M. Mio,
2020,
CONCUR.
Matteo Mio,
Valeria Vignudelli,
Ralph Sarkis,
2020,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Matteo Mio,
Valeria Vignudelli,
Ralph Sarkis,
2022,
LICS.
Ana Sokolova,
Filippo Bonchi,
Valeria Vignudelli,
2018,
Log. Methods Comput. Sci..