Ivan Gavran

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

• The University of Texas at Austin14.5%
• Arizona State University14.2%
• Max Planck Institute for Software Systems12.1%
• Imperial College London7.4%
• University of Oxford7.1%
• TU Dortmund University6.5%
• Other38.2%

Fields

• Computer Science88.7%
• Engineering6.1%
• Biochemistry, Genetics and Molecular Biology1.3%
• Medicine1.3%
• Business, Management and Accounting0.9%
• Agricultural and Biological Sciences0.4%
• Other1.3%

Topics

• Formal Methods in Verification21.7%
• Machine Learning and Algorithms15.2%
• Reinforcement Learning in Robotics14.5%
• Software Testing and Debugging Techniques6.5%
• AI-based Problem Solving and Planning6%
• Logic, programming, and type systems5.8%
• Other30.4%