Annika Wagner

4 papers and 76 indexed citations i.

About

Annika Wagner has authored 4 papers that have received a total of 76 indexed citations. This includes 4 papers in Software, 2 papers in Artificial Intelligence and 2 papers in Computational Theory and Mathematics. The topics of these papers are Model-Driven Software Engineering Techniques (3 papers), Software Testing and Debugging Techniques (2 papers) and Formal Methods in Verification (2 papers). Annika Wagner is often cited by papers focused on Model-Driven Software Engineering Techniques (3 papers), Software Testing and Debugging Techniques (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Germany. Annika Wagner's co-authors include Reiko Heckel, Martin Gogolla, Heike Wehrheim, Gregor Engels and Stefan Sauer and has published in prestigious journals such as Lecture notes in computer science, Fundamenta Informaticae and Electronic Notes in Theoretical Computer Science.

In The Last Decade

Rankless by CCL
2025