Science Explorer Back to mapMap
Discussion
Researcher · University of Kaiserslautern · Germany

Jürgen Avenhaus

Jürgen Avenhaus publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.

OpenAlex
World rank
#5,564,448
of 7,710,434 ranked researchers
Rank in Germany
#287,023
of 364,343
Works
44
Citations
406
Citations per work
9.2
h-index
12
i10-index 16Top 32% in Artificial Intelligence
Jürgen Avenhaus

What does Jürgen Avenhaus research?

Jürgen Avenhaus's work is mostly in Computer Science (78%), Engineering (3%), Health Professions (3%).

Physical Sciences: 36 works · 81.2% of their workComputer Science: 34 works · 77.8% of their workArtificial Intelligence: 20 works · 45.3% of their workComputational Theory and Mathematics: 10 works · 22.2% of their workComputer Networks and Communications: 3 works · 6.0% of their workSoftware: 2 works · 4.3% of their workEngineering: 1 works · 3.4% of their workComputational Mechanics: 1 works · 3.4% of their workEverything else: 7 works · 15.4% of their workHealth Sciences: 1 works · 3.4% of their workHealth Professions: 1 works · 3.4% of their workGeneral Health Professions: 1 works · 3.4% of their workTHEIR WORKJürgen Avenhaus44works
Physical Sciences81%Health 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 Science3477.8%
    2. Engineering13.4%
  2. Everything else715.4%
    1. Health Professions13.4%
  1. 1Artificial Intelligence45% of their works
  2. 2Computational Theory and Mathematics22% of their works
  3. 3Computer Networks and Communications6% of their works
  4. 4Software4% of their works
  5. 5General Health Professions3% of their works
  6. 6Computational Mechanics3% of their works

Research topics

Which keywords describe Jürgen Avenhaus's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Automata, Description Logics, Knowledge Representation and Satisfiability Modulo Theories.

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 21 words, with their numbers
  1. Model Checking503 topics
  2. Formal Verification261 topic
  3. Static Analysis261 topic
  4. Temporal Logic242 topics
  5. Automata202 topics
  6. Description Logics182 topics
  7. Knowledge Representation182 topics
  8. Satisfiability Modulo Theories131 topic
  9. Symbolic Model Checker131 topic
  10. Answer Set Programming111 topic
  11. Modal Logic111 topic
  12. Continuous Queries71 topic
  13. Data Stream Management71 topic
  14. Formal Languages71 topic
  15. Ontology71 topic
  16. Regular Expressions71 topic
  17. Semantic Web71 topic
  18. Neural Machine Translation51 topic
  19. Statistical Machine Translation51 topic
  20. Fluid Dynamics41 topic
  21. Renewable Energy41 topic

Where does Jürgen Avenhaus work?

Jürgen Avenhaus's main affiliation in the publication record is University of Kaiserslautern, Germany.

How many publications and citations does Jürgen Avenhaus have?

OpenAlex counts 44 works and 406 citations for Jürgen Avenhaus, an h-index of 12, ranking #5,564,448 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 Jürgen Avenhaus. Posts are plain text and can be reported.