Annegret Habel
About
Annegret Habel has authored 31 papers that have received a total of 749 indexed citations.
This includes 26 papers in Software, 21 papers in Artificial Intelligence and 19 papers in Computational Theory and Mathematics. The topics of these papers are Model-Driven Software Engineering Techniques (26 papers), Formal Methods in Verification (15 papers) and Logic, programming, and type systems (8 papers). Annegret Habel is often cited by papers focused on Model-Driven Software Engineering Techniques (26 papers), Formal Methods in Verification (15 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in Germany, Spain and United Kingdom. Annegret Habel's co-authors include Hartmut Ehrig, Hans‐Jörg Kreowski, Detlef Plump, Francesco Parisi-Presicce and Leen Lambers and has published in prestigious journals such as Computers & Mathematics with Applications, Journal of Computer and System Sciences and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by N. Körber are published in Top countries impacted by papers by J. J. Remedios Top journals papers by Karin Wahlberg are published in Top journals papers by Guoguang Rong are published in Top fields papers by Frank Chung-Hoon Rhee are about Top journals papers by Yuxia Hou are published in Top authors papers by Elodie Fourré are co-authored with Top authors papers by Wenjuan Yan are co-authored with