Author Search Results :: UTM Library Massive Scholar Tracking

1

Multiparty testing preorders by Rocco de Nicola, Hernán Melgratti

Published 2023-01-01

Get full text

Article
2

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi by Marco Bernardo, Rocco De Nicola, Michele Loreti

Published 2011-08-01

Get full text

Article
3

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes by Marco Bernardo, Rocco De Nicola, Michele Loreti

Published 2014-03-01

Get full text

Article
4

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes by Marco Bernardo, Rocco De Nicola, Michele Loreti

Published 2013-06-01

Get full text

Article
5

Toward Formal Models and Languages for Verifiable Multi-Robot Systems by Rocco De Nicola, Luca Di Stefano, Omar Inverso

Published 2018-09-01

Get full text

Article
6

Online disinformation in the 2020 U.S. election: swing vs. safe states by Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola

Published 2024-03-01

Get full text

Article
7

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

Get full text

Article
8

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

Get full text

Article
9

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

Get full text

Article
10

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

Get full text

Article