Concepedia

H. Raymond Strong

HR

Statistics

Publications

25

Citations

2.8K

H-Index

20

Active since

1968

Affiliations

IBM (United States)(Current)

IBM Research - Thomas J. Watson Research Center

Hebrew University of Jerusalem

IBM Research - Almaden

H. Raymond Strong is an author at IBM (United States) specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSystems EngineeringComputational ComplexityBlockchainCryptographyComputer EngineeringAutomated Reasoning

Publications per year

1968–2011

25

Publications

25

Extendible hashing—a fast access method for dynamic files

Ronald Fagin, Jürg Nievergelt, Nicholas Pippenger et al. · ACM Transactions on Database Systems · 1979 · 665 citations · Full text

Engineering, Extendible Hashing, Dynamic Files +17

Authenticated Algorithms for Byzantine Agreement

Danny Dolev, H. Raymond Strong · SIAM Journal on Computing · 1983 · 635 citations

Cluster Computing, Blockchain Consensus Protocol, Engineering +18

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

An efficient algorithm for byzantine agreement without authentication

Danny Dolev, Michael J. Fischer, Rob Fowler et al. · Information and Control · 1982 · 149 citations

Blockchain Consensus Protocol, Engineering, Authentication Protocol +9

Polynomial algorithms for multiple processor agreement

Danny Dolev, H. Raymond Strong · 1982 · 149 citations

Mathematical Programming, Blockchain Consensus Protocol, Exponential Number +21

1–5 of 25