Giorgio Levi
About
Giorgio Levi has authored 60 papers that have received a total of 839 indexed citations.
This includes 49 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 10 papers in Software. The topics of these papers are Logic, programming, and type systems (42 papers), Logic, Reasoning, and Knowledge (38 papers) and Formal Methods in Verification (27 papers). Giorgio Levi is often cited by papers focused on Logic, programming, and type systems (42 papers), Logic, Reasoning, and Knowledge (38 papers) and Formal Methods in Verification (27 papers) and collaborates with scholars based in Italy, Spain and The Netherlands. Giorgio Levi's co-authors include Maurizio Gabbrielli, Catuscia Palamidessi, Maria Chiara Meo, Moreno Falaschi and Maurizio Martelli and has published in prestigious journals such as Information Sciences, Artificial Intelligence and Future Generation Computer Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Marc Chillet Top fields papers by A. Bertolini are about Top journals papers by Francesco Palazzo are published in Top authors papers by Heinrich V. Groesdonk are co-authored with Top countries impacted by papers by Rüdiger Klapdor Top authors papers by Botond Szilágyi are co-authored with Top journals papers by Anil Hira are published in Top countries impacted by papers by Huan Jiang