Joe Hendrix

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 Illinois Urbana-Champaign27.6%
• Galois (United States)10.4%
• Universidad de Málaga9.3%
• Universitat Politècnica de València9%
• Universidad Complutense de Madrid7.8%
• Microsoft Research (United Kingdom)6.3%
• Other29.5%

Fields

• Computer Science93.2%
• Social Sciences2.3%
• Engineering1.7%
• Decision Sciences1.1%
• Business, Management and Accounting0.6%
• Pharmacology, Toxicology and Pharmaceutics0.6%
• Other0.6%

Topics

• Formal Methods in Verification22.1%
• Logic, programming, and type systems21.4%
• Software Testing and Debugging Techniques11.4%
• Security and Verification in Computing9.3%
• Logic, Reasoning, and Knowledge7.9%
• Advanced Malware Detection Techniques4%
• Other23.8%