Nikolai Tillmann

38 papers and 421 indexed citations i.

About

Nikolai Tillmann has authored 38 papers that have received a total of 421 indexed citations. This includes 25 papers in Software, 19 papers in Information Systems and 10 papers in Computer Science Applications. The topics of these papers are Software Testing and Debugging Techniques (23 papers), Software Engineering Research (15 papers) and Formal Methods in Verification (9 papers). Nikolai Tillmann is often cited by papers focused on Software Testing and Debugging Techniques (23 papers), Software Engineering Research (15 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in United States, China and United Kingdom. Nikolai Tillmann's co-authors include Tao Xie, Jonathan de Halleux, Wolfram Schulte, Judith Bishop and Peli de Halleux and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and IEEE Software

In The Last Decade

Rankless by CCL
2025