Concepedia

Robert H. B. Netzer

RH

Statistics

Publications

29

Citations

2.4K

H-Index

23

Active since

1989

Affiliations

Brown University(Current)

University of Wisconsin–Madison

John Brown University

Institut de Recherche en Informatique et Systèmes Aléatoires

Université de Rennes

Robert H. B. Netzer is an author at Brown University specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceSoftware AnalysisFormal VerificationProgram AnalysisParallel ComputingParallel ProgrammingSoftware TestingFormal MethodsSystem Software

Publications per year

1989–2006

29

Publications

29

What are race conditions?

Robert H. B. Netzer, Barton P. Miller · ACM Letters on Programming Languages and Systems · 1992 · 452 citations · Full text

Ethnicity, Engineering, Race Law +26

Necessary and sufficient conditions for consistent global snapshots

Robert H. B. Netzer, Jian Xu · IEEE Transactions on Parallel and Distributed Systems · 1995 · 239 citations

Software Maintenance, Data Consistency, Engineering +14

Optimal tracing and replay for debugging shared-memory parallel programs

Robert H. B. Netzer · 1993 · 180 citations · Full text

Engineering, Data Science, Performance Monitoring +15

Improving the accuracy of data race detection

Robert H. B. Netzer, Barton P. Miller · 1991 · 172 citations

Engineering, Verification, Parallel Programmingapril 1991 +17

Techniques for debugging parallel programs with flowback analysis

Jong-Deok Choi, Barton P. Miller, Robert H. B. Netzer · ACM Transactions on Programming Languages and Systems · 1991 · 167 citations · Full text

1–5 of 29