Daniel Ranalter

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

• Universität Innsbruck40%
• University of Miami20%
• The University of Melbourne20%
• Friedrich-Alexander-Universität Erlangen-Nürnberg20%

Fields

• Computer Science100%

Topics

• Logic, programming, and type systems22.2%
• Formal Methods in Verification22.2%
• Logic, Reasoning, and Knowledge22.2%
• Geochemistry and Geologic Mapping11.1%
• Geological Modeling and Analysis11.1%
• Electrical and Electromagnetic Research11.1%