Guy Katz
About
Guy Katz has authored 14 papers that have received a total of 158 indexed citations.
This includes 9 papers in Artificial Intelligence, 4 papers in Computer Vision and Pattern Recognition and 3 papers in Software. The topics of these papers are Adversarial Robustness in Machine Learning (4 papers), Explainable Artificial Intelligence (XAI) (3 papers) and Formal Methods in Verification (2 papers). Guy Katz is often cited by papers focused on Adversarial Robustness in Machine Learning (4 papers), Explainable Artificial Intelligence (XAI) (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Israel, United States and Germany. Guy Katz's co-authors include Clark Barrett, Assaf Marron, Dov Pode, Kyle D. Julian and David L. Dill and has published in prestigious journals such as Human Pathology, Computer and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Stephen M. Yoshimura are published in Top journals papers by Fadi Ibrahim are published in Top fields papers by Xiaoqiang Zheng are about Top countries impacted by papers by Dawid Głów Top fields papers by Prasanna Velagapudi are about Top journals papers by Simon Kunz are published in Top countries impacted by papers by Péter Hága Top countries impacted by papers by William Fish