Robert Dockins

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

• Princeton University14.9%
• Max Planck Institute for Software Systems13.2%
• National University of Singapore9.4%
• Institut national de recherche en sciences et technologies du numérique8.1%
• Aarhus University6.6%
• Radboud University Nijmegen5.7%
• Other42.1%

Fields

• Computer Science96.4%
• Engineering0.9%
• Biochemistry, Genetics and Molecular Biology0.6%
• Neuroscience0.6%
• Business, Management and Accounting0.3%
• Decision Sciences0.3%
• Other0.9%

Topics

• Logic, programming, and type systems26.1%
• Formal Methods in Verification18.8%
• Security and Verification in Computing15%
• Parallel Computing and Optimization Techniques8.2%
• Distributed systems and fault tolerance7.8%
• Logic, Reasoning, and Knowledge6.3%
• Other17.7%