Giorgio Delzanno
About
Giorgio Delzanno has authored 61 papers that have received a total of 290 indexed citations.
This includes 36 papers in Computational Theory and Mathematics, 28 papers in Artificial Intelligence and 19 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (34 papers), Logic, programming, and type systems (20 papers) and Model-Driven Software Engineering Techniques (13 papers). Giorgio Delzanno is often cited by papers focused on Formal Methods in Verification (34 papers), Logic, programming, and type systems (20 papers) and Model-Driven Software Engineering Techniques (13 papers) and collaborates with scholars based in Italy, France and Sweden. Giorgio Delzanno's co-authors include Parosh Aziz Abdulla, Ahmed Rezine, Marco Bozzano, Laurent Van Begin and Maurizio Martelli and has published in prestigious journals such as Sensors, American Journal of Roentgenology and Journal of Neurology.
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Branley A. Branson Top countries impacted by papers by M. Gai Top authors papers by P. Giannetti are co-authored with Top journals papers by Zabihollah Gharlipour are published in Top fields papers by Beatrice Thielmann are about Top countries impacted by papers by Yasunori Endo Top journals papers by Fatma Sri Wahyuni are published in Top countries impacted by papers by Wahyono Wahyono