Francesca Levi

756 total citations
26 papers, 302 citations indexed

About

Francesca Levi is a scholar working on Molecular Biology, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Francesca Levi has authored 26 papers receiving a total of 302 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Molecular Biology, 13 papers in Computational Theory and Mathematics and 12 papers in Artificial Intelligence. Recurrent topics in Francesca Levi's work include Gene Regulatory Network Analysis (10 papers), Logic, programming, and type systems (10 papers) and Formal Methods in Verification (10 papers). Francesca Levi is often cited by papers focused on Gene Regulatory Network Analysis (10 papers), Logic, programming, and type systems (10 papers) and Formal Methods in Verification (10 papers). Francesca Levi collaborates with scholars based in Italy, France and Slovakia. Francesca Levi's co-authors include Davide Sangiorgi, Roberta Gori, Paolo Milazzo, Roberto Barbuti, Chiara Bodei, Sergio Maffeis, Pasquale Bove, Roberto Bruni, Moreno Falaschi and Andrea Bernini and has published in prestigious journals such as SHILAP Revista de lepidopterología, Neural Computing and Applications and Theoretical Computer Science.

In The Last Decade

Francesca Levi

25 papers receiving 280 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Francesca Levi Italy 9 132 132 121 102 35 26 302
Angelo Troina Italy 9 132 1.0× 96 0.7× 59 0.5× 122 1.2× 23 0.7× 32 302
Jetty Kleijn Netherlands 9 102 0.8× 73 0.6× 46 0.4× 135 1.3× 50 1.4× 56 264
Paolo Baldan Italy 10 75 0.6× 132 1.0× 70 0.6× 183 1.8× 70 2.0× 54 373
Boris Konev United Kingdom 11 56 0.4× 356 2.7× 106 0.9× 141 1.4× 85 2.4× 54 397
Matthias Jantzen Germany 11 121 0.9× 222 1.7× 32 0.3× 311 3.0× 12 0.3× 22 400
Fabio Gadducci Italy 12 16 0.1× 335 2.5× 109 0.9× 230 2.3× 60 1.7× 65 453
Renate A. Schmidt United Kingdom 12 45 0.3× 500 3.8× 81 0.7× 175 1.7× 82 2.3× 95 537
Antoni Mazurkiewicz Poland 7 48 0.4× 209 1.6× 109 0.9× 329 3.2× 15 0.4× 18 412
Moreno Falaschi Italy 12 53 0.4× 468 3.5× 67 0.6× 378 3.7× 79 2.3× 68 568
Danièle Beauquier France 8 55 0.4× 117 0.9× 18 0.1× 197 1.9× 8 0.2× 22 246

Countries citing papers authored by Francesca Levi

Since Specialization
Citations

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

Fields of papers citing papers by Francesca Levi

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Francesca Levi

This figure shows the co-authorship network connecting the top 25 collaborators of Francesca Levi. A scholar is included among the top collaborators of Francesca Levi 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 Francesca Levi. Francesca Levi 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.
Bruni, Roberto, et al.. (2023). Quantitative extensions of reaction systems based on SOS semantics. Neural Computing and Applications. 35(9). 6335–6359. 6 indexed citations
2.
Cantoni, E., et al.. (2021). The First Months of Fully Automated Generation of the Italian Time Scale UTC(IT). CINECA IRIS Institutional Research Information System (IRIS Istituto Nazionale di Ricerca Metrologica). 581–600. 1 indexed citations
3.
Barbuti, Roberto, et al.. (2021). Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks. Fundamenta Informaticae. 179(2). 205–225. 4 indexed citations
4.
5.
Barbuti, Roberto, Pasquale Bove, Roberta Gori, Francesca Levi, & Paolo Milazzo. (2018). Simulating gene regulatory networks using reaction systems. CINECA IRIS Institutial research information system (University of Pisa). 2240. 1–14. 8 indexed citations
6.
Bodei, Chiara, et al.. (2017). A static analysis for Brane Calculi providing global occurrence counting information. Theoretical Computer Science. 696. 11–51. 8 indexed citations
7.
Barbuti, Roberto, Roberta Gori, Francesca Levi, & Paolo Milazzo. (2016). Specialized Predictor for Reaction Systems with Context Properties. Fundamenta Informaticae. 147(2-3). 173–191. 14 indexed citations
8.
Bodei, Chiara, Roberta Gori, & Francesca Levi. (2015). Causal static analysis for Brane Calculi. Theoretical Computer Science. 587. 73–103. 10 indexed citations
9.
Barbuti, Roberto, Roberta Gori, Francesca Levi, & Paolo Milazzo. (2015). Investigating dynamic causalities in reaction systems. Theoretical Computer Science. 623. 114–145. 30 indexed citations
10.
Bodei, Chiara, Roberta Gori, & Francesca Levi. (2013). An Analysis for Causal Properties of Membrane Interactions. Electronic Notes in Theoretical Computer Science. 299. 15–31. 10 indexed citations
11.
Gori, Roberta & Francesca Levi. (2012). An analysis for proving probabilistic termination of biological systems. Theoretical Computer Science. 471. 27–73.
12.
Barbuti, Roberto, et al.. (2011). Maximally Parallel Probabilistic Semantics for Multiset Rewriting. Fundamenta Informaticae. 112(1). 1–17. 2 indexed citations
13.
Gori, Roberta & Francesca Levi. (2010). Abstract interpretation based verification of temporal properties for BioAmbients. Information and Computation. 208(8). 869–921. 9 indexed citations
14.
Coletta, Alessio, Roberta Gori, & Francesca Levi. (2009). Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation. Electronic Notes in Theoretical Computer Science. 229(1). 165–182. 4 indexed citations
15.
Gori, Roberta & Francesca Levi. (2009). Abstract Interpretation for Probabilistic Termination of Biological Systems. SHILAP Revista de lepidopterología. 11. 137–153. 2 indexed citations
16.
Levi, Francesca. (2006). A typed encoding of boxed into safe ambients. Acta Informatica. 42(6-7). 429–500. 3 indexed citations
17.
Levi, Francesca & Sergio Maffeis. (2003). On abstract interpretation of Mobile Ambients. Information and Computation. 188(2). 179–240. 9 indexed citations
18.
Levi, Francesca. (2001). A symbolic semantics for abstract model checking. Science of Computer Programming. 39(1). 93–123. 2 indexed citations
19.
Degano, Pierpaolo, Francesca Levi, & Chiara Bodei. (2000). Control Flow Analysis for Mobile Safe Ambients. CINECA IRIS Institutial research information system (University of Pisa). 1961. 199–214. 1 indexed citations
20.
Levi, Francesca & Davide Sangiorgi. (2000). Controlling interference in ambients. 352–364. 89 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 Angelo Troina Breakdown of academic impact, for papers by Jetty Kleijn Breakdown of academic impact, for papers by Paolo Baldan Breakdown of academic impact, for papers by Boris Konev Breakdown of academic impact, for papers by Matthias Jantzen Breakdown of academic impact, for papers by Fabio Gadducci Breakdown of academic impact, for papers by Renate A. Schmidt Breakdown of academic impact, for papers by Antoni Mazurkiewicz Breakdown of academic impact, for papers by Moreno Falaschi Breakdown of academic impact, for papers by Danièle Beauquier
Rankless by CCL
2026