Statistics
Publications
115
Citations
5.5K
H-Index
42
Active since
1959
Richard Anderson is an author at University of Washington specializing in computer science, computing, and algorithms.
Publications per year
1959–2024
115
115
Nilu Goonetilleke, Helen McShane, Carolyn M. Hannan et al. · The Journal of Immunology · 2003 · 359 citations · Full text
Model checking large software specifications
Richard Anderson, Paul Beame, S.M. Burns et al. · 1996 · 309 citations · Full text
Model checking large software specifications
W. K. Chan, Richard Anderson, Paul Beame et al. · IEEE Transactions on Software Engineering · 1998 · 199 citations
1–5 of 115