Igor Melatti

894 total citations
44 papers, 348 citations indexed

About

Igor Melatti is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Control and Systems Engineering. According to data from OpenAlex, Igor Melatti has authored 44 papers receiving a total of 348 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Computational Theory and Mathematics, 15 papers in Hardware and Architecture and 14 papers in Control and Systems Engineering. Recurrent topics in Igor Melatti's work include Formal Methods in Verification (29 papers), Real-time simulation and control systems (10 papers) and Embedded Systems Design Techniques (10 papers). Igor Melatti is often cited by papers focused on Formal Methods in Verification (29 papers), Real-time simulation and control systems (10 papers) and Embedded Systems Design Techniques (10 papers). Igor Melatti collaborates with scholars based in Italy, Spain and United States. Igor Melatti's co-authors include Enrico Tronci, Federico Mari, Toni Mancini, Annalisa Massini, Ivano Salvo, Milan Prodanović, Barry Hayes, Benedetto Intrigila, Giuseppe Della Penna and Marisa Venturini Zilli and has published in prestigious journals such as SHILAP Revista de lepidopterología, IEEE Transactions on Automatic Control and IEEE Transactions on Industrial Electronics.

In The Last Decade

Igor Melatti

42 papers receiving 329 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Igor Melatti Italy 12 186 111 87 83 73 44 348
Levon Saldamli Sweden 9 241 1.3× 134 1.2× 26 0.3× 189 2.3× 34 0.5× 16 345
Johannes F. Broenink Netherlands 10 167 0.9× 118 1.1× 17 0.2× 69 0.8× 93 1.3× 36 331
Anne Remke Netherlands 13 151 0.8× 192 1.7× 92 1.1× 29 0.3× 21 0.3× 61 395
Kati Wolter Germany 6 143 0.8× 47 0.4× 46 0.5× 38 0.5× 15 0.2× 6 310
Marten Lohstroh United States 11 78 0.4× 93 0.8× 33 0.4× 52 0.6× 128 1.8× 31 345
Akshay Rajhans United States 8 83 0.4× 72 0.6× 56 0.6× 15 0.2× 86 1.2× 21 247
Oliver Bastert Germany 4 95 0.5× 42 0.4× 36 0.4× 41 0.5× 11 0.2× 5 251
Ulrik Nyman Denmark 9 210 1.1× 77 0.7× 85 1.0× 8 0.1× 113 1.5× 41 361
Michele Lora Italy 9 29 0.2× 45 0.4× 47 0.5× 25 0.3× 92 1.3× 50 295
Jorge Júlvez Spain 14 502 2.7× 130 1.2× 61 0.7× 63 0.8× 196 2.7× 67 654

Countries citing papers authored by Igor Melatti

Since Specialization
Citations

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

Fields of papers citing papers by Igor Melatti

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Igor Melatti

