Daniel Gratzer

国・地域

このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。

機関

• Aarhus University22.3%
• Max Planck Institute for Software Systems12.9%
• Carnegie Mellon University10.5%
• Institut national de recherche en sciences et technologies du numérique9.8%
• McGill University7%
• Radboud University Nijmegen5.9%
• その他31.6%

分野

• Computer Science88.5%
• Mathematics8.5%
• Arts and Humanities0.6%
• Biochemistry, Genetics and Molecular Biology0.6%
• Engineering0.6%
• Materials Science0.6%
• その他0.6%

トピック

• Logic, programming, and type systems32.9%
• Logic, Reasoning, and Knowledge14.1%
• Formal Methods in Verification12.9%
• Homotopy and Cohomology in Algebraic Topology7.6%
• Security and Verification in Computing5.7%
• Distributed systems and fault tolerance5.3%
• その他21.5%