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
Top authors papers by Ondřej Staněk are co-authored with Top authors papers by Nicole McKenzie are co-authored with Top fields papers by Steven L. Hoch are about Top authors papers by El Bachir Adlaoui are co-authored with Top countries impacted by papers by Minye Zhan Top countries impacted by papers by Lilian Anthonysamy Top fields papers by Ch. Ravi Sekhar are about Top countries impacted by papers by Mario Sorrentino