Shmuel Katz

Publication Statistics

Publication period start
Publication period end
Number of co-authors


Number of publications with favourite co-authors

Productive Colleagues

Most productive colleagues in number of publications


Reinhartz-Berger, Iris, Dori, Dov, Katz, Shmuel (2005): Modelling code mobility and migration: an OPM/Web approach. In Int. J. Web Eng. Technol., 2 (1) pp. 6-28.

Katz, Shmuel, Manna, Zohar (1976): Logical Analysis of Programs. In Communications of the ACM, 19 (4) pp. 188-206.

Katz, Shmuel, Rashid, Awais (2004): From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems. In: 12th IEEE International Conference on Requirements Engineering RE 2004 6-10 September, 2004, Kyoto, Japan. pp. 48-57.