Paul Brauner

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.1%
• Laboratoire Lorrain de Recherche en Informatique et ses Applications16.3%
• Centre National de la Recherche Scientifique10.3%
• Halmstad University6.9%
• Universidad Complutense de Madrid6.6%
• Rice University5.2%
• Other30.7%

Fields

• Computer Science88.3%
• Engineering5.1%
• Social Sciences2.6%
• Decision Sciences2%
• Biochemistry, Genetics and Molecular Biology1%
• Environmental Science0.5%
• Other0.5%

Topics

• Logic, programming, and type systems24.7%
• Formal Methods in Verification16.1%
• Model-Driven Software Engineering Techniques9.9%
• Logic, Reasoning, and Knowledge9.4%
• Software Engineering Research8.1%
• Advanced Software Engineering Methodologies8.1%
• Other23.8%