M. Luckmann

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 Passau20.6%
• Technical University of Munich17.6%
• Carnegie Mellon University11.8%
• Kestrel Institute8.8%
• University of Edinburgh8.8%
• Ludwig-Maximilians-Universität München5.9%
• Other26.5%

Fields

• Computer Science100%

Topics

• Logic, programming, and type systems29.2%
• Formal Methods in Verification19.4%
• Software Engineering Research9.7%
• Advanced Software Engineering Methodologies8.3%
• Logic, Reasoning, and Knowledge8.3%
• Parallel Computing and Optimization Techniques4.2%
• Other20.8%