Matteo Pradella
About
Matteo Pradella has authored 34 papers that have received a total of 216 indexed citations.
This includes 27 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 9 papers in Software. The topics of these papers are Formal Methods in Verification (14 papers), Logic, programming, and type systems (13 papers) and semigroups and automata theory (9 papers). Matteo Pradella is often cited by papers focused on Formal Methods in Verification (14 papers), Logic, programming, and type systems (13 papers) and semigroups and automata theory (9 papers) and collaborates with scholars based in Italy, Germany and Spain. Matteo Pradella's co-authors include Dino Mandrioli, Stefano Crespi Reghizzi, Pierluigi San Pietro, Violetta Lonati and Angelo Morzenti and has published in prestigious journals such as Pattern Recognition, ACM Computing Surveys and SIAM Journal on Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Levent Deniz are about Top authors papers by Luiz Carlos Fadel de Vasconcellos are co-authored with Top authors papers by Codruța Alina Popescu are co-authored with Top fields papers by Paulo Minatel Gonella are about Top countries impacted by papers by MS Rahman Top authors papers by Martijn Caspers are co-authored with Top authors papers by Y. P. Obulesu are co-authored with Top fields papers by L. M. F. Morais are about