Ezio Bartocci

77 papers and 748 indexed citations i.

Ezio Bartocci has authored 77 papers that have received a total of 748 indexed citations. This includes 32 papers in Computational Theory and Mathematics, 23 papers in Artificial Intelligence and 22 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (25 papers), Software Testing and Debugging Techniques (14 papers) and Gene Regulatory Network Analysis (11 papers). Ezio Bartocci is often cited by papers focused on Formal Methods in Verification (25 papers), Software Testing and Debugging Techniques (14 papers) and Gene Regulatory Network Analysis (11 papers) and collaborates with scholars based in Austria, United States and Italy. Ezio Bartocci's co-authors include Radu Grosu, Flavio Corradini, Scott A. Smolka, Dejan Ničković and Emanuela Merelli and has published in prestigious journals such as Communications of the ACM, Genome biology and BMC Bioinformatics.