Skip to content
Computer Science

Alexander Knapp

University of Augsburg

Back to the university

Research

Specialisations

  • Software
  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Information Systems

Research topics

  • Model-Driven Software Engineering Techniques
  • Advanced Software Engineering Methodologies
  • Formal Methods in Verification
  • Logic, programming, and type systems
  • Service-Oriented Architecture and Web Services
Publications
163
Citations
3.2K
h-index
29
Papers, last 3 years
9

Members only · Free to join

Sign in to see the full profile

See their grants, open positions in their group, career history and colleagues — everything you need before you write to them.

  • Research funding
  • Affiliations
  • Similar professors

Free forever No credit card 30-second sign-up

Alexander Knapp — University of Augsburg