Claudio Menghi

33 papers and 216 indexed citations i.

About

Claudio Menghi has authored 33 papers that have received a total of 216 indexed citations. This includes 21 papers in Software, 20 papers in Computational Theory and Mathematics and 19 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (20 papers), Advanced Software Engineering Methodologies (13 papers) and Software Testing and Debugging Techniques (12 papers). Claudio Menghi is often cited by papers focused on Formal Methods in Verification (20 papers), Advanced Software Engineering Methodologies (13 papers) and Software Testing and Debugging Techniques (12 papers) and collaborates with scholars based in Italy, Canada and Luxembourg. Claudio Menghi's co-authors include Patrizio Pelliccione, Carlo Ghezzi, Christos Tsigkanos, Thorsten Berger and Zhenya Zhang and has published in prestigious journals such as IEEE Transactions on Software Engineering, Lecture notes in computer science and Information and Software Technology

In The Last Decade

Rankless by CCL
2025