Concepedia

Shmuel Katz

SK

Statistics

Publications

52

Citations

2.5K

H-Index

27

Active since

1973

Affiliations

Technion – Israel Institute of Technology(Current)

IBM (United States)

Weizmann Institute of Science

IBM Research - Haifa

Shmuel Katz is an author at Technion – Israel Institute of Technology specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware AnalysisFormal VerificationProgram AnalysisVerificationAutomated ReasoningSoftware DesignSystem Software

Publications per year

1973–2020

52

Publications

52

Mesh Segmentation - A Comparative Study

Marco Attene, Shmuel Katz, Michela Mortara et al. · 2006 · 264 citations

Engineering, Geometry, Subdivision Surface +16

A superimposition control construct for distributed systems

Shmuel Katz · ACM Transactions on Programming Languages and Systems · 1993 · 179 citations · Full text

Account Save, Engineering, Distributed Parameter System +11

Self-stabilizing extensions for meassage-passing systems

Shmuel Katz, Kenneth J. Perry · Distributed Computing · 1993 · 178 citations

Engineering, Survivable System, Self-stabilizing Extensions +4

Appraising fairness in languages for distributed programming

Krzysztof R. Apt, Nissim Francez, Shmuel Katz · Distributed Computing · 1988 · 152 citations

Engineering, Distributed Programming, Program Analysis +7

Logical analysis of programs

Shmuel Katz, Zohar Manna · Communications of the ACM · 1976 · 137 citations · Full text

Program Checking, Engineering, Verification +18

1–5 of 52