Michele Loreti

Identifiers

• name variant Michele Loreti 0.60 · backfill

Papers (9)

1. Monitoring Mobile and Spatially Distributed Cyber-Physical Systems cs.LO · 2019 · author #3
2. A Behavioural Theory for Interactions in Collective-Adaptive Systems cs.LO · 2017 · author #3
3. Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication cs.PL · 2017 · author #3
4. Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields cs.LO · 2016 · author #2
5. Model Checking Spatial Logics for Closure Spaces cs.LO · 2016 · author #3
6. On the Power of Attribute-based Communication cs.LO · 2016 · author #3
7. Specifying and Verifying Properties of Space - Extended Version cs.LO · 2014 · author #3
8. On-the-fly Fast Mean-Field Model-Checking: Extended Version cs.LO · 2013 · author #2
9. A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" cs.LO · 2013 · author #3

Mentions

• 1406.6393 #3 · backfill · confidence 0.70 Michele Loreti
• 1312.3416 #2 · backfill · confidence 0.70 Michele Loreti
• 1305.0538 #3 · backfill · confidence 0.70 Michele Loreti

Frequent Coauthors

• Rocco De Nicola 4 shared papers
• Diego Latella 3 shared papers
• Mieke Massink 3 shared papers
• Yehia Abd Alrahman 3 shared papers
• Vincenzo Ciancia 2 shared papers
• Alberto Lluch Lafuente 1 shared papers
• Ezio Bartocci 1 shared papers
• Laura Nenzi 1 shared papers
• Luca Bortolussi 1 shared papers
• Marco Bernardo 1 shared papers
• Ugo Montanari 1 shared papers