Question 1

What does Steffen Jost research?

Accepted Answer

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.

Question 2

Which keywords describe Steffen Jost's research?

Accepted Answer

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.

Question 3

Where does Steffen Jost work?

Accepted Answer

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

Question 4

How many publications and citations does Steffen Jost have?

Accepted Answer

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.

Question 5

Is Steffen Jost's h-index high?

Accepted Answer

An h-index of 12 is at or above that of 72% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 32%.