Jeff Egger

国・地域

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

機関

• University of Cambridge13.8%
• University of Edinburgh11.3%
• Centre National de la Recherche Scientifique10%
• Université Paris Cité10%
• IT University of Copenhagen8.8%
• Radboud University Nijmegen6.3%
• その他40%

分野

• Computer Science94%
• Biochemistry, Genetics and Molecular Biology2%
• Engineering2%
• Environmental Science2%

トピック

• Logic, programming, and type systems31.2%
• Logic, Reasoning, and Knowledge23.9%
• Formal Methods in Verification15.2%
• Parallel Computing and Optimization Techniques7.2%
• Advanced Algebra and Logic7.2%
• Advanced Database Systems and Queries3.6%
• その他11.6%