Roberta Gori

40 papers and 173 indexed citations i.

Roberta Gori has authored 40 papers that have received a total of 173 indexed citations. This includes 25 papers in Computational Theory and Mathematics, 17 papers in Molecular Biology and 17 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (19 papers), Logic, programming, and type systems (15 papers) and Gene Regulatory Network Analysis (13 papers). Roberta Gori is often cited by papers focused on Formal Methods in Verification (19 papers), Logic, programming, and type systems (15 papers) and Gene Regulatory Network Analysis (13 papers) and collaborates with scholars based in Italy, Slovakia and Norway. Roberta Gori's co-authors include Francesca Levi, Roberto Barbuti, Paolo Milazzo, Roberto Bagnara and Chiara Bodei and has published in prestigious journals such as Bioinformatics, Journal of the ACM and Neural Computing and Applications