Some Matching Problems. - Alon Itai; Michael Rodeh (ICALP, 1977)

Covering a Graph by Circuits. - Alon Itai; Michael Rodeh (ICALP, 1978)

Economical Encoding of Commas Between Strings. - Shimon Even; Michael Rodeh (Commun. ACM, 1978)

Some Matching Problems for Bipartite Graphs. - Alon Itai; Michael Rodeh; Steven L. Tanimoto (J. ACM, 1978)

Finding a Minimum Circuit in a Graph. - Alon Itai; Michael Rodeh (SIAM J. Comput., 1978)

Designing efficient algorithms for APL: A case study of a hydraulic-network solver. - Emanuel Gofman; Michael Rodeh (APL, 1979)

A Distributed Abstract Data Type Implemented by a Probabilistic Communication Scheme - Nissim Francez; Michael Rodeh (FOCS, 1980)

A System for Constructing Linear Programming Models. - Shmuel Katz; Lawrence J. Risman; Michael Rodeh (IBM Syst. J., 1980)

Symmetry Breaking in Distributive Networks - Alon Itai; Michael Rodeh (FOCS, 1981)

A Sparse Table Implementation of Priority Queues. - Alon Itai; Alan G. Konheim; Michael Rodeh (ICALP, 1981)

Distributed Termination with Interval Assertions. - N. Frances; Michael Rodeh; Michel Sintzoff (ICFPC, 1981)

A Layout for the Shuffle-Exchange Network with Theta(N²/log N) Area. - David Steinberg; Michael Rodeh (Inf. Process. Lett., 1981)

Linear Algorithm for Data Compression via String Matching. - Michael Rodeh; Vaughan R. Pratt; Shimon Even (J. ACM, 1981)

Covering Graphs by Simple Circuits. - Alon Itai; Richard J. Lipton; Christos H. Papadimitriou; Michael Rodeh (SIAM J. Comput., 1981)

A Layout for the Shuffle-Exchange Network with O(N2/log3/2N) Area. - David Steinberg; Michael Rodeh (IEEE Trans. Computers, 1981)

Representation of Graphs. - Alon Itai; Michael Rodeh (Acta Informatica, 1982)

An O(n log n) Unidirectional Distributed Algorithm for Extrema Finding in a Circle. - Danny Dolev; Maria M. Klawe; Michael Rodeh (J. Algorithms, 1982)

Finding the Median Distributively. - Michael Rodeh (J. Comput. Syst. Sci., 1982)

A fast test for unique decipherability based on suffix trees. - Michael Rodeh (IEEE Trans. Inf. Theory, 1982)

Achieving Distributed Termination without Freezing. - Nissim Francez; Michael Rodeh (IEEE Trans. Software Eng., 1982)

Distributed k-Selection: From a Sequential to a Distributed Algorithm. - Liuba Shrira; Nissim Francez; Michael Rodeh (PODC, 1983)

Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses. - David Bernstein; Ron Y. Pinter; Michael Rodeh (POPL, 1985)

Scheduling Transmissions in a Network. - Alon Itai; Michael Rodeh (J. Algorithms, 1985)

FLAME - An Efficient Access Method for Optical Disks. - Uri Shani; Michael Rodeh; Alan J. Wecker; Ike Sagie (RIAO, 1988)

The Multi-Tree Approach to Reliability in Distributed Networks - Alon Itai; Michael Rodeh (Inf. Comput., 1988)

A dialogue manager for efficient adaptive man-machine dialogues. - Jacob P. Ukelson; Michael Rodeh (COMPSAC, 1989)

Resolving Circularity in Attribute Grammars with Applications to Data Flow Analysis. - Shmuel Sagiv; Orit Edelstein; Nissim Francez; Michael Rodeh (POPL, 1989)

Approximation Algorithms for Scheduling Arithmetic Expressions on Pipelined Machines. - David Bernstein; Michael Rodeh; Izidor Gertner (J. Algorithms, 1989)

Scheduling Arithmetic and Load Operations in Parallel with No Spilling. - David Bernstein; Jeffrey M. Jaffe; Michael Rodeh (SIAM J. Comput., 1989)

On the Complexity of Scheduling Problems for Parallel/Pipelined Machines. - David Bernstein; Michael Rodeh; Izidor Gertner (IEEE Trans. Computers, 1989)

A Logic-Based Approach to Data Flow Analysis Problem. - Shmuel Sagiv; Nissim Francez; Michael Rodeh; Reinhard Wilhelm (PLILP, 1990)

Symmetry breaking in distributed networks - Alon Itai; Michael Rodeh (Inf. Comput., 1990)

Global Instruction Scheduling for Superscalar Machines. - David Bernstein; Michael Rodeh (PLDI, 1991)

Proving Safety of Speculative Load Instructions at Compile Time. - David Bernstein; Michael Rodeh; Shmuel Sagiv (ESOP, 1992)

Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience). - Nurit Dor; Michael Rodeh; Shmuel Sagiv (PASTE, 1998)

Matrix Multiplication: A Case Study of Algorithm Engineering. - Nadav Eiron; Michael Rodeh; Iris Steinwarts (WAE, 1998)

A Logic-Based Approach to Program Flow Analysis. - Shmuel Sagiv; Nissim Francez; Michael Rodeh; Reinhard Wilhelm (Acta Informatica, 1998)

Virtual Cache Line: A New Technique to Improve Cache Exploitation for Recursive Data Structures. - Shai Rubin; David Bernstein; Michael Rodeh (CC, 1999)

Indexing and Dictionary Matching with One Error. - Amihood Amir; Dmitry Keselman; Gad M. Landau; Moshe Lewenstein; Noa Lewenstein; Michael Rodeh (WADS, 1999)

On an Algorithm of Zemlyachenko for Subtree Isomorphism. - Yefim Dinitz; Alon Itai; Michael Rodeh (Inf. Process. Lett., 1999)

Finding Circular Attributes in Attribute Grammars. - Michael Rodeh; Shmuel Sagiv (J. ACM, 1999)

Matrix Multiplication: A Case Study of Enhanced Data Cache Utilization. - Nadav Eiron; Michael Rodeh; Iris Steinwarts (ACM J. Exp. Algorithmics, 1999)

Checking Cleanness in Linked Lists. - Nurit Dor; Michael Rodeh; Shmuel Sagiv (SAS, 2000)

Text Indexing and Dictionary Matching with One Error. - Amihood Amir; Dmitry Keselman; Gad M. Landau; Moshe Lewenstein; Noa Lewenstein; Michael Rodeh (J. Algorithms, 2000)

Cleanness Checking of String Manipulations in C Programs via Integer Analysis. - Nurit Dor; Michael Rodeh; Shmuel Sagiv (SAS, 2001)

The passport control problem or how to keep a dynamic service system load balanced? - Alon Itai; Michael Rodeh; Hadas Shachnai (Theor. Comput. Sci., 2002)

CSSV: towards a realistic tool for statically detecting all buffer overflows in C. - Nurit Dor; Michael Rodeh; Shmuel Sagiv (PLDI, 2003)