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
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
- Northeastern University14.3%
- Kyoto University10.1%
- University of Pennsylvania10.1%
- University of Maryland, College Park7.6%
- University of Edinburgh7.6%
- Northwestern University6.7%
- Other43.7%
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…
