Ashlin Iser
Active 2009–2026
- ORCID
- 0000-0003-2904-232X
- 28
- Papers
- 184
- Citations
- 5
- h-index
- 3
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- 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%
- Other1.6%
Topics
- 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%
- Other23.7%
Frequent coauthors
- 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
All papers
Loading papers…
