D Pilaud

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

• Centre National de la Recherche Scientifique16.8%
• Institut national de recherche en sciences et technologies du numérique15.6%
• University of California, Berkeley12.8%
• Verimag8.4%
• Institut de Recherche en Informatique et Systèmes Aléatoires7.7%
• Yale University6.6%
• Other32.1%

Fields

• Computer Science96.8%
• Engineering1.1%
• Decision Sciences0.5%
• Agricultural and Biological Sciences0.3%
• Biochemistry, Genetics and Molecular Biology0.3%
• Medicine0.3%
• Other0.8%

Topics

• Formal Methods in Verification23.2%
• Embedded Systems Design Techniques19.5%
• Real-Time Systems Scheduling11.1%
• Parallel Computing and Optimization Techniques10.5%
• Logic, programming, and type systems8.3%
• Model-Driven Software Engineering Techniques5.5%
• Other22%