Francesca Levi

20 papers and 167 indexed citations i.

About

Francesca Levi has authored 20 papers that have received a total of 167 indexed citations. This includes 12 papers in Molecular Biology, 12 papers in Computational Theory and Mathematics and 8 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (9 papers), Gene Regulatory Network Analysis (9 papers) and DNA and Biological Computing (7 papers). Francesca Levi is often cited by papers focused on Formal Methods in Verification (9 papers), Gene Regulatory Network Analysis (9 papers) and DNA and Biological Computing (7 papers) and collaborates with scholars based in Italy, Slovakia and France. Francesca Levi's co-authors include Roberta Gori, Roberto Barbuti, Paolo Milazzo, Chiara Bodei and I. Sesia and has published in prestigious journals such as Neural Computing and Applications, Theoretical Computer Science and ACM Transactions on Programming Languages and Systems

In The Last Decade

Rankless by CCL
2025