| Self-stabilizing extensions for meassage-passing systems S Katz, KJ Perry Distributed Computing 7 (1), 17-26, 1993 | 329 | 1993 |
| A superimposition control construct for distributed systems S Katz ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (2), 337-356, 1993 | 258 | 1993 |
| Appraising fairness in languages for distributed programming KR Apt, N Francez, S Katz Distributed Computing 2 (4), 226-241, 1988 | 209 | 1988 |
| Logical analysis of programs S Katz, Z Manna Communications of the ACM 19 (4), 188-206, 1976 | 172 | 1976 |
| Defining conditional independence using collapses S Katz, D Peled Theoretical Computer Science 101 (2), 337-359, 1992 | 164 | 1992 |
| Architectural views of aspects M Katara, S Katz Proceedings of the 2nd international conference on Aspect-oriented software …, 2003 | 144 | 2003 |
| Aspect categories and classes of temporal properties S Katz Transactions on aspect-oriented software development I, 106-134, 2006 | 119 | 2006 |
| On the feasibility of distributed constraint satisfaction Z Collin, R Dechter, S Katz University of California (Los Angeles). Computer Science Department, 1991 | 114 | 1991 |
| Verification of distributed programs using representative interleaving sequences S Katz, D Peled Distributed Computing 6 (2), 107-120, 1992 | 109 | 1992 |
| Interleaving set temporal logic S Katz, D Peled LECTURE NOTES IN COMPUTER SCIENCE 398, 21-43, 1989 | 107 | 1989 |
| Interleaving set temporal logic S Katz, D Peled Proceedings of the sixth annual ACM Symposium on Principles of distributed …, 1987 | 107 | 1987 |
| PARIS: A system for reusing partially interpreted schemas S Katz, CA Richter Software reuse: emerging technology, 290-298, 1988 | 101 | 1988 |
| PARIS: A system for reusing partially interpreted schemas S Katz, CA Richter Proceedings of the 9th international conference on Software Engineering, 377-385, 1987 | 101 | 1987 |
| An efficient verification method for parallel and distributed programs S Katz, D Peled Workshop/School/Symposium of the REX Project (Research and Education in …, 1988 | 92 | 1988 |
| A heuristic approach to program verification S Katz, Z Manna IJCAI, 500-512, 1973 | 79 | 1973 |
| Superimpositions and aspect-oriented programming M Sihman, S Katz The Computer Journal 46 (5), 529-541, 2003 | 75 | 2003 |
| Diagnosis of harmful aspects using regression verification S Katz, H Israel FOAL: Foundations Of Aspect-Oriented Languages, 1-6, 2004 | 68 | 2004 |
| Multiparty interactions for interprocess communication and synchronization M Evangelist, N Francez, S Katz IEEE Transactions on Software Engineering 15 (11), 1417-1426, 1989 | 62 | 1989 |
| OPM/Web–object-process methodology for developing web applications I Reinhartz-Berger, D Dori, S Katz Annals of Software Engineering 13 (1), 141-161, 2002 | 59 | 2002 |
| From aspectual requirements to proof obligations for aspect-oriented systems S Katz, A Rashid Proceedings. 12th IEEE International Requirements Engineering Conference …, 2004 | 58 | 2004 |
