Stefano Guerrini

17 papers and 87 indexed citations i.

About

Stefano Guerrini has authored 17 papers that have received a total of 87 indexed citations. This includes 16 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 5 papers in Atomic and Molecular Physics, and Optics. The topics of these papers are Logic, programming, and type systems (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (8 papers). Stefano Guerrini is often cited by papers focused on Logic, programming, and type systems (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in Italy, United States and France. Stefano Guerrini's co-authors include Marco Chiani, Andrea Conti, Simone Martini, Andrea Masini and Moe Z. Win and has published in prestigious journals such as Applied Sciences, Theoretical Computer Science and Physical review. A

In The Last Decade

Rankless by CCL
2025