Concepedia

Ernst-Rüdiger Olderog

EO

25

Publications

1.1K

Citations

18

H-Index

1981

Active since

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Christian-Albrechts-Universität zu Kiel

University of Oxford

University of Amsterdam

Centrum Wiskunde & Informatica

Ernst-Rüdiger Olderog is an author at Carl von Ossietzky Universität Oldenburg specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationSystems EngineeringSoftware DesignProgram AnalysisSoftware Analysis

Publications per year

1981–2020

25

Publications

25

Specification-oriented semantics for Communicating Processes

Ernst-Rüdiger Olderog, C. A. R. Hoare · Acta Informatica · 1986 · 271 citations

Specification Language, Engineering, Automated Reasoning +10

Proof rules and transformations dealing with fairness

Krzysztof R. Apt, Ernst-Rüdiger Olderog · Science of Computer Programming · 1983 · 88 citations

Algorithmic Fairness, Fair Resource Allocation, Law +3

Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)

Ernst-Rüdiger Olderog, Bernhard Steffen · 1999 · 77 citations

Engineering, Recent Insight, System Programming +20

Failures without chaos: a new process semantics for fair abstraction

J.A. Bergstra, Jan Willem Klop, Ernst-Rüdiger Olderog · CWI's Institutional Repository (Centrum Wiskunde & Informatica) · 1986 · 63 citations · Full text

Fairness in parallel programs: the transformational approach

Ernst-Rüdiger Olderog, Krzysztof R. Apt · ACM Transactions on Programming Languages and Systems · 1988 · 61 citations · Full text

Engineering, Verification, Concurrent System +20

Rows per page

1–5 of 25