Federico Mari

564 total citations
34 papers, 231 citations indexed

About

Federico Mari is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Control and Systems Engineering. According to data from OpenAlex, Federico Mari has authored 34 papers receiving a total of 231 indexed citations (citations by other indexed papers that have themselves been cited), including 21 papers in Computational Theory and Mathematics, 12 papers in Hardware and Architecture and 11 papers in Control and Systems Engineering. Recurrent topics in Federico Mari's work include Formal Methods in Verification (19 papers), Real-Time Systems Scheduling (8 papers) and Real-time simulation and control systems (7 papers). Federico Mari is often cited by papers focused on Formal Methods in Verification (19 papers), Real-Time Systems Scheduling (8 papers) and Real-time simulation and control systems (7 papers). Federico Mari collaborates with scholars based in Italy, Spain and Switzerland. Federico Mari's co-authors include Enrico Tronci, Igor Melatti, Toni Mancini, Annalisa Massini, Ivano Salvo, Milan Prodanović, Flavio Chierichetti, Alessandro Panconesi, Alberto Finzi and Barry Hayes 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

Federico Mari

32 papers receiving 221 citations

Peers

Federico Mari
C. Dutheillet France
Jean‐Michel Fourneau France
W.D. Obal United States
Alexandru Mereacre United Kingdom
Raymond A. Marie France
Lucia Cloth Netherlands
John Davis United States
Jörg Bräuer Germany
Jérôme Hugues France
Janétte Cardoso France
C. Dutheillet France
Federico Mari
Citations per year, relative to Federico Mari Federico Mari (= 1×) peers C. Dutheillet

Countries citing papers authored by Federico Mari

Since Specialization
Citations

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

Fields of papers citing papers by Federico Mari

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Federico Mari

This figure shows the co-authorship network connecting the top 25 collaborators of Federico Mari. A scholar is included among the top collaborators of Federico Mari 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 Federico Mari. Federico Mari 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.
Antinozzi, Cristina, Elisa Grazioli, Maria De Santis, et al.. (2022). The Preventive Role of Physical Activity in Systemic Sclerosis: A Cross-Sectional Study on the Correlation with Clinical Parameters and Disease Progression. International Journal of Environmental Research and Public Health. 19(16). 10303–10303. 4 indexed citations
2.
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
3.
Mancini, Toni, Federico Mari, Annalisa Massini, et al.. (2018). Computing Personalised Treatments through In Silico Clinical Trials.. 2 indexed citations
4.
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
5.
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
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.
Mancini, Toni, Federico Mari, Annalisa Massini, Igor Melatti, & Enrico Tronci. (2014). Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. IRIS Research product catalog (Sapienza University of Rome). 236–245. 15 indexed citations
14.
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
15.
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
16.
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
17.
Mari, Federico, et al.. (2012). Automatic control software synthesis for quantized discrete time hybrid systems. IRIS Research product catalog (Sapienza University of Rome). 6120–6125. 11 indexed citations
18.
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
19.
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
20.
Mari, Federico, Igor Melatti, Ivano Salvo, et al.. (2008). Model Checking Nash Equilibria in MAD Distributed Systems. IRIS Research product catalog (Sapienza University of Rome). 1705. 1–8. 1 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 C. Dutheillet Breakdown of academic impact, for papers by Jean‐Michel Fourneau Breakdown of academic impact, for papers by W.D. Obal Breakdown of academic impact, for papers by Alexandru Mereacre Breakdown of academic impact, for papers by Raymond A. Marie Breakdown of academic impact, for papers by Lucia Cloth Breakdown of academic impact, for papers by John Davis Breakdown of academic impact, for papers by Jörg Bräuer Breakdown of academic impact, for papers by Jérôme Hugues Breakdown of academic impact, for papers by Janétte Cardoso
Rankless by CCL
2026