Sam Buss
1985–2026 年に発表
- 所属
- Princeton UniversityUniversity of California San DiegoUniversity of California, Berkeleyこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0003-3837-334X
- 47
- 論文数
- 507
- 被引用数
- 12
- h 指数
- 15
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science90.9%
- Mathematics3%
- Engineering2.4%
- Decision Sciences1.5%
- Biochemistry, Genetics and Molecular Biology0.9%
- Environmental Science0.3%
- その他0.9%
トピック
- Formal Methods in Verification16%
- Complexity and Algorithms in Graphs14.5%
- Logic, Reasoning, and Knowledge12.8%
- Logic, programming, and type systems12.7%
- semigroups and automata theory10.4%
- Advanced Graph Theory Research5.6%
- その他28.1%
よく組む共著者
- Maria Luisa Bonet10
- Neil Thapen5
- Alexander Knop4
- Arnold Beckmann4
- Moritz Müller4
- Russell Impagliazzo4
- Alexey Ignatiev3
- António Morgado 00013
- James Aisenberg3
- João Marques-Silva 00013
- Sy-David Friedman3
- Antonina Kolokolova2
- Dmitry Itsykson2
- Dmitry Sokolov 00012
- Douglas Cenzer2
- Ilario Bonacina2
- Jan Johannsen2
- Jeffrey B. Remmel2
- Massimo Lauria2
- Mia Minnes2
- Nathan Segerlind2
- Valentine Kabanets2
- Adrian Craciun1
- Albert Atserias1
全論文
論文を読み込んでいます…
