Shmuel Katz

55 papers and 912 indexed citations i.

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