Luca Roversi

17 papers and 155 indexed citations i.

About

Luca Roversi has authored 17 papers that have received a total of 155 indexed citations. This includes 15 papers in Computational Theory and Mathematics, 14 papers in Artificial Intelligence and 2 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Computability, Logic, AI Algorithms (7 papers). Luca Roversi is often cited by papers focused on Logic, programming, and type systems (10 papers), Logic, Reasoning, and Knowledge (8 papers) and Computability, Logic, AI Algorithms (7 papers) and collaborates with scholars based in Italy, Colombia and Germany. Luca Roversi's co-authors include Simona Ronchi Della Rocca, Luca Paolini, Marco Pedicini, Margherita Zorzi and Antonio Restivo and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Science of Computer Programming

In The Last Decade

Rankless by CCL
2025