Mark Shields
1998–2006 年に発表
- 10
- 論文数
- 624
- 被引用数
- 10
- h 指数
- 10
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science96.4%
- Health Professions1%
- Biochemistry, Genetics and Molecular Biology0.5%
- Decision Sciences0.5%
- Medicine0.5%
- Agricultural and Biological Sciences0.3%
- その他0.8%
トピック
- Logic, programming, and type systems31.6%
- Formal Methods in Verification15.1%
- Parallel Computing and Optimization Techniques10.9%
- Software Engineering Research8.8%
- Advanced Software Engineering Methodologies7%
- Logic, Reasoning, and Knowledge5.7%
- その他21%
よく組む共著者
全論文
論文を読み込んでいます…
