Michele Loreti

2.7k total citations
66 papers, 508 citations indexed

About

Michele Loreti is a scholar working on Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, Michele Loreti has authored 66 papers receiving a total of 508 indexed citations (citations by other indexed papers that have themselves been cited), including 38 papers in Artificial Intelligence, 31 papers in Computer Networks and Communications and 26 papers in Computational Theory and Mathematics. Recurrent topics in Michele Loreti's work include Formal Methods in Verification (24 papers), Distributed systems and fault tolerance (20 papers) and Advanced Software Engineering Methodologies (16 papers). Michele Loreti is often cited by papers focused on Formal Methods in Verification (24 papers), Distributed systems and fault tolerance (20 papers) and Advanced Software Engineering Methodologies (16 papers). Michele Loreti collaborates with scholars based in Italy, United Kingdom and Austria. Michele Loreti's co-authors include Rocco De Nicola, Mieke Massink, Rosario Pugliese, Diego Latella, Francesco Tiezzi, Lorenzo Bettini, Marco Bernardo, Vincenzo Ciancia, Stephen Gilmore and Luca Bortolussi and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences.

In The Last Decade

Michele Loreti

61 papers receiving 501 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Michele Loreti Italy 14 268 247 175 90 89 66 508
Christopher Landauer United States 11 338 1.3× 164 0.7× 61 0.3× 37 0.4× 145 1.6× 85 480
Philippe Dague France 15 277 1.0× 91 0.4× 133 0.8× 35 0.4× 72 0.8× 51 585
Chung Keung Poon Hong Kong 14 149 0.6× 323 1.3× 88 0.5× 13 0.1× 85 1.0× 69 605
Hans‐Jörg Kreowski Germany 15 425 1.6× 138 0.6× 264 1.5× 33 0.4× 170 1.9× 79 681
Walter Hamscher United States 10 457 1.7× 110 0.4× 125 0.7× 16 0.2× 120 1.3× 21 655
Alin Ştefănescu Romania 10 195 0.7× 93 0.4× 102 0.6× 21 0.2× 175 2.0× 52 415
Dana Nau United States 8 525 2.0× 153 0.6× 74 0.4× 18 0.2× 118 1.3× 13 692
Andres J. Ramirez United States 15 385 1.4× 237 1.0× 44 0.3× 24 0.3× 322 3.6× 44 688
Christine Solnon France 13 285 1.1× 156 0.6× 100 0.6× 8 0.1× 41 0.5× 37 673
Laure Petrucci France 7 179 0.7× 130 0.5× 364 2.1× 10 0.1× 99 1.1× 38 569

Countries citing papers authored by Michele Loreti

Since Specialization
Citations

This map shows the geographic impact of Michele Loreti's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Michele Loreti with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michele Loreti more than expected).

Fields of papers citing papers by Michele Loreti

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Michele Loreti. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Michele Loreti. The network helps show where Michele Loreti may publish in the future.

Co-authorship network of co-authors of Michele Loreti

This figure shows the co-authorship network connecting the top 25 collaborators of Michele Loreti. A scholar is included among the top collaborators of Michele Loreti based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Michele Loreti. Michele Loreti is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Castiglioni, Valentina, Ruggero Lanotte, Michele Loreti, & Simone Tini. (2025). DT-Stark: a tool for evaluating the effectiveness of digital twins through feedback and perturbations. International Journal on Software Tools for Technology Transfer. 27(5). 443–464.
2.
Loreti, Michele, et al.. (2024). Sibilla: A tool for reasoning about collective systems. Science of Computer Programming. 235. 103095–103095.
3.
Nenzi, Laura, et al.. (2023). MoonLight: a lightweight tool for monitoring spatio-temporal properties. International Journal on Software Tools for Technology Transfer. 25(4). 503–517. 1 indexed citations
4.
Castiglioni, Valentina, Michele Loreti, & Simone Tini. (2023). A framework to measure the robustness of programs in the unpredictable environment. Logical Methods in Computer Science. Volume 19, Issue 3. 3 indexed citations
5.
Loreti, Michele. (2019). Replicated Computations Results (RCR) Report for “Statistical Abstraction for Multi-scale Spatio-temporal Systems”. ACM Transactions on Modeling and Computer Simulation. 29(4). 1–2. 1 indexed citations
6.
Loreti, Michele, et al.. (2019). Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL. ACM Transactions on Modeling and Computer Simulation. 29(4). 1–24. 3 indexed citations
7.
Castiglioni, Valentina, Michele Loreti, & Simone Tini. (2019). The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. Theoretical Computer Science. 813. 20–69. 7 indexed citations
8.
Bortolussi, Luca, et al.. (2018). Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. SHILAP Revista de lepidopterología. 16 indexed citations
9.
Loreti, Michele. (2018). Replicated Computations Results (RCR) Report for “Mesoscopic Modelling of Pedestrian Movement using C arma and its Tools”. ACM Transactions on Modeling and Computer Simulation. 28(2). 1–3. 1 indexed citations
10.
Nicola, Rocco De, et al.. (2017). Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. Unicam Scientific Publications (University of Camerino). 19 indexed citations
11.
Ciancia, Vincenzo, Diego Latella, Michele Loreti, & Mieke Massink. (2017). Model Checking Spatial Logics for Closure Spaces. Logical Methods in Computer Science. Volume 12, Issue 4. 21 indexed citations
12.
Lafuente, Alberto Lluch, Michele Loreti, & Ugo Montanari. (2017). Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields. Logical Methods in Computer Science. Volume 13, Issue 1. 9 indexed citations
13.
Latella, Diego, Michele Loreti, & Mieke Massink. (2015). On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Science of Computer Programming. 110. 23–50. 9 indexed citations
14.
Bernardo, Marco, Rocco De Nicola, & Michele Loreti. (2014). Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science. Volume 10, Issue 1. 11 indexed citations
15.
Bernardo, Marco, Rocco De Nicola, & Michele Loreti. (2013). A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Information and Computation. 225. 29–82. 18 indexed citations
16.
Loreti, Michele, et al.. (2009). A Process Algebra Approach to Fuzzy Reasoning. Florence Research (University of Florence). 1136–1141. 5 indexed citations
17.
Nicola, Rocco De, Joost-Pieter Katoen, Diego Latella, Michele Loreti, & Mieke Massink. (2007). Model checking mobile stochastic logic. Theoretical Computer Science. 382(1). 42–70. 25 indexed citations
18.
Bettini, Lorenzo, Rocco De Nicola, & Michele Loreti. (2001). Implementing Mobile and Distributed Applications in X-Klaim. Scalable Computing Practice and Experience. 7(4). 13–35. 2 indexed citations
19.
Loreti, Michele, et al.. (2001). Hyperformulae, Parallel Deductions and Intersection Types. Electronic Notes in Theoretical Computer Science. 50(2). 178–195. 10 indexed citations
20.
Bettini, Lorenzo, Michele Loreti, & Rosario Pugliese. (2000). Structured nets in KLAIM. Florence Research (University of Florence). 174–180. 6 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Christopher Landauer Breakdown of academic impact, for papers by Philippe Dague Breakdown of academic impact, for papers by Chung Keung Poon Breakdown of academic impact, for papers by Hans‐Jörg Kreowski Breakdown of academic impact, for papers by Walter Hamscher Breakdown of academic impact, for papers by Alin Ştefănescu Breakdown of academic impact, for papers by Dana Nau Breakdown of academic impact, for papers by Andres J. Ramirez Breakdown of academic impact, for papers by Christine Solnon Breakdown of academic impact, for papers by Laure Petrucci
Rankless by CCL
2026