Gabriel Baum
1993–2026 年に発表
- 29
- 論文数
- 192
- 被引用数
- 8
- h 指数
- 7
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science92%
- Social Sciences3%
- Engineering2%
- Business, Management and Accounting1%
- Neuroscience1%
- Physics and Astronomy1%
トピック
- Logic, programming, and type systems21.5%
- Formal Methods in Verification16.2%
- Logic, Reasoning, and Knowledge15.4%
- Model-Driven Software Engineering Techniques7.5%
- Advanced Software Engineering Methodologies6.1%
- Image and Video Quality Assessment4.4%
- その他28.9%
よく組む共著者
- Claudia Pons11
- Marcelo F. Frias10
- Armando Martin Haeberer8
- Annabell Cankaya3
- Anne Feiler3
- Christian Bauer3
- Hauke Delfs3
- Markus Frank3
- Miguel Felder3
- Roxana S. Giandini3
- Verena Klinger3
- Gabriela Pérez2
- T. S. E. Maibaum2
- Carlos A. Tau1
- Carlos López Pombo1
- Clara Smith1
- Esteban de la Canal1
- Francisco Bavera1
- Gabriel A. Baum1
- Gunther Schmidt 00011
- Hartmut Ehrig1
- Herbert Weber1
- Jorge Aguirre1
- Luiz Fernando Gomes Soares1
全論文
論文を読み込んでいます…
