Ashlin Iser
2009–2026 年に発表
- ORCID
- 0000-0003-2904-232X
- 28
- 論文数
- 184
- 被引用数
- 5
- h 指数
- 3
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science91.8%
- Biochemistry, Genetics and Molecular Biology2.5%
- Physics and Astronomy1.6%
- Business, Management and Accounting0.8%
- Decision Sciences0.8%
- Earth and Planetary Sciences0.8%
- その他1.6%
トピック
- Formal Methods in Verification26.8%
- Logic, programming, and type systems13.2%
- Constraint Satisfaction and Optimization12.7%
- Software Testing and Debugging Techniques11.4%
- Model-Driven Software Engineering Techniques7.9%
- Advanced Software Engineering Methodologies4.4%
- その他23.7%
よく組む共著者
- Carsten Sinz10
- Tomás Balyo6
- Christoph Jabs4
- Jakob Bach2
- Mana Taghdiri2
- Matti Järvisalo2
- Tobias Ostertag2
- Armin Biere1
- Eric Sax1
- Felix Kutzner1
- Ferhat Erata1
- Frederick Gehm1
- Frédéric Loiret1
- Holger H. Hoos1
- Jeremias Berg1
- Johann Zuber1
- Johannes Werner1
- Kevin Kuryshev1
- Klemens Böhm1
- Laurent Simon 00011
- Luca Springer1
- Lucas Wäldele1
- Marie Anastacio1
- Marijn Heule1
全論文
論文を読み込んでいます…