Matteo Rossi

1.2k total citations
73 papers, 563 citations indexed

About

Matteo Rossi is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Software. According to data from OpenAlex, Matteo Rossi has authored 73 papers receiving a total of 563 indexed citations (citations by other indexed papers that have themselves been cited), including 48 papers in Computational Theory and Mathematics, 43 papers in Artificial Intelligence and 33 papers in Software. Recurrent topics in Matteo Rossi's work include Formal Methods in Verification (47 papers), Model-Driven Software Engineering Techniques (24 papers) and Advanced Software Engineering Methodologies (18 papers). Matteo Rossi is often cited by papers focused on Formal Methods in Verification (47 papers), Model-Driven Software Engineering Techniques (24 papers) and Advanced Software Engineering Methodologies (18 papers). Matteo Rossi collaborates with scholars based in Italy, Canada and Switzerland. Matteo Rossi's co-authors include Dino Mandrioli, Marcello M. Bersani, Angelo Morzenti, Federico Vicentini, Pierluigi San Pietro, Luciano Baresi, Carlo A. Furia, Matteo Pradella, Nicholas Matragkas and Arturo Capasso and has published in prestigious journals such as SHILAP Revista de lepidopterología, Nature Physics and IEEE Access.

In The Last Decade

Matteo Rossi

66 papers receiving 535 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Matteo Rossi Italy 12 249 234 234 100 66 73 563
Elsa L. Gunter United States 14 352 1.4× 212 0.9× 177 0.8× 185 1.9× 18 0.3× 49 662
Barbara Gallina Sweden 12 113 0.5× 75 0.3× 238 1.0× 149 1.5× 44 0.7× 95 520
Atif Mashkoor Austria 11 133 0.5× 71 0.3× 156 0.7× 159 1.6× 23 0.3× 61 375
Andrea Tundis Germany 13 112 0.4× 59 0.3× 104 0.4× 151 1.5× 29 0.4× 61 490
Lei Bu China 12 123 0.5× 156 0.7× 182 0.8× 86 0.9× 24 0.4× 70 463
Justyna Zander United States 13 75 0.3× 84 0.4× 142 0.6× 66 0.7× 149 2.3× 34 545
David Coppit United States 16 173 0.7× 139 0.6× 513 2.2× 319 3.2× 8 0.1× 29 781
Alejandro Alonso Spain 12 107 0.4× 52 0.2× 64 0.3× 70 0.7× 24 0.4× 64 497
Ermeson Andrade Brazil 14 90 0.4× 56 0.2× 84 0.4× 278 2.8× 22 0.3× 94 602
Robin Bloomfield United Kingdom 15 106 0.4× 50 0.2× 229 1.0× 162 1.6× 14 0.2× 50 515

Countries citing papers authored by Matteo Rossi

Since Specialization
Citations

This map shows the geographic impact of Matteo Rossi'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 Matteo Rossi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Matteo Rossi more than expected).

Fields of papers citing papers by Matteo Rossi

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Matteo Rossi. 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 Matteo Rossi. The network helps show where Matteo Rossi may publish in the future.

Co-authorship network of co-authors of Matteo Rossi

This figure shows the co-authorship network connecting the top 25 collaborators of Matteo Rossi. A scholar is included among the top collaborators of Matteo Rossi 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 Matteo Rossi. Matteo Rossi 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.
Rossi, Matteo, et al.. (2025). Green scores, golden returns: ESG’s role in shaping SME financial outcomes. Review of Accounting and Finance. 24(5). 619–639.
2.
3.
Frigerio, Nicla, et al.. (2024). Data-Driven Energy Modeling of Machining Centers Through Automata Learning. IEEE Transactions on Automation Science and Engineering. 22. 5769–5780.
4.
Grillo, Samuele, et al.. (2023). Rigorous Automated Verification of Protection Systems in LV Distribution Grids. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 1–6. 1 indexed citations
5.
Bersani, Marcello M., et al.. (2023). Towards Better Trust in Human-Machine Teaming through Explainable Dependability. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 86–90. 3 indexed citations
6.
Bersani, Marcello M., et al.. (2022). Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior. IEEE Intelligent Systems. 37(6). 48–56. 6 indexed citations
7.
Bersani, Marcello M., et al.. (2021). A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access. 9. 136616–136635. 8 indexed citations
8.
Rossi, Matteo, Emma Montella, Arturo Capasso, et al.. (2021). Risk Analysis in Healthcare Organizations: Methodological Framework and Critical Variables. Risk Management and Healthcare Policy. Volume 14. 2897–2911. 38 indexed citations
9.
Rossi, Matteo, et al.. (2020). On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. IEEE Transactions on Software Engineering. 48(4). 1154–1168. 4 indexed citations
10.
Baresi, Luciano, Marcello M. Bersani, F. Marconi, Giovanni Quattrocchi, & Matteo Rossi. (2020). Using formal verification to evaluate theexecution time of Spark applications. Formal Aspects of Computing. 32(1). 33–70. 3 indexed citations
11.
12.
Bersani, Marcello M., et al.. (2020). A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. Virtual Community of Pathological Anatomy (University of Castilla La Mancha). 1907–1914. 5 indexed citations
13.
Bersani, Marcello M., Matteo Rossi, & Pierluigi San Pietro. (2016). A logical characterization of timed regular languages. Theoretical Computer Science. 658. 46–59. 3 indexed citations
14.
Rossi, Matteo, et al.. (2016). A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. Theoretical Computer Science. 643. 38–64. 2 indexed citations
15.
Baresi, Luciano, et al.. (2015). Efficient scalable verification of LTL specifications. International Conference on Software Engineering. 1. 711–721. 8 indexed citations
16.
Baresi, Luciano, et al.. (2015). Efficient Scalable Verification of LTL Specifications. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. 711–721. 10 indexed citations
17.
Knight, John, Matteo Rossi, Dino Mandrioli, Elisabeth A. Strunk, & Carlo A. Furia. (2012). The Engineering Roles of Requirements and Specification. 1 indexed citations
18.
Baresi, Luciano, et al.. (2010). From interaction overview diagrams to temporal logic. 90–104. 6 indexed citations
19.
Bersani, Marcello M., et al.. (2010). SMT-based Bounded Model Checking with Difference Logic Constraints. arXiv (Cornell University). 1 indexed citations
20.
Furia, Carlo A., Matteo Rossi, Dino Mandrioli, & Angelo Morzenti. (2007). Automated compositional proofs for real-time systems. Theoretical Computer Science. 376(3). 164–184. 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 Elsa L. Gunter Breakdown of academic impact, for papers by Barbara Gallina Breakdown of academic impact, for papers by Atif Mashkoor Breakdown of academic impact, for papers by Andrea Tundis Breakdown of academic impact, for papers by Lei Bu Breakdown of academic impact, for papers by Justyna Zander Breakdown of academic impact, for papers by David Coppit Breakdown of academic impact, for papers by Alejandro Alonso Breakdown of academic impact, for papers by Ermeson Andrade Breakdown of academic impact, for papers by Robin Bloomfield
Rankless by CCL
2026