Manfred Dausmann
Manfred Dausmann publishes mostly in Computer Networks and Communications, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Model-Driven Software Engineering Techniques and Physics and Engineering Research Articles.
- World rank
- #1,499,739 of 1,633,909 ranked researchers
- Rank in Germany
- #81,216 of 86,443
- Works
- 19
- Citations
- 1
- Citations per work
- 0.1
What does Manfred Dausmann research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computer Networks and Communications12% of their works
- 2Computational Theory and Mathematics12% of their works
- 3Software12% of their works
- 4Artificial Intelligence12% of their works
- 5Information Systems8% of their works
- 6Cultural Studies8% of their works
Research topics
- Formal Methods in Verification
- Model-Driven Software Engineering Techniques
- Physics and Engineering Research Articles
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Security and Verification in Computing
- Modeling and Simulation Systems
- Distributed and Parallel Computing Systems
Which keywords describe Manfred Dausmann's research?
The keywords of their largest research topics: Model Checking, Domain-Specific Languages, Fluid Dynamics, Model-Driven Engineering, Renewable Energy, Satisfiability Modulo Theories, Symbolic Model Checker and Autonomic Computing.
- Simulation
- Self-Adaptive Systems
- Modelica
- Formal Verification
- Autonomic Computing
- Satisfiability Modulo Theories
- Model-Driven Engineering
- Domain-Specific Languages
- Model Checking
- Fluid Dynamics
- Renewable Energy
- Symbolic Model Checker
- Distributed Systems
- Grid Computing
- Security Policies
- Side-Channel Attacks
- Static Analysis
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 17 words, with their numbers
- Model Checking32 topics
- Domain-Specific Languages21 topic
- Fluid Dynamics21 topic
- Model-Driven Engineering21 topic
- Renewable Energy21 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Autonomic Computing11 topic
- Distributed Systems11 topic
- Formal Verification11 topic
- Grid Computing11 topic
- Modelica11 topic
- Security Policies11 topic
- Self-Adaptive Systems11 topic
- Side-Channel Attacks11 topic
- Simulation11 topic
- Static Analysis11 topic
Where does Manfred Dausmann work?
Manfred Dausmann's main affiliation in the publication record is Esslingen University of Applied Sciences, Germany.
How many publications and citations does Manfred Dausmann have?
Science Explorer counts 19 works and 1 citations for Manfred Dausmann, ranking #1,499,739 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.