Bettina Könighofer
About
Bettina Könighofer has authored 11 papers that have received a total of 274 indexed citations.
This includes 9 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 6 papers in Software. The topics of these papers are Formal Methods in Verification (9 papers), Software Testing and Debugging Techniques (3 papers) and Software Reliability and Analysis Research (3 papers). Bettina Könighofer is often cited by papers focused on Formal Methods in Verification (9 papers), Software Testing and Debugging Techniques (3 papers) and Software Reliability and Analysis Research (3 papers) and collaborates with scholars based in Austria, United States and The Netherlands. Bettina Könighofer's co-authors include Roderick Bloem, Ufuk Topcu, Georg Hofferek, Robert Könighofer and Martin Tappler and has published in prestigious journals such as Acta Informatica, Formal Methods in System Design and Innovations in Systems and Software Engineering
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Getachew Alemu are about Top journals papers by Ulf Peter Welam are published in Top journals papers by Nikhilesh Bhatt are published in Top countries impacted by papers by David S. Baker Top journals papers by Dajung Diane Shin are published in Top countries impacted by papers by Hope Mumme Top fields papers by Yamir Salabarría-Peña are about Top countries impacted by papers by Rachel Wurzman