Shmuel Katz

发表

Zohar Manna, Shmuel Katz, Z. Manna, 1973, IJCAI.
Zohar Manna, Shmuel Katz, Z. Manna, 1976, CACM.
Shmuel Katz, O. Grumberg, 2015 .
Shmuel Katz, D. Peled, 1987 .
Shmuel Katz, Sefi Givli, 2019, Physical review. E.
Shmuel Katz, D. Peled, 2013 .
Shmuel Katz, Shmuel Katz, 1997, Partial Order Methods in Verification.
Jean-Marc Jézéquel, Shmuel Katz, Harold Ossher, 2009 .
Nissim Francez, Shmuel Katz, Orna Grumberg, 1984, PODC 1984.
Shmuel Katz, Orna Grumberg, Shuly Wintner, 2009, Lecture Notes in Computer Science.
Mira Mezini, Shmuel Katz, Shmuel Katz, 2011, Trans. Aspect-Oriented Software Development VIII.
Mira Mezini, Shmuel Katz, Shmuel Katz, 2010, Trans. Aspect-Oriented Software Development VII.
Nissim Francez, Shmuel Katz, Michael Evangelist, 1989, IEEE Trans. Software Eng..
Shmuel Katz, Sefi Givli, Shmuel Katz, 2015 .
Shmuel Katz, Rina Dechter, Zeev Collin, 1999, Chic. J. Theor. Comput. Sci..
Shmuel Katz, Rina Dechter, Zeev Collin, 1991, IJCAI.
Doron A. Peled, Shmuel Katz, Shmuel Katz, 1987, PODC '87.
Shmuel Katz, Mika Katara, Shmuel Katz, 2007, Software & Systems Modeling.
Shmuel Katz, Mika Katara, Shmuel Katz, 2003, AOSD '03.
Zohar Manna, Shmuel Katz, Z. Manna, 1975, Acta Informatica.
Shmuel Katz, Marcelo Sihman, Shmuel Katz, 2003, Verification: Theory and Practice.
Shmuel Katz, Marcelo Sihman, Shmuel Katz, 2003, Comput. J..
Shmuel Katz, Marcelo Glusman, Shmuel Katz, 2003, Formal Methods Syst. Des..
Shmuel Katz, Marcelo Glusman, Shmuel Katz, 1999, CAV.
Doron A. Peled, Shmuel Katz, Shmuel Katz, 1992, Theor. Comput. Sci..
Amir Pnueli, Shmuel Katz, Doron Peled, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Christoph Bockisch, Somayeh Malakuti, Shmuel Katz, 2011, AOSD '11.
Shmuel Katz, Cynthia Disenfeld, Shmuel Katz, 2011, FOAL.
Shmuel Katz, Oren Mishali, Yael Dubinsky, 2008, XP.
Dov Dori, Iris Reinhartz-Berger, Shmuel Katz, 2009, Software & Systems Modeling.
Shmuel Katz, Awais Rashid, Shmuel Katz, 2004, Proceedings. 12th IEEE International Requirements Engineering Conference, 2004..
Shmuel Katz, Marcelo Sihman, Shmuel Katz, 2002, AOSD '02.
Shmuel Katz, Orna Grumberg, Shmuel Katz, 2002, IFM.
Shmuel Katz, Shmuel Katz, 2001, FME.
Shmuel Katz, Emilia Katz, Shmuel Katz, 2005, FM.
Shmuel Katz, Marcelo Glusman, Shmuel Katz, 2003, CAV.
Shmuel Katz, Marcelo Glusman, Shmuel Katz, 2003 .
Shmuel Katz, Orna Grumberg, Shmuel Katz, 2007, International Journal on Software Tools for Technology Transfer.
Shmuel Katz, Orna Grumberg, Katerina Korenblat, 2002, IFM.
Nissim Francez, Shmuel Katz, Krzysztof R. Apt, 1988, Distributed Computing.
Shmuel Katz, Hillel Miller, Shmuel Katz, 1996, Formal Methods Syst. Des..
Shmuel Katz, Sefi Givli, 2018, Extreme Mechanics Letters.
Doron A. Peled, Shmuel Katz, Shmuel Katz, 1988, REX Workshop.
Doron A. Peled, Shmuel Katz, Shmuel Katz, 1992, Distributed Computing.
Shmuel Katz, Shmuel Katz, 1994, ICTL.
Shmuel Katz, Shmuel Katz, Mirit Berg, 2022 .
Shmuel Katz, Gadi Taubenfeld, Shlomo Moran, 1990, International Journal of Parallel Programming.
Shmuel Katz, Gadi Taubenfeld, Shlomo Moran, 1994, Inf. Comput..
Shmuel Katz, Cynthia Disenfeld, Shmuel Katz, 2013, AOSD.
Shmuel Katz, Orit Baruch, Shmuel Katz, 1988, Sci. Comput. Program..
Nissim Francez, Shmuel Katz, Shmuel Katz, 1987, International Journal of Parallel Programming.
Nissim Francez, Shmuel Katz, Orna Grumberg, 1986, J. Comput. Syst. Sci..
Nissim Francez, Shmuel Katz, Orna Grumberg, 1984, PODC '84.
Zohar Manna, Shmuel Katz, Z. Manna, 1975, Reliable Software.
Dov Dori, Iris Reinhartz-Berger, Shmuel Katz, 2002, Proceedings 26th Annual International Computer Software and Applications.
Stanley J. Rosenschein, Shmuel M. Katz, S. Rosenschein, 1977, Artificial Intelligence and Programming Languages.
Amir Pnueli, Bengt Jonsson, Mannes Poel, 1994 .
Shmuel Katz, Patrick Lincoln, John M. Rushby, 1997, WDAG.
Ofer Strichman, Shmuel Katz, Dima Elenbogen, 2012, Haifa Verification Conference.
Amir Pnueli, Nissim Francez, Shmuel Katz, 1985, Logic of Programs.
Shmuel Katz, Shmuel Katz, 2006, RODIN Book.