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 journals papers by Andrey G. Lvov are published in Top authors papers by Ravins Dohare are co-authored with Top journals papers by John Lawson are published in Top authors papers by Yudong Jia are co-authored with Top journals papers by Pao‐Jen Kuo are published in Top authors papers by Jing Wen are co-authored with Top countries impacted by papers by Alexander J. Mussap Top authors papers by Chih‐Yuan Huang are co-authored with