Casey Klein
Active 2010–2012
- 4
- Papers
- 108
- Citations
- 4
- h-index
- 3
- 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
Fields
- Computer Science98.8%
- Decision Sciences1.2%
Topics
- Logic, programming, and type systems27.7%
- Formal Methods in Verification13.8%
- Software Testing and Debugging Techniques12.9%
- Software Engineering Research11.2%
- Parallel Computing and Optimization Techniques6.7%
- Security and Verification in Computing5.8%
- Other21.9%
Frequent coauthors
All papers
Loading papers…
