Daniel Neider
Active 2006–2026
- Affiliations
- RWTH Aachen UniversityThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0001-9276-6342
- 114
- Papers
- 1,541
- Citations
- 21
- h-index
- 32
- 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.3%
- Engineering2.7%
- Social Sciences1.2%
- Biochemistry, Genetics and Molecular Biology1.1%
- Business, Management and Accounting0.7%
- Agricultural and Biological Sciences0.6%
- Other2.4%
Topics
- Formal Methods in Verification23.1%
- Software Testing and Debugging Techniques15.7%
- Machine Learning and Algorithms14.9%
- Logic, programming, and type systems9.5%
- Software Engineering Research6.7%
- Adversarial Robustness in Machine Learning4.9%
- Other25.3%
Frequent coauthors
- Rajarshi Roy 000226
- Zhe Xu 000513
- Ufuk Topcu12
- P. Madhusudan11
- Jean-Raphaël Gaglione9
- Martin Leucker9
- Martin Zimmermann 00029
- Pranav Garg 00018
- Benedikt Bollig7
- Benjamin Bordais6
- Emmanuel Müller6
- Ivan Gavran6
- Paulo Tabuada6
- Benoît Barbot5
- Christof Löding5
- Igor Khmelnitsky5
- Kristian Kersting5
- Lina Ye5
- Serge Haddad5
- Shambwaditya Saha5
- Alain Finkel4
- Dennis Wagner4
- Fabian Hartung4
- Fabian Jirasek4
All papers
Loading papers…
