Pierpaolo Degano

107 papers and 945 indexed citations i.

About

Pierpaolo Degano has authored 107 papers that have received a total of 945 indexed citations. This includes 64 papers in Artificial Intelligence, 39 papers in Computer Networks and Communications and 33 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (26 papers), Security and Verification in Computing (23 papers) and Formal Methods in Verification (22 papers). Pierpaolo Degano is often cited by papers focused on Logic, programming, and type systems (26 papers), Security and Verification in Computing (23 papers) and Formal Methods in Verification (22 papers) and collaborates with scholars based in Italy, United States and Denmark. Pierpaolo Degano's co-authors include Gian-Luigi Ferrari, Ugo Montanari, Corrado Priami, Massimo Bartoletti and Chiara Bodei and has published in prestigious journals such as IEEE Transactions on Pattern Analysis and Machine Intelligence, BMC Bioinformatics and PLoS Computational Biology

In The Last Decade

Rankless by CCL
2025