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 journals papers by Ioannis A. Venetis are published in Top countries impacted by papers by Terence Nevett Top fields papers by Jonas Bengtsson are about Top fields papers by Claus Kahlert are about Top authors papers by J. Walter are co-authored with Top journals papers by Giovanni Boroni are published in Top countries impacted by papers by Federica Sciacca Top countries impacted by papers by Sivanagaraju Gangavarapu