Timos Antonopoulos

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

• Centre National de la Recherche Scientifique17.6%
• Yale University8%
• ShanghaiTech University7.7%
• Max Planck Institute for Software Systems6.9%
• University of California, Santa Barbara6.5%
• University College London6.5%
• Other46.7%

Fields

• Computer Science93.5%
• Decision Sciences1.4%
• Engineering1.4%
• Business, Management and Accounting0.7%
• Mathematics0.7%
• Physics and Astronomy0.7%
• Other1.4%

Topics

• Formal Methods in Verification20.4%
• Logic, programming, and type systems15.9%
• Security and Verification in Computing14.7%
• Software Testing and Debugging Techniques8.8%
• Advanced Malware Detection Techniques8.1%
• Cryptographic Implementations and Security4.7%
• Other27.3%