Daniel Thoma
Active 2009–2025
- 26
- Papers
- 486
- Citations
- 11
- h-index
- 13
- 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 Science92.4%
- Engineering3.1%
- Agricultural and Biological Sciences0.9%
- Business, Management and Accounting0.9%
- Medicine0.9%
- Decision Sciences0.6%
- Other1.2%
Topics
- Formal Methods in Verification24.8%
- Software Testing and Debugging Techniques14.7%
- Logic, programming, and type systems10.4%
- Advanced Software Engineering Methodologies10.4%
- Software System Performance and Reliability5.8%
- Model-Driven Software Engineering Techniques5.6%
- Other28.4%
Frequent coauthors
- Martin Leucker17
- Normann Decker10
- Malte Schmitz 00017
- Torben Scheffel6
- Hannes Kallwies4
- Alexander Weiss3
- Giles Reger3
- Peter Habermehl3
- Albert Schulz2
- Eugen Zalinescu2
- Franziska Kühn2
- Klaus Havelund2
- Lukas Convent2
- Martin Sachenbacher2
- Sebastian Hungerecker2
- Yliès Falcone2
- Alarico Campetelli1
- Alexander Gruler1
- Aliyu Tanko Ali1
- Arnaud Sangnier1
- Borzoo Bonakdarpour1
- Christian Colombo 00011
- César Sánchez 00011
- Dejan Nickovic1
All papers
Loading papers…
