Loïc Pujet

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

• Institut national de recherche en sciences et technologies du numérique24.2%
• Stockholm University13.2%
• Carnegie Mellon University11%
• McGill University8.8%
• Eötvös Loránd University5.5%
• University of Chile5.5%
• Other31.9%

Fields

• Computer Science87.8%
• Mathematics10.2%
• Biochemistry, Genetics and Molecular Biology2%

Topics

• Logic, programming, and type systems32.1%
• Logic, Reasoning, and Knowledge16%
• Formal Methods in Verification15.3%
• Homotopy and Cohomology in Algebraic Topology7.6%
• Model-Driven Software Engineering Techniques4.6%
• Computability, Logic, AI Algorithms4.6%
• Other19.8%