Stephan Werner
Stephan Werner publishes mostly in Artificial Intelligence, Molecular Biology and Software, on topics such as AI-based Problem Solving and Planning, Formal Methods in Verification and Model-Driven Software Engineering Techniques.
- World rank
- #788,331 of 1,633,909 ranked researchers
- Rank in Germany
- #46,505 of 86,443
- Works
- 42
- Citations
- 79
- Citations per work
- 1.9
What does Stephan Werner research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence14% of their works
- 2Molecular Biology13% of their works
- 3Software9% of their works
- 4Computer Networks and Communications7% of their works
- 5Education6% of their works
- 6Computational Theory and Mathematics6% of their works
Research topics
- AI-based Problem Solving and Planning
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Advanced Electron Microscopy Techniques and Applications
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Advanced X-ray Imaging Techniques
- Amino Acid Enzymes and Metabolism
Which keywords describe Stephan Werner's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Domain-Specific Languages, Heuristic Search, Model-Driven Engineering, Planning Systems, Satisfiability Modulo Theories and Symbolic Model Checker.
- D-Serine
- X-ray Imaging
- Single-Particle Analysis
- Modal Logic
- Cryo-Electron Microscopy
- Symbolic Model Checker
- Planning Systems
- Heuristic Search
- Temporal Logic
- Model Checking
- Domain-Specific Languages
- Model-Driven Engineering
- Satisfiability Modulo Theories
- Answer Set Programming
- Formal Verification
- Phase Retrieval
- Static Analysis
- Amino Acid Transporters
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 Checking73 topics
- Temporal Logic52 topics
- Domain-Specific Languages31 topic
- Heuristic Search31 topic
- Model-Driven Engineering31 topic
- Planning Systems31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Answer Set Programming21 topic
- Cryo-Electron Microscopy21 topic
- Formal Verification21 topic
- Modal Logic21 topic
- Phase Retrieval21 topic
- Single-Particle Analysis21 topic
- Static Analysis21 topic
- X-ray Imaging21 topic
- Amino Acid Transporters11 topic
- D-Serine11 topic
Where does Stephan Werner work?
Stephan Werner's main affiliation in the publication record is German Research Centre for Artificial Intelligence, Germany.
How many publications and citations does Stephan Werner have?
Science Explorer counts 42 works and 79 citations for Stephan Werner, ranking #788,331 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.