Junaid Babar

国・地域

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

機関

• University of Turin33.1%
• Centre National de la Recherche Scientifique13.1%
• Iowa State University10%
• Kansas State University8.8%
• Sorbonne Université6.5%
• University of Catania4.6%
• その他23.8%

分野

• Computer Science80.4%
• Biochemistry, Genetics and Molecular Biology7.2%
• Engineering5.2%
• Medicine2.1%
• Decision Sciences1%
• Environmental Science1%
• その他3.1%

トピック

• Formal Methods in Verification25%
• Petri Nets in System Modeling13%
• Software Reliability and Analysis Research9.4%
• Software Testing and Debugging Techniques7.8%
• Model-Driven Software Engineering Techniques7.8%
• Security and Verification in Computing6.8%
• その他30.2%