Andrea Corradini
About
Andrea Corradini has authored 71 papers that have received a total of 569 indexed citations.
This includes 41 papers in Artificial Intelligence, 33 papers in Computational Theory and Mathematics and 31 papers in Software. The topics of these papers are Model-Driven Software Engineering Techniques (31 papers), Logic, programming, and type systems (25 papers) and Formal Methods in Verification (20 papers). Andrea Corradini is often cited by papers focused on Model-Driven Software Engineering Techniques (31 papers), Logic, programming, and type systems (25 papers) and Formal Methods in Verification (20 papers) and collaborates with scholars based in Italy, Germany and Brazil. Andrea Corradini's co-authors include Reiko Heckel, Ugo Montanari, Hartmut Ehrig, Barbara König and Paolo Baldan and has published in prestigious journals such as Future Generation Computer Systems, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Zhan Zhang are about Top authors papers by Yi Xiao are co-authored with Top fields papers by A. Ansari are about Top countries impacted by papers by G. V. Rаmenskаya Top fields papers by Afshin Gholipour Baradari are about Top countries impacted by papers by Yang Shi Top authors papers by Richard N. Frye are co-authored with Top authors papers by Andrew Samuels are co-authored with