Ingo Pill

658 total citations
47 papers, 294 citations indexed

About

Ingo Pill is a scholar working on Artificial Intelligence, Software and Computational Theory and Mathematics. According to data from OpenAlex, Ingo Pill has authored 47 papers receiving a total of 294 indexed citations (citations by other indexed papers that have themselves been cited), including 26 papers in Artificial Intelligence, 25 papers in Software and 19 papers in Computational Theory and Mathematics. Recurrent topics in Ingo Pill's work include Software Testing and Debugging Techniques (25 papers), Formal Methods in Verification (19 papers) and AI-based Problem Solving and Planning (14 papers). Ingo Pill is often cited by papers focused on Software Testing and Debugging Techniques (25 papers), Formal Methods in Verification (19 papers) and AI-based Problem Solving and Planning (14 papers). Ingo Pill collaborates with scholars based in Austria, China and Italy. Ingo Pill's co-authors include Franz Wotawa, Alessandro Cimatti, Roderick Bloem, Marco Roveri, Roberto Cavada, Mihai Nica, Marina Zanella, Gerald Steinbauer, Moonis Ali and Bernhard K. Aichernig and has published in prestigious journals such as Journal of Systems and Software, Lecture notes in computer science and AI Magazine.

In The Last Decade

Ingo Pill

41 papers receiving 261 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Ingo Pill Austria 11 188 152 114 71 36 47 294
Zoltán Micskei Hungary 8 125 0.7× 67 0.4× 57 0.5× 66 0.9× 29 0.8× 27 192
Karl Palmskog Sweden 6 93 0.5× 98 0.6× 81 0.7× 51 0.7× 50 1.4× 22 226
Nuno Macedo Portugal 11 196 1.0× 123 0.8× 65 0.6× 105 1.5× 53 1.5× 24 278
Laurent Voisin France 3 127 0.7× 163 1.1× 166 1.5× 79 1.1× 68 1.9× 4 301
José Proença Belgium 10 92 0.5× 147 1.0× 85 0.7× 81 1.1× 88 2.4× 35 243
Wojciech Mostowski Netherlands 6 90 0.5× 163 1.1× 77 0.7× 59 0.8× 36 1.0× 21 222
Wuwei Shen United States 9 321 1.7× 151 1.0× 45 0.4× 244 3.4× 75 2.1× 30 438
Marc Frappier Canada 10 106 0.6× 204 1.3× 88 0.8× 129 1.8× 120 3.3× 48 325
Gerhard Schellhorn Germany 11 120 0.6× 211 1.4× 186 1.6× 59 0.8× 153 4.3× 45 378
Farhad Mehta Switzerland 3 133 0.7× 197 1.3× 190 1.7× 81 1.1× 79 2.2× 5 333

Countries citing papers authored by Ingo Pill

Since Specialization
Citations

This map shows the geographic impact of Ingo Pill's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Ingo Pill with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ingo Pill more than expected).

Fields of papers citing papers by Ingo Pill

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Ingo Pill. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Ingo Pill. The network helps show where Ingo Pill may publish in the future.

Co-authorship network of co-authors of Ingo Pill

This figure shows the co-authorship network connecting the top 25 collaborators of Ingo Pill. A scholar is included among the top collaborators of Ingo Pill based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Ingo Pill. Ingo Pill is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Tappler, Martin, et al.. (2024). On the Relationship Between RNN Hidden-State Vectors and Semantic Structures. 5641–5658. 1 indexed citations
2.
Tappler, Martin, et al.. (2024). Active model learning of stochastic reactive systems (extended version). Software & Systems Modeling. 23(2). 503–524.
3.
4.
Pill, Ingo, et al.. (2020). On the Practical Performance of Minimal Hitting Set Algorithms from a Diagnostic Perspective. International Journal of Prognostics and Health Management. 7(2).
5.
Bloem, Roderick, et al.. (2019). Synthesizing adaptive test strategies from temporal logic specifications. Formal Methods in System Design. 55(2). 103–135. 6 indexed citations
6.
Pill, Ingo & Franz Wotawa. (2018). On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. 3 indexed citations
7.
Zanella, Marina, Ingo Pill, & Alessandro Cimatti. (2018). 28th International Workshop on Principles of Diagnosis (DX'17). 17 indexed citations
8.
Nica, Mihai, Ingo Pill, & Franz Wotawa. (2015). Testing Diagnostics Components Supervising Functional Safety Requirements. Annual Conference of the PHM Society. 7(1). 6 indexed citations
9.
Hofer, Birgit, et al.. (2014). Functional Diagnosis of a SOA's BPEL Processes. 1–8. 1 indexed citations
10.
Wotawa, Franz & Ingo Pill. (2014). Testing Configuration Knowledge-Bases. 39–46. 2 indexed citations
11.
Pill, Ingo, et al.. (2013). Behavioral diagnosis of LTL specifications at operator level. International Joint Conference on Artificial Intelligence. 1053–1059. 18 indexed citations
12.
Pill, Ingo, et al.. (2013). The route to success: a performance comparison of diagnosis algorithms. International Joint Conference on Artificial Intelligence. 1039–1045. 24 indexed citations
13.
Pill, Ingo, et al.. (2013). Functional SOA testing based on constraints. 33–39. 6 indexed citations
14.
Leitner, Philipp, et al.. (2013). The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics. 99. 45–53. 3 indexed citations
15.
Pill, Ingo, et al.. (2013). Exploiting Parse Trees in LTL Specification Diagnosis. 59–64. 1 indexed citations
16.
Pill, Ingo, et al.. (2013). Functional SOA testing based on constraints. 33–39. 5 indexed citations
17.
Pill, Ingo, et al.. (2013). And Yet Another Variant of Reiter's Complete On-the-fly Hitting Set Algorithm. 210–215. 2 indexed citations
18.
Pill, Ingo, et al.. (2013). Maintaining consistency in a robot's knowledge-base via diagnostic reasoning. AI Communications. 26(1). 29–38. 1 indexed citations
19.
Pill, Ingo, et al.. (2011). Belief management for high-level robot programs. International Joint Conference on Artificial Intelligence. 900–905. 15 indexed citations
20.
Pill, Ingo, et al.. (2006). Rat: A tool for formal analysis of requirements. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Zoltán Micskei Breakdown of academic impact, for papers by Karl Palmskog Breakdown of academic impact, for papers by Nuno Macedo Breakdown of academic impact, for papers by Laurent Voisin Breakdown of academic impact, for papers by José Proença Breakdown of academic impact, for papers by Wojciech Mostowski Breakdown of academic impact, for papers by Wuwei Shen Breakdown of academic impact, for papers by Marc Frappier Breakdown of academic impact, for papers by Gerhard Schellhorn Breakdown of academic impact, for papers by Farhad Mehta
Rankless by CCL
2026