Tim Waring

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

• École Polytechnique20%
• University of Cambridge20%
• University of Birmingham20%
• École Normale Supérieure de Lyon10%
• University of Luxembourg10%
• Laboratoire d'Informatique de l'École Polytechnique10%
• Other10%

Fields

• Computer Science100%

Topics

• Logic, programming, and type systems25%
• Formal Methods in Verification25%
• Logic, Reasoning, and Knowledge25%
• Advanced Numerical Analysis Techniques8.3%
• Polynomial and algebraic computation8.3%
• Advanced Algebra and Logic8.3%