The Value Flow Graph: A Program Representation for Optimal Program Transformations. - Bernhard Steffen; Jens Knoop; Oliver Rüthing (ESOP, 1990)

Efficient Code Motion and an Adaption to Strength Reduction. - Bernhard Steffen; Jens Knoop; Oliver Rüthing (TAPSOFT, Vol.2, 1991)

Lazy Code Motion. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (PLDI, 1992)

Lazy code motion (with retrospective) - Jens Knoop; Oliver Rüthing; Bernhard Steffen (Best of PLDI, 1992)

Partial Dead Code Elimination. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (PLDI, 1994)

Optimal Code Motion: Theory and Practice. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (ACM Trans. Program. Lang. Syst., 1994)

The Power of Assignment Motion. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (PLDI, 1995)

Non-monotone Fixpoint Iterations to Resolve Second Order Effects. - Alfons Geser; Jens Knoop; Gerald Lüttgen; Oliver Rüthing; Bernhard Steffen (CC, 1996)

Towards a tool kit for the automatic generation of interprocedural data flow analyses. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (J. Program. Lang., 1996)

Interacting Code Motion Transformations: Their Impact and Their Complexity. - Oliver Rüthing (Springer, 1998)

Code Motion and Code Placement: Just Synonyms? - Jens Knoop; Oliver Rüthing; Bernhard Steffen (ESOP, 1998)

Optimal Code Motion in the Presence of Large Expressions. - Oliver Rüthing (ICCL, 1998)

Bidirectional Data Flow Analysis in Code Motion: Myth and Reality. - Oliver Rüthing (SAS, 1998)

Optimization Under the Perspective of Soundness, Completeness, and Reusability. - Jens Knoop; Oliver Rüthing (Correct System Design, 1999)

Expansion-Based Removal of Semantic Partial Redundancies. - Jens Knoop; Oliver Rüthing; Bernhard Steffen (CC, 1999)

Detecting Equalities of Variables: Combining Efficiency with Precision. - Oliver Rüthing; Jens Knoop; Bernhard Steffen (SAS, 1999)

Constant Propagation on the Value Graph: Simple Constants and Beyond. - Jens Knoop; Oliver Rüthing (CC, 2000)

Sparse Code Motion. - Oliver Rüthing; Jens Knoop; Bernhard Steffen (POPL, 2000)

On the Complexity of Constant Propagation. - Markus Müller-Olm; Oliver Rüthing (ESOP, 2001)

Code motion in the presence of critical edges without bidirectional data flow analysis. - Oliver Rüthing (Sci. Comput. Program., 2001)

Constant Propagation on Predicated Code. - Jens Knoop; Oliver Rüthing (J. Univers. Comput. Sci., 2003)

Checking Herbrand Equalities and Beyond. - Markus Müller-Olm; Oliver Rüthing; Helmut Seidl (VMCAI, 2005)

ViDoC - Visual Design of Optimizing Compilers. - Tiziana Margaria; Oliver Rüthing; Bernhard Steffen (Program Analysis and Compilation, 2006)

Quality Engineering: Leveraging Heterogeneous Information - (Invited Talk). - Bernhard Steffen; Oliver Rüthing (VMCAI, 2011)

Mathematical Foundations of Advanced Informatics, Volume 1: Inductive Approaches. - Bernhard Steffen; Oliver Rüthing; Michael Huth 001 (Springer, 2018)