Alexander Knapp
About
Alexander Knapp has authored 39 papers that have received a total of 442 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
Breakdown of academic impact, for papers by V. Venkata Ramana Breakdown of academic impact, for papers by Yasser El‐Shabrawy Breakdown of academic impact, for papers by Issaak Parcharidis Breakdown of academic impact, for papers by Jikun Zhao Breakdown of academic impact, for papers by J.R. Hewit Breakdown of academic impact, for papers by Chengxuan Tan Breakdown of academic impact, for papers by Moon-Key Kim Breakdown of academic impact, for papers by Yimeng Xu