Robert Cartwright
1976–2024 年に発表
- 所属
- Cornell UniversityRice UniversityLaboratoire d'Informatique de Paris-Nordこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 68
- 論文数
- 2,278
- 被引用数
- 25
- h 指数
- 42
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science85.8%
- Medicine8.8%
- Engineering2.3%
- Decision Sciences0.7%
- Biochemistry, Genetics and Molecular Biology0.4%
- Social Sciences0.4%
- その他1.6%
トピック
- Logic, programming, and type systems25.2%
- Formal Methods in Verification11.3%
- Software Engineering Research10.7%
- Parallel Computing and Optimization Techniques8.7%
- Software Testing and Debugging Techniques7.6%
- Logic, Reasoning, and Knowledge7.2%
- その他29.3%
よく組む共著者
- Walid Taha10
- Matthias Felleisen8
- Eric E. Allen6
- Paul Brauner6
- Yingfu Zeng6
- Adam Duracz5
- Roland Philippsen5
- Aaron D. Ames4
- Alexandre Chapoutot4
- Ferenc A. Bartha4
- Charles Reis3
- Henry Hoffmann3
- James Sasitorn3
- Jawad Masood3
- Krishna V. Palem3
- Mathias Ricken3
- Ramarao Kanneganti3
- Ryuichi Sai3
- Verónica Gaspes3
- Yao-Hsiang Yang3
- Ahsan Pervaiz2
- Angela Yun Zhu2
- Brian Stoler2
- Chad G. Rose2
全論文
論文を読み込んでいます…
