Krishnendu Chatterjee
2003–2026 年に発表
- 所属
- Berkeley CollegeUniversity of California, BerkeleyInstitute of Science and Technology Austriaこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-4561-241X
- 389
- 論文数
- 11,338
- 被引用数
- 53
- h 指数
- 198
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 2 年分(被引用 5 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science66.1%
- Social Sciences9.1%
- Biochemistry, Genetics and Molecular Biology7.4%
- Medicine4.7%
- Decision Sciences4.4%
- Engineering3.3%
- その他5.1%
トピック
- Formal Methods in Verification31%
- Logic, programming, and type systems11.9%
- Logic, Reasoning, and Knowledge9.9%
- Software Testing and Debugging Techniques6.4%
- Petri Nets in System Modeling5.1%
- Evolutionary Game Theory and Cooperation4.5%
- その他31.3%
よく組む共著者
- Thomas A. Henzinger97
- Laurent Doyen 000134
- Andreas Pavlogiannis32
- Amir Kafshdar Goharshady30
- Dorde Zikelic29
- Rasmus Ibsen-Jensen24
- Petr Novotný 000120
- Hongfei Fu 000119
- Martin A. Nowak19
- Monika Henzinger19
- Rupak Majumdar19
- Jakub Svoboda18
- Luca de Alfaro18
- Martin Chmelik18
- Tomás Brázdil15
- Ali Asadi14
- Ehsan Kafshdar Goharshady14
- Jan Otop11
- Raimundo Saona11
- Barbara Jobstmann10
- Jan Kretínský10
- Jean-François Raskin10
- Tobias Meggendorfer10
- Christian Hilbe9
全論文
論文を読み込んでいます…
