Ingo Pill

21 papers and 107 indexed citations i.

About

Ingo Pill has authored 21 papers that have received a total of 107 indexed citations. This includes 14 papers in Software, 11 papers in Computational Theory and Mathematics and 10 papers in Artificial Intelligence. The topics of these papers are Software Testing and Debugging Techniques (14 papers), Formal Methods in Verification (11 papers) and AI-based Problem Solving and Planning (8 papers). Ingo Pill is often cited by papers focused on Software Testing and Debugging Techniques (14 papers), Formal Methods in Verification (11 papers) and AI-based Problem Solving and Planning (8 papers) and collaborates with scholars based in Austria, Germany and Italy. Ingo Pill's co-authors include Franz Wotawa, Roderick Bloem, Gerald Steinbauer, Alessandro Cimatti and Mihai Nica and has published in prestigious journals such as Lecture notes in computer science, Journal of Systems and Software and AI Magazine

In The Last Decade

Rankless by CCL
2025