K. Samelson
1958–2023 年に発表
- 別表記
- K Samelson
- 6
- 論文数
- 758
- 被引用数
- 5
- h 指数
- 5
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science90%
- Engineering3%
- Social Sciences1.7%
- Arts and Humanities1.5%
- Mathematics1.1%
- Biochemistry, Genetics and Molecular Biology0.8%
- その他1.9%
トピック
- Logic, programming, and type systems24.5%
- Formal Methods in Verification10.2%
- Parallel Computing and Optimization Techniques8.3%
- semigroups and automata theory6.6%
- Model-Driven Software Engineering Techniques6.3%
- Software Engineering Research5.9%
- その他38.3%
よく組む共著者
全論文
論文を読み込んでいます…
