Jan Otop

国・地域

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

機関

• Institute of Science and Technology Austria27.7%
• Centre National de la Recherche Scientifique12.7%
• University of Wrocław12.7%
• University of Freiburg8%
• Université Libre de Bruxelles6.6%
• University of Michigan4.2%
• その他28.2%

分野

• Computer Science91.7%
• Decision Sciences2.1%
• Mathematics2.1%
• Agricultural and Biological Sciences1.4%
• Engineering1.4%
• Business, Management and Accounting0.7%
• その他0.7%

トピック

• Formal Methods in Verification28.7%
• semigroups and automata theory15%
• Logic, programming, and type systems14.7%
• Machine Learning and Algorithms8.1%
• Petri Nets in System Modeling6.5%
• Logic, Reasoning, and Knowledge5.9%
• その他21.2%