Scholar
Allison H. Baker
Google Scholar ID: wdM8xCYAAAAJ
National Center for Atmospheric Research
parallel computing
numerical software for scientific computing
iterative solvers
multigrid
performance analysis
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,694
H-index
20
i10-index
34
Publications
20
Co-authors
8
list available
Publications
1 items
Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
2025
Cited
0
Co-authors
4 total
Tzanio Kolev
Lawrence Livermore National Laboratory
Robert Falgout
Lawrence Livermore National Laboratory
Todd Gamblin
Lawrence Livermore National Laboratory
William Gropp
Professor of Computer Science, University of Illinois
