Concepedia

Robert Keller

RK

53

Publications

3.5K

Citations

25

H-Index

1970

Active since

Affiliations

University of Bayreuth(Current)

Fraunhofer Institute for Applied Information Technology

University of Augsburg

University of Utah

Kempten University of Applied Sciences

Robert Keller is an author at University of Bayreuth specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSystems EngineeringSoftware AnalysisParallel ComputingComputer EngineeringParallel ProgrammingAutomated Reasoning

Publications per year

1970–2024

53

Publications

53

Formal verification of parallel programs

Robert Keller · Communications of the ACM · 1976 · 785 citations · Full text

Program Checking, Engineering, Verification +23

The Energy Consumption of Blockchain Technology: Beyond Myth

Johannes Sedlmeir, Hans Ulrich Buhl, Gilbert Fridgen et al. · Business & Information Systems Engineering · 2020 · 446 citations · Full text

Some approaches to best-match file searching

Walter A. Burkhard, Robert Keller · Communications of the ACM · 1973 · 411 citations · Full text

Engineering, Query Key, Computational Complexity +17

The Gradient Model Load Balancing Method

Frank C. Lin, Robert Keller · IEEE Transactions on Software Engineering · 1987 · 275 citations

Mathematical Programming, Cluster Computing, Load Balancing (Computing) +18

A holistic view on sector coupling

Gilbert Fridgen, Robert Keller, Marc-Fabian Körner et al. · Energy Policy · 2020 · 112 citations · Full text

Rows per page

1–5 of 53