Alberto Momigliano
About
Alberto Momigliano has authored 23 papers that have received a total of 193 indexed citations.
This includes 21 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 3 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (20 papers), Logic, Reasoning, and Knowledge (18 papers) and Formal Methods in Verification (13 papers). Alberto Momigliano is often cited by papers focused on Logic, programming, and type systems (20 papers), Logic, Reasoning, and Knowledge (18 papers) and Formal Methods in Verification (13 papers) and collaborates with scholars based in Italy, United Kingdom and Canada. Alberto Momigliano's co-authors include Amy Felty, Brigitte Pientka, Roy L. Crole, Simon Ambler and Mario Ornaghi and has published in prestigious journals such as Theoretical Computer Science, Journal of Automated Reasoning and Journal of Logic and Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Rani Khatib Breakdown of academic impact, for papers by Jan Rauch Breakdown of academic impact, for papers by Drew Hemment Breakdown of academic impact, for papers by A. Sagai Francis Britto Breakdown of academic impact, for papers by Martin Klapez Breakdown of academic impact, for papers by Muhammad Azeem Breakdown of academic impact, for papers by Nina Burkardt Breakdown of academic impact, for papers by R.A. Salvatore