Science Explorer Back to mapMap
Discussion
Researcher · Institut für Informationsverarbeitung · Germany

Hans Leiß

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.

ORCID 0000-0002-4162-2258 OpenAlex
World rank
#5,775,737
of 7,710,434 ranked researchers
Rank in Germany
#296,663
of 364,343
Works
25
Citations
159
Citations per work
6.4
h-index
7
i10-index 5Top 64% in Computational Theory and Mathematics
Hans Leiß

What does Hans Leiß research?

Hans Leiß's work is mostly in Computer Science (91%), Biochemistry, Genetics and Molecular Biology (5%), Mathematics (1%).

Physical Sciences: 23 works · 92.0% of their workComputer Science: 23 works · 90.7% of their workComputational Theory and Mathematics: 12 works · 48.0% of their workArtificial Intelligence: 10 works · 38.7% of their workInformation Systems: 1 works · 4.0% of their workMathematics: 0 works · 1.3% of their workGeometry and Topology: 0 works · 1.3% of their workLife Sciences: 1 works · 5.3% of their workBiochemistry, Genetics and Molecular Biology: 1 works · 5.3% of their workMolecular Biology: 1 works · 5.3% of their workSocial Sciences: 0 works · 1.3% of their workDecision Sciences: 0 works · 1.3% of their workManagement Science and Operations Research: 0 works · 1.3% of their workTHEIR WORKHans Leiß25works
Life Sciences5%Physical Sciences92%Social Sciences1%

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 Science2390.7%
    2. Mathematics01.3%
    1. Biochemistry, Genetics and Molecular Biology15.3%
    1. Decision Sciences01.3%
  1. 1Computational Theory and Mathematics48% of their works
  2. 2Artificial Intelligence39% of their works
  3. 3Molecular Biology5% of their works
  4. 4Information Systems4% of their works
  5. 5Geometry and Topology1% of their works
  6. 6Management Science and Operations Research1% of their works

Research topics

Which keywords describe Hans Leiß's research?

The keywords of their largest research topics: Model Checking, Automata, Temporal Logic, Formal Languages, Regular Expressions, Formal Verification, Satisfiability Modulo Theories and 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 19 words, with their numbers
  1. Model Checking303 topics
  2. Automata262 topics
  3. Temporal Logic182 topics
  4. Formal Languages141 topic
  5. Regular Expressions141 topic
  6. Formal Verification121 topic
  7. Satisfiability Modulo Theories121 topic
  8. Static Analysis121 topic
  9. Symbolic Model Checker121 topic
  10. Answer Set Programming61 topic
  11. Modal Logic61 topic
  12. Neural Machine Translation51 topic
  13. Statistical Machine Translation51 topic
  14. Compression41 topic
  15. Fuzzy Logic41 topic
  16. Residuated Lattices41 topic
  17. Suffix Arrays41 topic
  18. DNA Computing31 topic
  19. Molecular Computation31 topic

Where does Hans Leiß work?

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

How many publications and citations does Hans Leiß have?

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.

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 Hans Leiß. Posts are plain text and can be reported.