André Mariën

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

• Universidad Politécnica de Madrid14.1%
• KU Leuven14.1%
• Universidade do Porto9.4%
• University of Arizona7.8%
• Monash University7.8%
• TU Wien6.3%
• Other40.6%

Fields

• Computer Science100%

Topics

• Logic, programming, and type systems32.5%
• Formal Methods in Verification22.7%
• Logic, Reasoning, and Knowledge11.7%
• Software Testing and Debugging Techniques8.6%
• Parallel Computing and Optimization Techniques6.1%
• Constraint Satisfaction and Optimization3.7%
• Other14.7%