Patrick O'Keefe

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 University17%
• Environmental Protection Agency8.8%
• Aarhus University8.8%
• Institut national de recherche en sciences et technologies du numérique8.2%
• Purdue University West Lafayette8.2%
• Research Triangle Park Foundation6.8%
• Other42.2%

Fields

• Computer Science74.7%
• Environmental Science14%
• Agricultural and Biological Sciences2.2%
• Nursing2.2%
• Biochemistry, Genetics and Molecular Biology1.7%
• Decision Sciences1.1%
• Other3.9%

Topics

• Logic, programming, and type systems28.4%
• Formal Methods in Verification17.7%
• Logic, Reasoning, and Knowledge9.7%
• Software Engineering Research7.2%
• Parallel Computing and Optimization Techniques6.5%
• Toxic Organic Pollutants Impact5.7%
• Other24.7%