Shmuel Katz

Personal Homepage
Employer
()
Email

Publication Statistics

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

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

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, 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

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