Alexander Knapp
About
Alexander Knapp has authored 39 papers that have received a total of 438 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 United Kingdom. Alexander Knapp's co-authors include Martin Wirsing, Rolf Hennicker, Wolfgang Reif, Hubert Baumeister and Maurice H. ter Beek and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Salman Ahmady‐Asbchin are about Top countries impacted by papers by E. Rio Top fields papers by Peter Foreman are about Top authors papers by Otto L. Stiefvater are co-authored with Top journals papers by B. Srivastava are published in Top journals papers by Gerriet Martens are published in Top fields papers by Piotr Zagórski are about Top authors papers by Richard J. Mayer are co-authored with