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
Top fields papers by Jessica Rousseau are about Top countries impacted by papers by Hoda Eldardiry Top authors papers by Ryuichi HODOSHIMA are co-authored with Top authors papers by K. Kamiński are co-authored with Top countries impacted by papers by Brogen Singh Akoijam Top countries impacted by papers by Marco A. Palomino Top authors papers by Sophie Gardrat are co-authored with Top journals papers by Nick Waltham are published in