The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes

by Marco Bernardo, Rocco De Nicola, Michele Loreti
Published 2013-06-01

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi

by Marco Bernardo, Rocco De Nicola, Michele Loreti
Published 2011-08-01

Toward Formal Models and Languages for Verifiable Multi-Robot Systems

by Rocco De Nicola, Luca Di Stefano, Omar Inverso
Published 2018-09-01

Correction to: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy

by Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco
Published 2021-07-01

Flow of online misinformation during the peak of the COVID-19 pandemic in Italy

by Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco
Published 2021-07-01

Domain-specific queries and Web search personalization: some investigations

by Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola
Published 2015-08-01

Framework, Tools and Good Practices for Cybersecurity Curricula

by Jan Hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta, Rocco De Nicola
Published 2021-01-01

CARMA: Collective Adaptive Resource-sharing Markovian Agents

by Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
Published 2015-09-01