Ernst-Rüdiger Olderog

Author

Carl von Ossietzky Universität Oldenburg ORCID

Also Known As

E R Olderog, E. -R. Olderog, E.-R. Olderog, Ernst -Rüdiger Olderog, Ernst-Rudiger Olderog, Ernst-Rüdiger Olderog, Ernst-R�diger Olderog, Hinchey, Mike, Olderog, Ernst-Rüdiger, Olderog, Ernst-Rüdiger 1955-

196

Publications

3.3K

Citations

H-Index

Concepts

All Affiliations

Carl von Ossietzky Universität Oldenburg Christian-Albrechts-Universität zu Kiel University of Oxford University of Amsterdam Centrum Wiskunde & Informatica

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	17	812
2	Business	2	2	41
3	Education	1	1	31
4	Language Studies	1	1	54
5	Law	1	1	88

Ernst-Rüdiger Olderog

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
Specification-oriented semantics for Communicating Processes Ernst-Rüdiger Olderog, C. A. R. Hoare Acta Informatica Specification LanguageEngineeringAutomated ReasoningFormal MethodsSoftware Analysis	1986	271
Proof rules and transformations dealing with fairness Krzysztof R. Apt, Ernst-Rüdiger Olderog Science of Computer Programming Algorithmic FairnessFair Resource AllocationLawFair DivisionMechanism Design	1983	88
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 EngineeringRecent InsightSystem ProgrammingSoftware EngineeringSystem Thinking	1999	77
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
Fairness in parallel programs: the transformational approach Ernst-Rüdiger Olderog, Krzysztof R. Apt ACM Transactions on Programming Languages and Systems EngineeringVerificationConcurrent SystemSoftware AnalysisFormal Verification	1988	61
Fifty years of Hoare’s logic Krzysztof R. Apt, Ernst-Rüdiger Olderog Formal Aspects of Computing	2019	61
On the notion of expressiveness and the rule of adaptation Ernst-Rüdiger Olderog Theoretical Computer Science Formal SemanticsComputational LogicPhilosophy Of LanguageEngineeringAutomated Reasoning	1983	54
Sound and complete Hoare-like calculi based on copy rules Ernst-Rüdiger Olderog Acta Informatica MusicDigital AudioEngineeringAudio Signal ProcessingSpeech Processing	1981	52
Verification of cooperating traffic agents Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog International Journal of Control Vehicle CommunicationEngineeringVerificationAutonomous Agent SystemAutonomous Systems	2006	49
Correctness of programs with Pascal-like procedures without global variables Ernst-Rüdiger Olderog Theoretical Computer Science Programming Language TheoryEngineeringAutomated ReasoningProgram AnalysisGlobal Variables	1984	35

Page 1