Zurab Khasidashvili
About
Zurab Khasidashvili has authored 22 papers that have received a total of 84 indexed citations.
This includes 19 papers in Computational Theory and Mathematics, 14 papers in Artificial Intelligence and 5 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (15 papers), Logic, programming, and type systems (9 papers) and Logic, Reasoning, and Knowledge (5 papers). Zurab Khasidashvili is often cited by papers focused on Formal Methods in Verification (15 papers), Logic, programming, and type systems (9 papers) and Logic, Reasoning, and Knowledge (5 papers) and collaborates with scholars based in Israel, United Kingdom and United States. Zurab Khasidashvili's co-authors include Ziyad Hanna, John Glauert, Vincent van Oostrom, Mizuhito Ogawa and Moshe Y. Vardi and has published in prestigious journals such as Theoretical Computer Science, Information and Computation and Journal of Logic and Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Brian A. Hatcher Breakdown of academic impact, for papers by Mohamed G. Mansour Breakdown of academic impact, for papers by Hannes Bartz Breakdown of academic impact, for papers by James J. Clauss Breakdown of academic impact, for papers by Aileen McColgan Breakdown of academic impact, for papers by Armando Loureiro Breakdown of academic impact, for papers by Sukeshwar Kannan Breakdown of academic impact, for papers by Joseph Donohue