Ansgar Fehnker
About
Ansgar Fehnker has authored 22 papers that have received a total of 258 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 10 papers in Artificial Intelligence and 9 papers in Software. The topics of these papers are Formal Methods in Verification (11 papers), Software Testing and Debugging Techniques (6 papers) and Logic, programming, and type systems (4 papers). Ansgar Fehnker is often cited by papers focused on Formal Methods in Verification (11 papers), Software Testing and Debugging Techniques (6 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in The Netherlands, Australia and United States. Ansgar Fehnker's co-authors include Judi Romijn, Zhi Han, Annabelle McIver, Gerd Behrmann and Thomas Hune and has published in prestigious journals such as Control Engineering Practice, Lecture notes in computer science and Acta Informatica.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by En Cheng Breakdown of academic impact, for papers by Jiajing Hu Breakdown of academic impact, for papers by Aung Myat Min Breakdown of academic impact, for papers by S. Sakabe Breakdown of academic impact, for papers by William H. Savran Breakdown of academic impact, for papers by B. Cojocaru Breakdown of academic impact, for papers by Don Olcott Breakdown of academic impact, for papers by Milton Melcı́ades Barbosa Costa