Kenneth Knowles

Active 2006–2007

2
Papers
87
Citations
2
h-index
2
i10-index

Self-citations are included in these numbers.

Citations per year

Citations

Citations per year for Kenneth Knowles2007: 3 citations2008: 3 citations2009: 8 citations2010: 8 citations2011: 8 citations2012: 4 citations2013: 3 citations2014: 6 citations2015: 2 citations2016: 3 citations2017: 6 citations2018: 2 citations2019: 2 citations2021: 4 citations2022: 1 citations2023: 1 citations2020: no citations, so this year is not shown

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.

Fields

  • Computer Science100%

Topics

  • Logic, programming, and type systems32.6%
  • Formal Methods in Verification18.2%
  • Software Engineering Research14.4%
  • Security and Verification in Computing6.1%
  • Parallel Computing and Optimization Techniques5%
  • Logic, Reasoning, and Knowledge4.4%
  • Other19.3%

Frequent coauthors

All papers

Loading papers…

Kenneth Knowles | Litlas