×

zbMATH — the first resource for mathematics

Loreti, Michele

Compute Distance To:
Author ID: loreti.michele Recent zbMATH articles by "Loreti, Michele"
Published as: Loreti, Michele; Loreti, M.
External Links: ORCID
Documents Indexed: 39 Publications since 2000, including 3 Books

Publications by Year

Citations contained in zbMATH Open

27 Publications have been cited 102 times in 72 Documents Cited by Year
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
A uniform definition of stochastic process calculi. Zbl 1288.68184
Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke
9
2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Zbl 1358.68210
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
8
2013
Rate-based transition systems for stochastic process calculi. Zbl 1248.68350
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
6
2009
Hyperformulae, parallel deductions and intersection types. Zbl 1261.03072
Capitani, Beatrice; Loreti, Michele; Venneri, Betti
6
2001
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1326.68197
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2012
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2014
On the power of attribute-based communication. Zbl 1347.68022
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
4
2016
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
4
2015
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
3
2018
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1325.68159
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
3
2014
A modal logic for mobile agents. Zbl 1367.68064
De Nicola, Rocco; Loreti, Michele
3
2004
MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2009
MoMo: A modal logic for reasoning about mobility. Zbl 1143.68364
De Nicola, Rocco; Loreti, Michele
2
2005
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
2
2019
A modal logic for Klaim. Zbl 0983.68022
De Nicola, Rocco; Loreti, Michele
2
2000
Formalizing properties of mobile agent systems. Zbl 1053.68503
Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
2
2002
Model checking spatial logics for closure spaces. Zbl 1398.68335
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
2
2016
On-the-fly fast mean-field model-checking. Zbl 1348.68144
Latella, Diego; Loreti, Michele; Massink, Mieke
2
2014
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
Multiple-labelled transition systems for nominal calculi and their logics. Zbl 1141.68047
De Nicola, Rocco; Loreti, Michele
2
2008
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
2
2017
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Specifying and verifying properties of space. Zbl 1417.68101
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
2
2014
Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
1
2016
A calculus for collective-adaptive systems and its behavioural theory. Zbl 1430.68158
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
2
2019
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL. Zbl 1448.68313
Nenzi, L.; Bortolussi, L.; Ciancia, V.; Loreti, M.; Massink, M.
3
2018
Asynchronous distributed execution of fixpoint-based computational fields. Zbl 1398.68369
Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo
2
2017
On the power of attribute-based communication. Zbl 1347.68022
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
4
2016
Model checking spatial logics for closure spaces. Zbl 1398.68335
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
2
2016
Spatial logic and spatial model checking for closure spaces. Zbl 1346.68122
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
1
2016
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Zbl 1331.68147
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
4
2015
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Programming and verifying component ensembles. Zbl 1416.68051
De Nicola, Rocco; Lluch Lafuente, Alberto; Loreti, Michele; Morichetta, Andrea; Pugliese, Rosario; Senni, Valerio; Tiezzi, Francesco
5
2014
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Zbl 1360.68626
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2014
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1325.68159
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
3
2014
On-the-fly fast mean-field model-checking. Zbl 1348.68144
Latella, Diego; Loreti, Michele; Massink, Mieke
2
2014
Group-by-group probabilistic bisimilarities and their logical characterizations. Zbl 1348.68156
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
2
2014
Specifying and verifying properties of space. Zbl 1417.68101
Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
2
2014
A uniform definition of stochastic process calculi. Zbl 1288.68184
Nicola, Rocco de; Latella, Diego; Loreti, Michele; Massink, Mieke
9
2013
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Zbl 1358.68210
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
8
2013
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. Zbl 1326.68197
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
5
2012
Rate-based transition systems for stochastic process calculi. Zbl 1248.68350
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
6
2009
MarCaSPiS: a Markovian extension of a calculus for services. Zbl 1339.68157
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2009
Multiple-labelled transition systems for nominal calculi and their logics. Zbl 1141.68047
De Nicola, Rocco; Loreti, Michele
2
2008
Model checking mobile stochastic logic. Zbl 1159.68478
De Nicola, Rocco; Katoen, Joost-Pieter; Latella, Diego; Loreti, Michele; Massink, Mieke
3
2007
MoMo: A modal logic for reasoning about mobility. Zbl 1143.68364
De Nicola, Rocco; Loreti, Michele
2
2005
A modal logic for mobile agents. Zbl 1367.68064
De Nicola, Rocco; Loreti, Michele
3
2004
The Klaim project: Theory and practice. Zbl 1179.68027
Bettini, Lorenzo; Bono, Viviana; De Nicola, Rocco; Ferrari, Gianluigi; Gorla, Daniele; Loreti, Michele; Moggi, Eugenio; Pugliese, Rosario; Tuosto, Emilio; Venneri, Betti
12
2003
Formalizing properties of mobile agent systems. Zbl 1053.68503
Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
2
2002
Hyperformulae, parallel deductions and intersection types. Zbl 1261.03072
Capitani, Beatrice; Loreti, Michele; Venneri, Betti
6
2001
A modal logic for Klaim. Zbl 0983.68022
De Nicola, Rocco; Loreti, Michele
2
2000
all top 5

