Concepedia

Ruediger Reischuk

RR

Statistics

Publications

5

Citations

388

H-Index

5

Active since

1982

Affiliations

IBM (United States)(Current)

Hebrew University of Jerusalem

Slovak Academy of Sciences

Tel Aviv University

Ruediger Reischuk is an author at IBM (United States) specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationComputational ComplexityBlockchainCryptographyCluster ComputingDistributed SystemsApproximation Theory

Publications per year

1982–1990

5

Publications

5

Early stopping in Byzantine agreement

Danny Dolev, Ruediger Reischuk, H. Raymond Strong · Journal of the ACM · 1990 · 245 citations · Full text

Cluster Computing, Blockchain Consensus Protocol, Engineering +16

'Eventual' is earlier than 'immediate'

Danny Dolev, Ruediger Reischuk, H. Raymond Strong · 1982 · 59 citations

Blockchain Consensus Protocol, Engineering, Immediate Agreement +15

Bounds on information exchange for Byzantine Agreement

Danny Dolev, Ruediger Reischuk · 1982 · 45 citations

Cluster Computing, Blockchain Consensus Protocol, Engineering +18

Two nonlinear lower bounds for on-line computations

Pavol Dūrī, Zvi Galil, Wolfgang J. Paul et al. · Information and Control · 1984 · 20 citations

Mathematical Programming, Nonlinear Lower Bounds, Computational Complexity Theory +5

Two nonlinear lower bounds

Pavol D riš, Wolfgang J. Paul, Zvi Galil et al. · 1983 · 19 citations

Nonlinear Lower Bounds, Computational Complexity Theory, Engineering +12

1–5 of 5