Tomás Brázdil
2002–2026 年に発表
- 所属
- Masaryk Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-4547-3261
- 別表記
- Tomǎš Brázdil
- 79
- 論文数
- 1,342
- 被引用数
- 22
- h 指数
- 36
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science89.4%
- Decision Sciences4.1%
- Engineering1.8%
- Medicine1.4%
- Economics, Econometrics and Finance0.8%
- Biochemistry, Genetics and Molecular Biology0.7%
- その他1.9%
トピック
- Formal Methods in Verification34.6%
- Logic, programming, and type systems9.6%
- Logic, Reasoning, and Knowledge8.1%
- Software Reliability and Analysis Research7.3%
- Petri Nets in System Modeling7.2%
- Software Testing and Debugging Techniques4.9%
- その他28.2%
よく組む共著者
- Antonín Kucera 000139
- Petr Novotný 000118
- Krishnendu Chatterjee15
- Vojtech Forejt15
- Jan Kretínský13
- Vojtech Rehák11
- Václav Brozek11
- Jan Krcál8
- Petr Holub8
- Stefan Kiefer8
- Rudolf Nenutil7
- Vít Musil6
- Martin Chmelik5
- Javier Esparza4
- Kousha Etessami4
- Matej Gallo4
- Dominik Velan3
- Jan Obdrzálek3
- Adam Bajger2
- Adam Kukucka2
- Anchit Gupta2
- Antonı́n Kučera2
- David Klaska2
- David Parker 00012
全論文
論文を読み込んでいます…