Cited by 155 Authors

13 Loreti, Michele
10 De Nicola, Rocco
5 Bernardo, Marco
5 Massink, Mieke
5 Nielson, Flemming
4 Latella, Diego
4 Riis Nielson, Hanne
4 Tini, Simone
3 Alrahman, Yehia Abd
3 Bettini, Lorenzo
3 Castiglioni, Valentina
3 Pugliese, Rosario
3 Tiezzi, Francesco
3 Tribastone, Mirco
2 Audrito, Giorgio
2 Beal, Jacob
2 Bono, Viviana
2 Bortolussi, Luca
2 Ciancia, Vincenzo
2 Damiani, Ferruccio
2 Dougherty, Daniel J.
2 Gebler, Daniel E.
2 Gnesi, Stefania
2 Hermanns, Holger
2 Hillston, Jane
2 Katoen, Joost-Pieter
2 Klin, Bartek
2 Lanese, Ivan
2 Liquori, Luigi
2 Nanz, Sebastian
2 Pianini, Danilo
2 Ronchi Della Rocca, Simona
2 Tschaikowski, Max
2 Vandin, Andrea
2 Venneri, Betti
2 Viroli, Mirko
2 Wirsing, Martin
1 Ahrendt, Wolfgang
1 Aldini, Alessandro
1 Arbab, Farhad
1 Bacciu, Davide
1 Banks, C. J.
1 Bartocci, Ezio
1 Bianculli, Domenico
1 Boreale, Michele
1 Borgström, Johannes
1 Bravetti, Mario
1 Bruni, Roberto
1 Buchholz, Peter
1 Burrieza, Alfredo
1 Cao, Yongzhi
1 Cardelli, Luca
1 Carta, Antonio
1 Casadei, Roberto
1 Chen, Taolue
1 Chen, Yixiang
1 Ciobanu, Gabriel
1 Clarke, Dave
1 Colombo, Christian
1 Corradini, Flavio
1 Cruz-Filipe, Luís
1 D’Argenio, Pedro Rubén
1 de Guzmán, Inmaculada Pérez
1 de’Liguoro, Ugo
1 Dezani-Ciancaglini, Mariangiola
1 Eisentraut, Christian
1 Eriksson, Lars-Henrik
1 Falcone, Yliès
1 Fauser, Bertfried
1 Feng, Cheng
1 Ferrari, Gian Luigi
1 Field, John Everett
1 Forsberg Gutkovas, Ramūnas
1 Francalanza, Adrian
1 Frisch, Alain
1 Galpin, Vashti
1 Gerhold, Marcus
1 Ghilezan, Silvia
1 Giachino, Elena
1 Giovannetti, Elio
1 Godskesen, Jens Chr.
1 Han, Tingting
1 Hankin, Chris L.
1 Hennicker, Rolf
1 Jansen, David N.
1 Johnsen, Einar Broch
1 Klarl, Annabelle
1 Knapp, Alexander
1 Kolesnichenko, Anna
1 Koutny, Maciej
1 Krstić, Srđan
1 Lanotte, Ruggero
1 Lazovik, Alexander
1 Lee, Matias David
1 Łełyk, Mateusz
1 Lescanne, Pierre
1 Li, Ximeng
1 Li, Yongming
1 Lluch Lafuente, Alberto
1 Lourenço, João M.
...and 55 more Authors

Citations by Year