Author: Shmuel Katz

Shmuel Katz

Shmuel Katz

Publications

Publication period start: 1976
Publication period end: 2005
Number of co-authors: 4

Co-authors

Number of publications with favourite co-authors
Zohar Manna
1
Iris Reinhartz-Berger
1
Dov Dori
1

Productive Colleagues

Most productive colleagues in number of publications
Awais Rashid
7
Zohar Manna
7
Dov Dori
11

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. http://dx.doi.org/10.1504/IJWET.2005.007462

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. http://doi.ieeecomputersociety.org/10.1109/RE.2004.22