Andr Platzer

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 Nebraska–Lincoln23.5%
• Université Paris-Saclay23.5%
• Commissariat à l'Énergie Atomique et aux Énergies Alternatives17.6%
• Shahid Beheshti University11.8%
• University of Virginia11.8%
• University of Isfahan5.9%
• Other5.9%

Fields

• Computer Science100%

Topics

• Software Testing and Debugging Techniques20%
• Formal Methods in Verification13.3%
• Software Engineering Research13.3%
• Logic, programming, and type systems6.7%
• Software Engineering Techniques and Practices6.7%
• Teaching and Learning Programming6.7%
• Other33.3%