Concepedia

Arthur Bernstein

AB

23

Publications

1K

Citations

19

H-Index

1971

Active since

Affiliations

Stony Brook University(Current)

State University of New York

Wayne State University

Arthur Bernstein is an author at Stony Brook University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationSystem SoftwareProgram AnalysisSoftware AnalysisAutomated ReasoningSystems Engineering

Publications per year

1971–2005

23

Publications

23

Efficient solutions to the replicated log and dictionary problems

Gene T. J. Wuu, Arthur Bernstein · 1984 · 147 citations · Full text

Cluster Computing, Engineering, Unreliable Network +19

Proving real-time properties of programs with temporal logic

Arthur Bernstein, Paul K. Harter · ACM SIGOPS Operating Systems Review · 1981 · 115 citations

Program Checking, Engineering, Real-time Program +19

Output Guards and Nondeterminism in “Communicating Sequential Processes”

Arthur Bernstein · ACM Transactions on Programming Languages and Systems · 1980 · 87 citations · Full text

Engineering, Verification, Concurrent System +17

Bounded ignorance

Narayanan Krishnakumar, Arthur Bernstein · ACM Transactions on Database Systems · 1994 · 68 citations · Full text

Constraint Violation, Data Consistency, Bounded Violations +11

Distributed communication via global buffer

David Gelernter, Arthur Bernstein · 1982 · 64 citations

Engineering, Computer Architecture, Communication +18

Rows per page

1–5 of 23