K. Samelson

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

• University of Alabama at Birmingham13.3%
• Radboud University Nijmegen11.2%
• University of California, Los Angeles10.1%
• University of Minnesota System9.6%
• Technical University of Munich9.6%
• University of Amsterdam6.9%
• Other39.4%

Fields

• Computer Science90%
• Engineering3%
• Social Sciences1.7%
• Arts and Humanities1.5%
• Mathematics1.1%
• Biochemistry, Genetics and Molecular Biology0.8%
• Other1.9%

Topics

• Logic, programming, and type systems24.5%
• Formal Methods in Verification10.2%
• Parallel Computing and Optimization Techniques8.3%
• semigroups and automata theory6.6%
• Model-Driven Software Engineering Techniques6.3%
• Software Engineering Research5.9%
• Other38.3%