Fabrizio Montesi

30 papers and 206 indexed citations i.

About

Fabrizio Montesi has authored 30 papers that have received a total of 206 indexed citations. This includes 22 papers in Artificial Intelligence, 16 papers in Computer Networks and Communications and 16 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (15 papers), Formal Methods in Verification (10 papers) and QoS-Aware Web Services Composition and Semantic Matching (10 papers). Fabrizio Montesi is often cited by papers focused on Logic, programming, and type systems (15 papers), Formal Methods in Verification (10 papers) and QoS-Aware Web Services Composition and Semantic Matching (10 papers) and collaborates with scholars based in Denmark, Italy and France. Fabrizio Montesi's co-authors include Marco Carbone, Gianluigi Zavattaro, Luís Cruz-Filipe, Claudio Guidi and Ivan Lanese and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM SIGPLAN Notices

In The Last Decade

Rankless by CCL
2025