Maximally Parallel Probabilistic Semantics for Multiset Rewriting. - Roberto Barbuti; Francesca Levi; Paolo Milazzo; Guido Scatena (Fundam. Informaticae, 2011)

Probabilistic model checking of biological systems with uncertain kinetic rates. - Roberto Barbuti; Francesca Levi; Paolo Milazzo; Guido Scatena (Theor. Comput. Sci., 2012)

Preserving landmark legacy software with the Software Heritage Acquisition Process. - Roberto Di Cosmo; Carlo Montangero; Guido Scatena; Laura Bussi (iPRES, 2021)