Mark Shields

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

• Utrecht University12.9%
• Microsoft Research (United Kingdom)12.3%
• University of Hong Kong11.4%
• Microsoft (United States)10.6%
• University of Cambridge6.9%
• Indiana University – Purdue University Indianapolis5.7%
• Other40.3%

Fields

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

Topics

• Logic, programming, and type systems31.6%
• Formal Methods in Verification15.1%
• Parallel Computing and Optimization Techniques10.9%
• Software Engineering Research8.8%
• Advanced Software Engineering Methodologies7%
• Logic, Reasoning, and Knowledge5.7%
• Other21%