litlas
Log inCreate account

Aaron Stump

Active 1999–2023

Affiliations
University of IowaWashington University in St. LouisThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
ORCID
0000-0002-9720-0003
95
Papers
3,891
Citations
25
h-index
37
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Aaron Stump2000: 6 citations2001: 12 citations2002: 42 citations2003: 46 citations2004: 69 citations2005: 81 citations2006: 94 citations2007: 57 citations2008: 75 citations2009: 72 citations2010: 74 citations2011: 72 citations2012: 108 citations2013: 100 citations2014: 92 citations2015: 128 citations2016: 149 citations2017: 121 citations2018: 130 citations2019: 159 citations2020: 129 citations2021: 140 citations2022: 61 citations2023: 69 citations2024: 42 citations2025: 34 citations2026: 22 citations

Citation sources

Countries

This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.

Institutions

Fields

  • Computer Science87.2%
  • Materials Science4.9%
  • Engineering3%
  • Biochemistry, Genetics and Molecular Biology1.3%
  • Social Sciences0.5%
  • Business, Management and Accounting0.4%
  • Other2.6%

Topics

  • Formal Methods in Verification26.7%
  • Logic, programming, and type systems22.4%
  • Software Testing and Debugging Techniques11.3%
  • Logic, Reasoning, and Knowledge7.9%
  • Security and Verification in Computing4.9%
  • Software Engineering Research4.5%
  • Other22.3%

Frequent coauthors

All papers

Open in search

Loading papers…

Aaron Stump | Litlas