Stephen Gilmore
1991–2020 年に発表
- 所属
- University of Edinburghこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-3657-989X
- 125
- 論文数
- 4,348
- 被引用数
- 33
- h 指数
- 63
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science74.4%
- Biochemistry, Genetics and Molecular Biology9.2%
- Engineering4.4%
- Decision Sciences2.8%
- Medicine2.5%
- Business, Management and Accounting2.1%
- その他4.7%
トピック
- Formal Methods in Verification17%
- Advanced Software Engineering Methodologies10.9%
- Logic, programming, and type systems7.8%
- Distributed systems and fault tolerance7.4%
- Parallel Computing and Optimization Techniques6.8%
- Service-Oriented Architecture and Web Services6.8%
- その他43.3%
よく組む共著者
- Jane Hillston44
- Allan Clark25
- Mirco Tribastone24
- Murray Cole9
- Adam Duguid8
- Leïla Kloul8
- Anne Benoit7
- Daniël Reijsbergen5
- Maria Luisa Guerriero5
- Marina Ribaudo5
- Muffy Calder5
- Natalia Zon5
- Valentin Haenel5
- Dimitrios Milios4
- Martin Wirsing4
- Diego Latella3
- Federica Ciocchetta3
- Ian Stark3
- Michele Loreti3
- Nora Koch3
- Philip Mayer3
- Vashti Galpin3
- Alexander Knapp2
- Anastasis Georgoulas2
全論文
論文を読み込んでいます…
