Klaus W. Wagner
Klaus W. Wagner publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Computational Mechanics, on topics such as semigroups and automata theory, Physics and Engineering Research Articles and Formal Methods in Verification.
- World rank
- #101,921 of 1,633,909 ranked researchers
- Rank in Germany
- #6,517 of 86,443
- Works
- 70
- Citations
- 301
- Citations per work
- 4.3
What does Klaus W. Wagner research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics33% of their works
- 2Artificial Intelligence16% of their works
- 3Computational Mechanics9% of their works
- 4Computer Networks and Communications4% of their works
- 5Strategy and Management3% of their works
- 6Computer Vision and Pattern Recognition3% of their works
Research topics
Which keywords describe Klaus W. Wagner's research?
The keywords of their largest research topics: Automata, Model Checking, Algorithmic Applications, Approximation Algorithms, Temporal Logic, Fluid Dynamics, Formal Languages and Regular Expressions.
- Static Analysis
- Formal Verification
- Answer Set Programming
- Graph Theory
- Combinatorial Optimization
- Satisfiability Modulo Theories
- Regular Expressions
- Fluid Dynamics
- Approximation Algorithms
- Model Checking
- Automata
- Algorithmic Applications
- Temporal Logic
- Formal Languages
- Renewable Energy
- Symbolic Model Checker
- Complexity Theory
- Parameterized Complexity
- Compression
- Modal Logic
- Suffix Arrays
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 21 words, with their numbers
- Automata132 topics
- Model Checking123 topics
- Algorithmic Applications102 topics
- Approximation Algorithms102 topics
- Temporal Logic92 topics
- Fluid Dynamics71 topic
- Formal Languages71 topic
- Regular Expressions71 topic
- Renewable Energy71 topic
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Combinatorial Optimization51 topic
- Complexity Theory51 topic
- Graph Theory51 topic
- Parameterized Complexity51 topic
- Answer Set Programming31 topic
- Compression31 topic
- Formal Verification31 topic
- Modal Logic31 topic
- Static Analysis31 topic
- Suffix Arrays31 topic
Where does Klaus W. Wagner work?
Klaus W. Wagner's main affiliation in the publication record is University of Würzburg, Germany.
How many publications and citations does Klaus W. Wagner have?
Science Explorer counts 70 works and 301 citations for Klaus W. Wagner, ranking #101,921 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.