Alessio Guglielmi

10 papers and 161 indexed citations i.

Alessio Guglielmi has authored 10 papers that have received a total of 161 indexed citations. This includes 10 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (9 papers) and Formal Methods in Verification (7 papers). Alessio Guglielmi is often cited by papers focused on Logic, programming, and type systems (9 papers), Logic, Reasoning, and Knowledge (9 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in United Kingdom, France and Germany. Alessio Guglielmi's co-authors include Chris Barrett, Michel Parigot and Lutz Straßburger and has published in prestigious journals such as Theoretical Computer Science, Mathematical Structures in Computer Science and ACM Transactions on Computational Logic.