Giorgio Delzanno
About
Giorgio Delzanno has authored 61 papers that have received a total of 289 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 American Journal of Roentgenology, Sensors and Journal of Neurology
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Y. H. Moon Top fields papers by Chawalit Jeenanunta are about Top fields papers by Rob Brennan are about Top fields papers by Jürgen Wiesner are about Top journals papers by Ui‐jae Hwang are published in Top countries impacted by papers by Kuncoro Diharjo Top countries impacted by papers by Masako Kishida Top journals papers by Michal Andrle are published in