Jirí Srba
1998–2026 年に発表
- 所属
- Danish National Research FoundationAalborg UniversityAarhus UniversityNational Research Foundationこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-5551-6547
- 157
- 論文数
- 2,179
- 被引用数
- 25
- h 指数
- 66
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science87.7%
- Engineering4.3%
- Business, Management and Accounting2.4%
- Decision Sciences2%
- Biochemistry, Genetics and Molecular Biology1.3%
- Social Sciences0.5%
- その他1.9%
トピック
- Formal Methods in Verification32.9%
- Logic, programming, and type systems12.3%
- Petri Nets in System Modeling10.5%
- Model-Driven Software Engineering Techniques6.7%
- Software Testing and Debugging Techniques6.4%
- semigroups and automata theory5.2%
- その他26.1%
よく組む共著者
- Kim Guldstrand Larsen35
- Kim G. Larsen31
- Peter Gjøl Jensen27
- Stefan Schmid 000123
- Morten Konggaard Schou13
- Søren Enevoldsen9
- Marco Muñiz8
- Jan Kretínský7
- Nikola Benes7
- Kenneth Yrke Jørgensen6
- Mikael H. Møller6
- Juan Vanerio5
- Lasse Jacobsen5
- Morten Jacobsen5
- Anders Mariegaard4
- Andreas Engelbredt Dalsgaard4
- Frederik M. Bønneland4
- Isabella Kaufmann4
- Jakob Haahr Taankvist4
- Line Juhl4
- Marius Mikucionis4
- Mathias Grund Sørensen4
- Petr Jancar4
- Anders P. Ravn3
全論文
論文を読み込んでいます…
