Concepedia

Oliver Rüthing

OR

8

Publications

856

Citations

8

H-Index

1992

Active since

Affiliations

University of Passau(Current)

Christian-Albrechts-Universität zu Kiel

TU Dortmund University

Oliver Rüthing is an author at University of Passau specializing in formal methods, engineering, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringComputational ComplexityFormal VerificationSystems EngineeringParallel Programming

Publications per year

1992–2000

8

Publications

8

Lazy code motion

Jens Knoop, Oliver Rüthing, Bernhard Steffen · 1992 · 260 citations · Full text

Engineering, Compiler Technology, Computer Architecture +22

Optimal code motion

Jens Knoop, Oliver Rüthing, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1994 · 201 citations · Full text

Mathematical Programming, Engineering, Unnecessary Code Motion +20

Partial dead code elimination

Jens Knoop, Oliver Rüthing, Bernhard Steffen · 1994 · 189 citations

Engineering, Automated Reasoning, Program Analysis +11

Lazy code motion

Jens Knoop, Oliver Rüthing, Bernhard Steffen · ACM SIGPLAN Notices · 1992 · 76 citations

Engineering, Compiler Technology, Computer Architecture +22

Partial dead code elimination

Jens Knoop, Oliver Rüthing, Bernhard Steffen · ACM SIGPLAN Notices · 1994 · 47 citations

Engineering, Automated Reasoning, Program Analysis +13

Rows per page

1–5 of 8