Alexander Knapp
Alexander Knapp publishes mostly in Artificial Intelligence, Software and Computational Theory and Mathematics, on topics such as Model-Driven Software Engineering Techniques, Formal Methods in Verification and Advanced Software Engineering Methodologies.
- World rank
- #309,793 of 1,633,909 ranked researchers
- Rank in Germany
- #18,585 of 86,443
- Works
- 42
- Citations
- 183
- Citations per work
- 4.4
What does Alexander Knapp research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence29% of their works
- 2Software17% of their works
- 3Computational Theory and Mathematics16% of their works
- 4Computer Networks and Communications9% of their works
- 5Information Systems9% of their works
- 6Hardware and Architecture3% of their works
Research topics
- Model-Driven Software Engineering Techniques
- Formal Methods in Verification
- Advanced Software Engineering Methodologies
- Logic, programming, and type systems
- Software System Performance and Reliability
- Distributed systems and fault tolerance
- Service-Oriented Architecture and Web Services
- Semantic Web and Ontologies
Which keywords describe Alexander Knapp's research?
The keywords of their largest research topics: Model Checking, Domain-Specific Languages, Model-Driven Engineering, Satisfiability Modulo Theories, Symbolic Model Checker, Autonomic Computing, Self-Adaptive Systems and Distributed Systems.
- Semantic Web
- Semantic Web Services
- Performance Prediction
- Fault Tolerance
- Static Analysis
- Distributed Systems
- Autonomic Computing
- Satisfiability Modulo Theories
- Domain-Specific Languages
- Model Checking
- Model-Driven Engineering
- Symbolic Model Checker
- Self-Adaptive Systems
- Formal Verification
- Consistency
- Log Analysis
- QoS-Aware Middleware
- Ontology
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 18 words, with their numbers
- Model Checking162 topics
- Domain-Specific Languages111 topic
- Model-Driven Engineering111 topic
- Satisfiability Modulo Theories101 topic
- Symbolic Model Checker101 topic
- Autonomic Computing91 topic
- Self-Adaptive Systems91 topic
- Distributed Systems62 topics
- Formal Verification61 topic
- Static Analysis61 topic
- Consistency31 topic
- Fault Tolerance31 topic
- Log Analysis31 topic
- Performance Prediction31 topic
- QoS-Aware Middleware31 topic
- Semantic Web Services31 topic
- Ontology21 topic
- Semantic Web21 topic
Where does Alexander Knapp work?
Alexander Knapp's main affiliation in the publication record is University of Augsburg, Germany.
How many publications and citations does Alexander Knapp have?
Science Explorer counts 42 works and 183 citations for Alexander Knapp, ranking #309,793 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.