Benjamin Delaware

国・地域

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

機関

• Massachusetts Institute of Technology15.9%
• University of Passau10.5%
• The University of Texas at Austin9.7%
• Purdue University West Lafayette9.5%
• University of Turin8.2%
• Centre National de la Recherche Scientifique6.4%
• その他39.9%

分野

• Computer Science94.4%
• Engineering1.1%
• Biochemistry, Genetics and Molecular Biology0.8%
• Arts and Humanities0.5%
• Business, Management and Accounting0.5%
• Earth and Planetary Sciences0.5%
• その他2.1%

トピック

• Logic, programming, and type systems22.1%
• Formal Methods in Verification14.7%
• Advanced Software Engineering Methodologies11.1%
• Software Engineering Research10.6%
• Security and Verification in Computing7.6%
• Software Testing and Debugging Techniques6.3%
• その他27.5%