Shmuel Katz
About
Shmuel Katz has authored 55 papers that have received a total of 912 indexed citations.
This includes 29 papers in Artificial Intelligence, 27 papers in Computer Networks and Communications and 18 papers in Computational Theory and Mathematics. The topics of these papers are Distributed systems and fault tolerance (20 papers), Logic, programming, and type systems (16 papers) and Formal Methods in Verification (15 papers). Shmuel Katz is often cited by papers focused on Distributed systems and fault tolerance (20 papers), Logic, programming, and type systems (16 papers) and Formal Methods in Verification (15 papers) and collaborates with scholars based in Israel, United States and France. Shmuel Katz's co-authors include Sefi Givli, Nissim Francez, Zohar Manna, Gadi Taubenfeld and Shlomo Moran and has published in prestigious journals such as Communications of the ACM, Journal of Applied Mechanics and Journal of the Mechanics and Physics of Solids
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Shuhang Xu are co-authored with Top journals papers by Suna Zhou are published in Top authors papers by Waqas Ahmed are co-authored with Top fields papers by Binsheng Wang are about Top fields papers by Zhaoyu Zhu are about Top authors papers by Kerstin Cederlund are co-authored with Top authors papers by Sacha A. De Serres are co-authored with Top fields papers by Kim Nygård are about