Sam Staton
2004–2026 年に発表
- 所属
- University of OxfordUniversité Paris CitéRadboud University NijmegenUniversity of CambridgeScience Oxfordこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-7149-3805
- 73
- 論文数
- 1,370
- 被引用数
- 20
- h 指数
- 45
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science89.2%
- Mathematics3.4%
- Physics and Astronomy1.9%
- Arts and Humanities1.3%
- Engineering1%
- Biochemistry, Genetics and Molecular Biology0.9%
- その他2.3%
トピック
- Logic, programming, and type systems27%
- Logic, Reasoning, and Knowledge22.6%
- Formal Methods in Verification15.5%
- Bayesian Modeling and Causal Inference6.3%
- Advanced Algebra and Logic4%
- Computability, Logic, AI Algorithms3.9%
- その他20.7%
よく組む共著者
- Ohad Kammar8
- Sean K. Moss8
- Cristina Matache7
- Mathieu Huot6
- Hongseok Yang5
- Marcelo P. Fiore5
- Matthijs Vákár5
- Younesse Kaddar5
- Dario Stein4
- Jack Liell-Cock4
- Mathys Rennela4
- Paul Blain Levy4
- Alexandra Silva 00013
- Bart Jacobs 00013
- Chris Heunen3
- Sam Lindley3
- Swaraj Dash3
- Alexander K. Lew2
- Cameron E. Freer2
- Daniel M. Roy 00012
- Jacek Karwowski2
- Nathanael L. Ackerman2
- Nicolas Wu2
- Rasmus Ejlers Møgelberg2
全論文
論文を読み込んでいます…
