Steve Awodey
1996–2026 年に発表
- 所属
- University of ChicagoCarnegie Mellon Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-9005-179X
- 別表記
- STEVE AWODEY
- 27
- 論文数
- 971
- 被引用数
- 10
- h 指数
- 10
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science61.2%
- Mathematics21.4%
- Arts and Humanities3.5%
- Engineering2.8%
- Psychology2.8%
- Physics and Astronomy2.3%
- その他6%
トピック
- Logic, programming, and type systems24.2%
- Logic, Reasoning, and Knowledge17.1%
- Homotopy and Cohomology in Algebraic Topology12.8%
- Advanced Algebra and Logic8.9%
- Formal Methods in Verification5.4%
- Advanced Topology and Set Theory4.3%
- その他27.4%
よく組む共著者
- Alexandra Silva3
- Klaus Meer3
- Thomas Piecha3
- Benedikt Lwe2
- Deirdre Haskell, Hamilton2
- Erich H. Reck2
- Florian Rabe2
- Kohei Kishida2
- MICHAEL A. WARREN2
- Abbott Michael Gordon1
- Adam Barwell1
- Alberto Momigliano1
- Ales Bizjak1
- Alex Buckley1
- Alexis Ghyselen1
- Aliya Hameer1
- Almeida Borges1
- Amal Ahmed1
- Ambrus Kaposi1
- Amin Timany1
- Amy Felty1
- Ana Bove1
- Ana De1
- Andrea Vezzosi1
全論文
論文を読み込んでいます…
