Karsten Schmidt
Karsten Schmidt publishes mostly in Computational Theory and Mathematics, Global and Planetary Change and Artificial Intelligence, on topics such as Formal Methods in Verification, Petri Nets in System Modeling and Atmospheric aerosols and clouds.
- World rank
- #894,317 of 1,633,909 ranked researchers
- Rank in Germany
- #52,318 of 86,443
- Works
- 40
- Citations
- 59
- Citations per work
- 1.5
What does Karsten Schmidt 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 Mathematics15% of their works
- 2Global and Planetary Change12% of their works
- 3Artificial Intelligence10% of their works
- 4Statistics and Probability10% of their works
- 5Atmospheric Science8% of their works
- 6Electrical and Electronic Engineering8% of their works
Research topics
Which keywords describe Karsten Schmidt's research?
The keywords of their largest research topics: Satellite Observations, Model Checking, Aerosols, Climate, Deadlock Prevention, Petri Nets, Satisfiability Modulo Theories and Symbolic Model Checker.
- Static Analysis
- Ontology
- Stratospheric Water Vapor
- Methane
- Emissions
- Symbolic Model Checker
- Petri Nets
- Climate
- Model Checking
- Satellite Observations
- Aerosols
- Deadlock Prevention
- Satisfiability Modulo Theories
- Electromagnetic Scattering
- Integral Equation Methods
- Ozone Depletion
- Formal Verification
- Semantic Web
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
- Satellite Observations52 topics
- Model Checking42 topics
- Aerosols31 topic
- Climate31 topic
- Deadlock Prevention31 topic
- Petri Nets31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Electromagnetic Scattering21 topic
- Emissions21 topic
- Integral Equation Methods21 topic
- Methane21 topic
- Ozone Depletion21 topic
- Stratospheric Water Vapor21 topic
- Formal Verification11 topic
- Ontology11 topic
- Semantic Web11 topic
- Static Analysis11 topic
Where does Karsten Schmidt work?
Karsten Schmidt's main affiliation in the publication record is Schmalkalden University of Applied Sciences, Germany.
How many publications and citations does Karsten Schmidt have?
Science Explorer counts 40 works and 59 citations for Karsten Schmidt, ranking #894,317 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.
Other researchers named Karsten Schmidt
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.