Alex Simpson
2004–2025 年に発表
- 所属
- University of LjubljanaUniversity of EdinburghInstitute of Mathematics, Physics, and Mechanicsこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 54
- 論文数
- 1,696
- 被引用数
- 22
- h 指数
- 34
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 2 年分(被引用 2 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science68%
- Medicine16.9%
- Mathematics5.3%
- Biochemistry, Genetics and Molecular Biology2.2%
- Physics and Astronomy1.8%
- Economics, Econometrics and Finance0.9%
- その他5%
トピック
- Logic, programming, and type systems26.2%
- Logic, Reasoning, and Knowledge21.4%
- Formal Methods in Verification15.7%
- Computability, Logic, AI Algorithms7.7%
- Multiple Sclerosis Research Studies5.6%
- Advanced Algebra and Logic5.2%
- その他18%
よく組む共著者
- Rasmus Ejlers Møgelberg7
- Sreeram V Ramagopalan5
- Jeff Egger4
- Matthias Schröder 00014
- Beth Nordstrom3
- Cormac Sammon3
- Matteo Mio3
- Andrej Bauer2
- Ariel Berger2
- Brian R. Murphy2
- Carsten Butz2
- Claire Jenkins2
- Gauri Godbole2
- Giulio Disanto2
- Ingo Battenfeld2
- James Brotherston2
- Jeffrey S. Berger2
- Jens Kühle2
- Laura McDonald2
- Nicholas J. Leeper2
- Qi Zhao2
- Steven Awodey2
- Thomas Streicher2
- Windsor Ting2
全論文
論文を読み込んでいます…