This figure shows the co-authorship network connecting the top 25 collaborators of Igor Melatti. A scholar is included among the top collaborators of Igor Melatti 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 Igor Melatti. Igor Melatti 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.
Mancini, Toni, Federico Mari, Annalisa Massini, Igor Melatti, & Enrico Tronci. (2021). On checking equivalence of simulation scripts. Journal of Logical and Algebraic Methods in Programming. 120. 100640–100640. 2 indexed citations
2.
Mancini, Toni, Federico Mari, Annalisa Massini, et al.. (2018). Computing Personalised Treatments through In Silico Clinical Trials.. 2 indexed citations
3.
Mancini, Toni, Federico Mari, Annalisa Massini, Igor Melatti, & Enrico Tronci. (2016). SyLVaaS: System Level Formal Verification as a Service*. Fundamenta Informaticae. 149(1-2). 101–132. 11 indexed citations
4.
Ehrig, Rainald, Stefan Schäfer, Susanna Röblitz, et al.. (2016). AN INTEGRATIVE APPROACH FOR MODEL DRIVEN COMPUTATION OF TREATMENTS IN REPRODUCTIVE MEDICINE. IRIS Research product catalog (Sapienza University of Rome). 67–88. 1 indexed citations
5.
Hayes, Barry, Igor Melatti, Toni Mancini, Milan Prodanović, & Enrico Tronci. (2016). Residential Demand Management Using Individualized Demand Aware Price Policies. IEEE Transactions on Smart Grid. 8(3). 1284–1294. 52 indexed citations
6.
Mancini, Toni, Federico Mari, Annalisa Massini, Igor Melatti, & Enrico Tronci. (2015). Simulator Semantics for System Level Formal Verification. SHILAP Revista de lepidopterología. 193. 86–99. 2 indexed citations
7.
Mari, Federico, Igor Melatti, Enrico Tronci, et al.. (2015). A Glimpse of SmartHG Project Test-bed and Communication Infrastructure. IRIS Research product catalog (Sapienza University of Rome). 225–232. 9 indexed citations
8.
Mancini, Toni, Federico Mari, Annalisa Massini, Igor Melatti, & Enrico Tronci. (2015). Simulator Semantics for System Level Formal Verification. arXiv (Cornell University). 1 indexed citations
9.
Mancini, Toni, Federico Mari, Igor Melatti, et al.. (2015). User Flexibility Aware Price Policy Synthesis for Smart Grids. IRIS Research product catalog (Sapienza University of Rome). 478–485. 8 indexed citations
10.
Tronci, Enrico, Toni Mancini, Ivano Salvo, et al.. (2014). Patient-specific models from inter-patient biological models and clinical records. Zurich Open Repository and Archive (University of Zurich). 207–214. 10 indexed citations
11.
Mari, Federico, Igor Melatti, Ivano Salvo, & Enrico Tronci. (2014). Model-based synthesis of control software from system-level formal specifications. ACM Transactions on Software Engineering and Methodology. 23(1). 1–42. 16 indexed citations
12.
Mancini, Toni, Federico Mari, Annalisa Massini, Igor Melatti, & Enrico Tronci. (2014). System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. IRIS Research product catalog (Sapienza University of Rome). 734–742. 18 indexed citations
13.
Mari, Federico, Igor Melatti, Enrico Tronci, & Alberto Finzi. (2013). A Multi-Hop Advertising Discovery and Delivering Protocol for Multi Administrative Domain MANET. SHILAP Revista de lepidopterología. 6 indexed citations
14.
Mari, Federico, Igor Melatti, Ivano Salvo, & Enrico Tronci. (2012). Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems. IRIS Research product catalog (Sapienza University of Rome). 664–671. 1 indexed citations
15.
Mari, Federico, et al.. (2012). On model based synthesis of embedded control software. IRIS Research product catalog (Sapienza University of Rome). 227–236. 9 indexed citations
16.
Mari, Federico, Igor Melatti, Ivano Salvo, & Enrico Tronci. (2011). From Boolean Relations to Control Software. IRIS Research product catalog (Sapienza University of Rome). 528–533. 2 indexed citations
17.
Mari, Federico, Igor Melatti, Ivano Salvo, & Enrico Tronci. (2011). Quantized Feedback Control Software Synthesis from System Level Formal Specifications. arXiv (Cornell University). 1 indexed citations
18.
Intrigila, Benedetto, et al.. (2007). Computational models of myocardial endomysial collagen arrangement. Computer Methods and Programs in Biomedicine. 86(3). 232–244. 11 indexed citations
19.
Melatti, Igor, et al.. (2007). Disk Based Software Verification via Bounded Model Checking. IRIS Research product catalog (Sapienza University of Rome). 2919. 358–365. 1 indexed citations
20.
Intrigila, Benedetto, Daniele Magazzeni, Igor Melatti, & Enrico Tronci. (2006). A Model Checking Technique for the Verification of Fuzzy Control Systems. IRIS Research product catalog (Sapienza University of Rome). 1. 536–542. 2 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 Levon Saldamli Breakdown of academic impact, for papers by Johannes F. Broenink Breakdown of academic impact, for papers by Anne Remke Breakdown of academic impact, for papers by Kati Wolter Breakdown of academic impact, for papers by Marten Lohstroh Breakdown of academic impact, for papers by Akshay Rajhans Breakdown of academic impact, for papers by Oliver Bastert Breakdown of academic impact, for papers by Ulrik Nyman Breakdown of academic impact, for papers by Michele Lora Breakdown of academic impact, for papers by Jorge Júlvez
Rankless by CCL
2026