Elio Giovannetti
About
Elio Giovannetti has authored 9 papers that have received a total of 77 indexed citations.
This includes 9 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 0 papers in Industrial relations. The topics of these papers are Logic, Reasoning, and Knowledge (9 papers), Logic, programming, and type systems (9 papers) and Formal Methods in Verification (6 papers). Elio Giovannetti is often cited by papers focused on Logic, Reasoning, and Knowledge (9 papers), Logic, programming, and type systems (9 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in Italy, France and Japan. Elio Giovannetti's co-authors include Mariangiola Dezani-Ciancaglini, Mario Coppo, Corrado Moiso, Alain Frisch and Makoto Tatsuta and has published in prestigious journals such as Journal of Computer and System Sciences, Theoretical Computer Science and The Journal of Logic Programming.
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by David Hart Top fields papers by Tomos Richards are about Top fields papers by Uchechukwu Awada are about Top fields papers by Harry Jones are about Top authors papers by SHU CHU SHEN are co-authored with Top journals papers by Tanguy Urvoy are published in Top journals papers by W.D. Apel are published in Top fields papers by Gayle C. Blouin are about