Maurizio Gabbrielli

63 papers and 416 indexed citations i.

Maurizio Gabbrielli has authored 63 papers that have received a total of 416 indexed citations. This includes 42 papers in Artificial Intelligence, 25 papers in Computational Theory and Mathematics and 23 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (34 papers), Logic, Reasoning, and Knowledge (28 papers) and Formal Methods in Verification (22 papers). Maurizio Gabbrielli is often cited by papers focused on Logic, programming, and type systems (34 papers), Logic, Reasoning, and Knowledge (28 papers) and Formal Methods in Verification (22 papers) and collaborates with scholars based in Italy, The Netherlands and France. Maurizio Gabbrielli's co-authors include Giorgio Levi, Maria Chiara Meo, Roberto Amadini, Jacopo Mauro and Moreno Falaschi and has published in prestigious journals such as Future Generation Computer Systems, Theoretical Computer Science and Journal of Artificial Intelligence Research.