Finding a minimum circuit in a graph A Itai, M Rodeh Proceedings of the ninth annual ACM symposium on Theory of computing, 1-10, 1977 | 582 | 1977 |
The multi-tree approach to reliability in distributed networks A Itai, M Rodeh Information and Computation 79 (1), 43-59, 1988 | 422 | 1988 |
CSSV: Towards a realistic tool for statically detecting all buffer overflows in C N Dor, M Rodeh, M Sagiv Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003 | 358 | 2003 |
An O (n log n) unidirectional distributed algorithm for extrema finding in a circle D Dolev, M Klawe, M Rodeh Journal of algorithms 3 (3), 245-260, 1982 | 332 | 1982 |
Linear algorithm for data compression via string matching M Rodeh, VR Pratt, S Even Journal of the ACM (JACM) 28 (1), 16-24, 1981 | 317 | 1981 |
Global instruction scheduling for superscalar machines D Bernstein, M Rodeh Proceedings of the ACM SIGPLAN 1991 conference on Programming language …, 1991 | 276 | 1991 |
Symmetry breaking in distributed networks A Itai, M Rodeh Information and Computation 88 (1), 60-87, 1990 | 238 | 1990 |
A sparse table implementation of priority queues A Itai, AG Konheim, M Rodeh International Colloquium on Automata, Languages, and Programming, 417-431, 1981 | 159 | 1981 |
Some matching problems for bipartite graphs SL Tanimoto, A Itai, M Rodeh Journal of the ACM (JACM) 25 (4), 517-525, 1978 | 150 | 1978 |
Achieving distributed termination without freezing N Francez, M Rodeh IEEE Transactions on Software Engineering, 287-292, 1982 | 145 | 1982 |
On the complexity of scheduling problems for parallel/pipelined machines D Bernstein, M Rodeh, I Gertner IEEE Transactions on computers 38 (9), 1308-1313, 1989 | 120 | 1989 |
Cleanness checking of string manipulations in C programs via integer analysis N Dor, M Rodeh, M Sagiv International Static Analysis Symposium, 194-212, 2001 | 119 | 2001 |
Symmetry breaking in distributive networks A Itai, M Rodeh 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981), 150-158, 1981 | 106 | 1981 |
Economical encoding of commas between strings S Even, M Rodeh Communications of the ACM 21 (4), 315-317, 1978 | 98 | 1978 |
Covering a graph by circuits A Itai, M Rodeh International Colloquium on Automata, Languages, and Programming, 289-299, 1978 | 92 | 1978 |
Text indexing and dictionary matching with one error A Amir, D Keselman, GM Landau, M Lewenstein, N Lewenstein, M Rodeh Journal of Algorithms 37 (2), 309-325, 2000 | 86 | 2000 |
Checking cleanness in linked lists N Dor, M Rodeh, M Sagiv International Static Analysis Symposium, 115-134, 2000 | 86 | 2000 |
Speculative load instruction rescheduler for a compiler which moves load instructions across basic block boundaries while avoiding program exceptions D Bernstein, ME Hopkins, M Rodeh US Patent 5,526,499, 1996 | 74 | 1996 |
A distributed abstract data type implemented by a probabilistic communication scheme N Francez, M Rodeh 21st Annual Symposium on Foundations of Computer Science (sfcs 1980), 373-379, 1980 | 73 | 1980 |
Loop equations with unknown pipe characteristics E Gofman, M Rodeh Journal of the Hydraulics Division 107 (9), 1047-1060, 1981 | 67 | 1981 |