Science Explorer Back to mapMap
Discussion
Researcher · Ludwig-Maximilians-Universität München · Germany

Steffen Jost

Steffen Jost publishes mostly in Artificial Intelligence, Hardware and Architecture and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Parallel Computing and Optimization Techniques.

ORCID 0000-0002-1807-9357 OpenAlex
World rank
#1,785,334
of 7,710,434 ranked researchers
Rank in Germany
#88,131
of 364,343
Works
25
Citations
794
Citations per work
31.8
h-index
12
i10-index 12Top 32% in Artificial Intelligence
Steffen Jost

What does Steffen Jost research?

Steffen Jost's work is mostly in Computer Science (73%), Health Professions (3%), Arts and Humanities (3%).

Physical Sciences: 18 works · 72.7% of their workComputer Science: 18 works · 72.7% of their workArtificial Intelligence: 6 works · 25.8% of their workHardware and Architecture: 6 works · 24.2% of their workComputational Theory and Mathematics: 5 works · 19.7% of their workInformation Systems: 1 works · 3.0% of their workEverything else: 5 works · 21.3% of their workHealth Sciences: 1 works · 3.0% of their workHealth Professions: 1 works · 3.0% of their workGeneral Health Professions: 1 works · 3.0% of their workSocial Sciences: 1 works · 3.0% of their workArts and Humanities: 1 works · 3.0% of their workConservation: 1 works · 3.0% of their workTHEIR WORKSteffen Jost25works
Physical Sciences73%Health Sciences3%Social Sciences3%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science1872.7%
  2. Everything else521.3%
    1. Health Professions13.0%
    1. Arts and Humanities13.0%
  1. 1Artificial Intelligence26% of their works
  2. 2Hardware and Architecture24% of their works
  3. 3Computational Theory and Mathematics20% of their works
  4. 4General Health Professions3% of their works
  5. 5Conservation3% of their works
  6. 6Information Systems3% of their works

Research topics

Which keywords describe Steffen Jost's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Embedded Systems, Parallel Computing and Performance Optimization.

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
  1. Model Checking252 topics
  2. Satisfiability Modulo Theories131 topic
  3. Symbolic Model Checker131 topic
  4. Formal Verification121 topic
  5. Static Analysis121 topic
  6. Embedded Systems92 topics
  7. Parallel Computing71 topic
  8. Performance Optimization71 topic
  9. Hard Real-Time Systems51 topic
  10. Scheduling Algorithms51 topic
  11. High-Level Synthesis41 topic
  12. Reconfigurable Computing41 topic
  13. Security Policies31 topic
  14. Side-Channel Attacks31 topic
  15. Art History21 topic
  16. Code Clone Detection21 topic
  17. Conservation21 topic
  18. Refactoring21 topic

Where does Steffen Jost work?

Steffen Jost's main affiliation in the publication record is Ludwig-Maximilians-Universität München, Germany.

How many publications and citations does Steffen Jost have?

OpenAlex counts 25 works and 794 citations for Steffen Jost, an h-index of 12, ranking #1,785,334 of 7,710,434 researchers worldwide on the quality 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Steffen Jost. Posts are plain text and can be reported.