Pubblicazioni

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers

2022 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Cerone, Antonio; Autili, Marco; Bucaioni, Alessio; Gomes, Cláudio; Graziani, Pierluigi; Palmieri, Maurizio; Temperini, Marco; Venture, Gentiane

Preface

2022 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Venturi, D.; Ateniese, G.

Preface - ACNS 2022

2022 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Venturi, D.; Ateniese, G.

Algorithms – ESA 2015: 23rd annual european symposium Patras, Greece, september 14–16, 2015 proceedings

2015 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Bansal, Nikhil; Finocchi, Irene

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma