Daniel Gâinâ
2006–2026 年に発表
- 所属
- Japan Advanced Institute of Science and TechnologyKyushu UniversityLa Trobe Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-0978-2200
- 別表記
- Daniel Gaina
- 36
- 論文数
- 286
- 被引用数
- 11
- h 指数
- 13
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science96.8%
- Economics, Econometrics and Finance1.1%
- Immunology and Microbiology1.1%
- Physics and Astronomy1.1%
トピック
- Logic, programming, and type systems28.5%
- Logic, Reasoning, and Knowledge22.5%
- Formal Methods in Verification21.7%
- Advanced Algebra and Logic7.9%
- Model-Driven Software Engineering Techniques3.2%
- Software Testing and Debugging Techniques2.8%
- その他13.4%
よく組む共著者
全論文
論文を読み込んでいます…
