Michele Pagani
About
Michele Pagani has authored 24 papers that have received a total of 267 indexed citations.
This includes 16 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 2 papers in Molecular Biology. The topics of these papers are Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (9 papers). Michele Pagani is often cited by papers focused on Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in France, Italy and Canada. Michele Pagani's co-authors include Christine Tasson, Thomas Ehrhard, Roberto Imberti, Martin Langer and Damiano Mazza and has published in prestigious journals such as Journal of neurosurgery, Intensive Care Medicine and Journal of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Stefan Huber Top authors papers by F. Maignen are co-authored with Top authors papers by Yun Hui Lin are co-authored with Top journals papers by Koichi Nakase are published in Top journals papers by Jaime B. Hyman are published in Top countries impacted by papers by Yanhuan Zhao Top authors papers by Jyotsna Rimal are co-authored with Top fields papers by John C. Heideman are about