Concepedia

Robert Balzer

RB

Statistics

Publications

19

Citations

1.6K

H-Index

15

Active since

1967

Affiliations

Leibniz University Hannover(Current)

Marina Del Rey Hospital

Federal Institute For Materials Research and Testing

Clausthal University of Technology

Ruhr University Bochum

Robert Balzer is an author at Leibniz University Hannover specializing in engineering, software design, and computer science.

Top concepts

EngineeringComputer ScienceSoftware DesignSystems EngineeringSoftware EngineeringProgram AnalysisSoftware AnalysisFormal MethodsSystem SoftwareAutomated Reasoning

Publications per year

1967–2020

19

Publications

19

On the inevitable intertwining of specification and implementation

William Swartout, Robert Balzer · Communications of the ACM · 1982 · 340 citations · Full text

Engineering, Computer Architecture, Software Engineering +20

Tolerating inconsistency

Robert Balzer · International Conference on Software Engineering · 1991 · 240 citations

Software Maintenance, Engineering, Verification +17

The organization of expert systems, a tutorial

Mark Stefik, Jan S. Aikins, Robert Balzer et al. · Artificial Intelligence · 1982 · 235 citations

Engineering, Expert Systems, Medical Expert System +8

An 8-state minimal time solution to the firing squad synchronization problem

Robert Balzer · Information and Control · 1967 · 180 citations

Engineering, Scheduling Analysis, Scheduling Problem +8

Operational specification as the basis for rapid prototyping

Robert Balzer, Neil Goldman, David S. Wile · ACM SIGSOFT Software Engineering Notes · 1982 · 124 citations · Full text

Engineering, Verification, Software Engineering +24

1–5 of 19