Ivano Salvo
发表
A. Piperno,
A. Bucciarelli,
Ivano Salvo,
2003,
Intensive Care Medicine.
Mariangiola Dezani-Ciancaglini,
Elio Giovannetti,
Mario Coppo,
2003,
Electron. Notes Theor. Comput. Sci..
Ivano Salvo,
D. Gorla,
Dario Fiorenza,
2022,
Information Processing Letters.
Ivano Salvo,
D. Gorla,
Dario Fiorenza,
2022,
SSRN Electronic Journal.
Ivano Salvo,
D. Gorla,
Pietro Cenciarelli,
2016,
Algorithmica.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2018,
RCRA@FLoC.
Enrico Tronci,
Lorenzo Alvisi,
Federico Mari,
2008,
2008 Formal Methods in Computer-Aided Design.
Viviana Bono,
Ivano Salvo,
V. Bono,
2001,
BOTH.
Ivano Salvo,
Agnese Pacifico,
Ivano Salvo,
2018,
ArXiv.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2011,
TSEM.
Ivano Salvo,
D. Gorla,
Pietro Cenciarelli,
2018,
Acta Informatica.
Daniele Gorla,
Pietro Cenciarelli,
Ivano Salvo,
2018,
Inf. Process. Lett..
Daniele Gorla,
Pietro Cenciarelli,
Ivano Salvo,
2016,
ArXiv.
Daniele Gorla,
Pietro Cenciarelli,
Ivano Salvo,
2018,
ICTCS.
Antonio Bucciarelli,
Adolfo Piperno,
Ivano Salvo,
2003,
Mathematical Structures in Computer Science.
Antonio Bucciarelli,
Adolfo Piperno,
Ivano Salvo,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Daniele Gorla,
Ivano Salvo,
Ivano Salvo,
2021,
J. Log. Algebraic Methods Program..
Daniele Gorla,
Adolfo Piperno,
Ivano Salvo,
2019,
EXPRESS/SOS.
Paolo Baldan,
Ivano Salvo,
D. Gorla,
2022,
Inf. Comput..
Enrico Tronci,
Federico Mari,
Igor Melatti,
2017,
IEEE Transactions on Automatic Control.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2017,
Inf. Process. Lett..
Toni Mancini,
Enrico Tronci,
Federico Mari,
2018,
ISMIS.
Toni Mancini,
Enrico Tronci,
Milan Prodanovic,
2018,
2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm).
Toni Mancini,
Enrico Tronci,
Milan Prodanovic,
2015,
2015 Euromicro Conference on Digital System Design.
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2015,
IWBBIO.
Toni Mancini,
Enrico Tronci,
Milan Prodanovic,
2014,
2014 IEEE International Conference on Smart Grid Communications (SmartGridComm).
Toni Mancini,
Annalisa Massini,
Enrico Tronci,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Antonio Bucciarelli,
Ivano Salvo,
A. Bucciarelli,
1998,
ICALP.
Mariangiola Dezani-Ciancaglini,
Ivano Salvo,
M. Dezani-Ciancaglini,
2000,
ASIAN.
Enrico Tronci,
Federico Mari,
Igor Melatti,
2012,
SPIN.
A. Piperno,
A. Bucciarelli,
Ivano Salvo,
2003,
Mathematical Structures in Computer Science.