Gil Lederman

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

• Tsinghua University15.7%
• Google (United States)14.8%
• University of Toronto9.3%
• Vector Institute6.5%
• University of Notre Dame5.6%
• Université Toulouse III - Paul Sabatier5.6%
• Other42.6%

Fields

• Computer Science84.9%
• Engineering9.4%
• Business, Management and Accounting1.9%
• Psychology1.9%
• Social Sciences1.9%

Topics

• Formal Methods in Verification10.1%
• Natural Language Processing Techniques10.1%
• Constraint Satisfaction and Optimization10.1%
• Topic Modeling8.9%
• Logic, programming, and type systems7.6%
• Software Engineering Research6.3%
• Other46.8%