Alexander Knapp

39 papers and 448 indexed citations i.

Alexander Knapp has authored 39 papers that have received a total of 448 indexed citations. This includes 22 papers in Artificial Intelligence, 17 papers in Software and 15 papers in Computational Theory and Mathematics. The topics of these papers are Model-Driven Software Engineering Techniques (16 papers), Advanced Software Engineering Methodologies (16 papers) and Formal Methods in Verification (13 papers). Alexander Knapp is often cited by papers focused on Model-Driven Software Engineering Techniques (16 papers), Advanced Software Engineering Methodologies (16 papers) and Formal Methods in Verification (13 papers) and collaborates with scholars based in Germany, Italy and France. Alexander Knapp's co-authors include Martin Wirsing, Rolf Hennicker, Hubert Baumeister, Maurice H. ter Beek and Markus Roggenbach and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM SIGPLAN Notices.