litlas
Log inCreate account

Brian Huffman

Active 2005–2025

Affiliations
Portland State UniversityTechnical University of MunichThis 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-0001-7847-962X
21
Papers
461
Citations
10
h-index
10
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Brian Huffman2005: 1 citations2006: 2 citations2007: 1 citations2008: 3 citations2009: 1 citations2010: 3 citations2011: 4 citations2012: 8 citations2013: 10 citations2014: 19 citations2015: 26 citations2016: 25 citations2017: 24 citations2018: 30 citations2019: 30 citations2020: 29 citations2021: 23 citations2022: 27 citations2023: 25 citations2024: 29 citations2025: 28 citations2026: 7 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 Science90.9%
  • Mathematics3.8%
  • Engineering1.9%
  • Social Sciences0.9%
  • Medicine0.6%
  • Psychology0.6%
  • Other1.3%

Topics

  • Logic, programming, and type systems26.6%
  • Formal Methods in Verification22.1%
  • Logic, Reasoning, and Knowledge12.2%
  • Security and Verification in Computing9.3%
  • Software Testing and Debugging Techniques6.1%
  • Advanced Malware Detection Techniques3.8%
  • Other20%

Frequent coauthors

All papers

Open in search

Loading papers…

Brian Huffman | Litlas