Mathias Preiner

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

• Stanford University17.4%
• Institute of Software9.9%
• TU Wien9.5%
• Johannes Kepler University of Linz8.3%
• University of Iowa7.1%
• Chinese Academy of Sciences7.1%
• Other40.8%

Fields

• Computer Science91.7%
• Engineering2.9%
• Decision Sciences1.3%
• Medicine0.7%
• Social Sciences0.7%
• Mathematics0.6%
• Other2.1%

Topics

• Formal Methods in Verification26.7%
• Logic, programming, and type systems18.4%
• Software Testing and Debugging Techniques14.3%
• Security and Verification in Computing5.9%
• Software Engineering Research4.7%
• Parallel Computing and Optimization Techniques4.4%
• Other25.6%