Question 1

What does Hans Leiß research?

Accepted Answer

Hans Leiß publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Molecular Biology, on topics such as semigroups and automata theory, Logic, programming, and type systems and Formal Methods in Verification.

Question 2

Which keywords describe Hans Leiß's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Automata, Temporal Logic, Formal Languages, Regular Expressions, Formal Verification, Satisfiability Modulo Theories and Static Analysis.

Question 3

Where does Hans Leiß work?

Accepted Answer

Hans Leiß's main affiliation in the publication record is Institut für Informationsverarbeitung, Germany.

Question 4

How many publications and citations does Hans Leiß have?

Accepted Answer

OpenAlex counts 25 works and 159 citations for Hans Leiß, an h-index of 7, ranking #5,775,737 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Hans Leiß's h-index high?

Accepted Answer

An h-index of 7 is at or above that of 43% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 64%.