Follow
Michael Rodeh
Michael Rodeh
Senior Advisor to Permira
Verified email at rodeh.net
Title
Cited by
Cited by
Year
Finding a minimum circuit in a graph
A Itai, M Rodeh
SIAM Journal on Computing 7 (4), 413-423, 1978
5161978
The multi-tree approach to reliability in distributed networks
A Itai, M Rodeh
Information and Computation 79 (1), 43-59, 1988
3941988
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
3462003
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
3181982
Linear algorithm for data compression via string matching
M Rodeh, VR Pratt, S Even
Journal of the ACM (JACM) 28 (1), 16-24, 1981
3131981
Global instruction scheduling for superscalar machines
D Bernstein, M Rodeh
Proceedings of the ACM SIGPLAN 1991 conference on Programming language …, 1991
2651991
Symmetry breaking in distributed networks
A Itai, M Rodeh
Information and Computation 88 (1), 60-87, 1990
2291990
Symmetry breaking in distributive networks
A Itai, M Rodeh
22nd Annual Symposium on Foundations of Computer Science (sfcs 1981), 150-158, 1981
1571981
A sparse table implementation of priority queues
A Itai, AG Konheim, M Rodeh
International Colloquium on Automata, Languages, and Programming, 417-431, 1981
1431981
Achieving distributed termination without freezing
N Francez, M Rodeh
IEEE Transactions on Software Engineering, 287-292, 1982
1331982
Some matching problems for bipartite graphs
SL Tanimoto, A Itai, M Rodeh
Journal of the ACM (JACM) 25 (4), 517-525, 1978
1311978
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
1211989
Cleanness checking of string manipulations in C programs via integer analysis
N Dor, M Rodeh, M Sagiv
International Static Analysis Symposium, 194-212, 2001
1122001
Economical encoding of commas between strings
S Even, M Rodeh
Communications of the ACM 21 (4), 315-317, 1978
931978
Checking cleanness in linked lists
N Dor, M Rodeh, M Sagiv
International Static Analysis Symposium, 115-134, 2000
852000
Covering a graph by circuits
A Itai, M Rodeh
International Colloquium on Automata, Languages, and Programming, 289-299, 1978
851978
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
832000
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
741996
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
711980
Finding the median distributively
M Rodeh
Journal of Computer and System Sciences 24 (2), 162-166, 1982
691982
The system can't perform the operation now. Try again later.
Articles 1–20