No photo of Shmuel Katz

View Scopus Profile

Shmuel Katz

Professor Emeritus

    Calculated based on number of publications stored in Pure and citations from Scopus
    1980 …2016

    Research activity per year

    Filter
    Chapter

    Search results

    • 2006

      Aspect categories and classes of temporal properties

      Katz, S., 2006, Transactions on Aspect-Oriented Software Development I. p. 106-134 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3880 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      59 Scopus citations
    • 2003

      Exploiting independence for verification, refinement, and modularity

      Katz, S., Jun 2003, Models, Algebras and Logic of Engineering Software: NATO Science Series, III: Computer and Systems Sciences. Broy, M. & Pizka, M. (eds.). Vol. 191. p. 195-209

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • On translating models and properties

      Katz, S., 2003, Models, Algebras and Logic of Engineering Software: NATO Science Series, III: Computer and Systems Sciences. Broy, M. & Pizka, M. (eds.). Vol. 191. p. 209-225

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

    • 2002

      Translations between textual transition systems and Petri nets

      Korenblat, K., Grumberg, O. & Katz, S., 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 2335. p. 339-359 21 p.

      Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

      4 Scopus citations