Fabio Zanasi
About
Fabio Zanasi has authored 24 papers that have received a total of 137 indexed citations.
This includes 20 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 3 papers in Molecular Biology. The topics of these papers are Logic, programming, and type systems (15 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (8 papers). Fabio Zanasi is often cited by papers focused on Logic, programming, and type systems (15 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (8 papers) and collaborates with scholars based in United Kingdom, The Netherlands and Italy. Fabio Zanasi's co-authors include Filippo Bonchi, Paweł Sobociński, Aleks Kissinger, Fabio Gadducci and Bart Jacobs and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by J.M. Marcos Vidal are published in Top authors papers by Boyang Du are co-authored with Top authors papers by Nicholas Tyacke are co-authored with Top journals papers by Chunlei Liu are published in Top fields papers by S. Rainò are about Top countries impacted by papers by Chih‐Bin Lin Top journals papers by Georges Knaysi are published in Top fields papers by Clarke Garrett are about