Gordon Plotkin
1972–2026 年に発表
- 所属
- University of Edinburghこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-8496-6096
- 15
- 論文数
- 647
- 被引用数
- 9
- h 指数
- 8
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science95.4%
- Mathematics2.7%
- Decision Sciences0.4%
- Engineering0.4%
- Arts and Humanities0.2%
- Economics, Econometrics and Finance0.2%
- その他0.8%
トピック
- Logic, programming, and type systems27.4%
- Logic, Reasoning, and Knowledge25.3%
- Formal Methods in Verification10.6%
- Computability, Logic, AI Algorithms6%
- Advanced Algebra and Logic5.9%
- Semantic Web and Ontologies5.4%
- その他19.3%
よく組む共著者
- Aarti Gupta2
- Alessandro Cimatti2
- Alexandre David2
- Amir Pnueli2
- Andreas Podelski2
- Arjun Guha2
- Axel Legay2
- C Baier2
- Christel Baier2
- David Dill2
- Doron Peled2
- Edmund Clarke2
- Enrico Giunchiglia2
- Frits Vaandrager2
- Gerd Behrmann2
- Glynn Winskel2
- Gupta2
- J Michael2
- Jeffrey Ullman2
- John Hopcroft2
- Joost-Pieter Katoen2
- Joseph Sifakis2
- Kim Larsen2
- Klaus Havelund2
全論文
論文を読み込んでいます…
