Science Explorer Back to mapMap
Discussion
Researcher · Centre National de la Recherche Scientifique · France

Miki Hermann

Miki Hermann publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications, on topics such as Logic, Reasoning, and Knowledge, Advanced Graph Theory Research and semigroups and automata theory.

ORCID 0000-0003-2517-2127 OpenAlex
World rank
#7,365,479
of 7,710,434 ranked researchers
Rank in France
#309,574
of 324,115
Works
73
Citations
720
Citations per work
9.9
h-index
13
i10-index 22Top 31% in Computational Theory and Mathematics
Miki Hermann

What does Miki Hermann research?

Miki Hermann's work is mostly in Computer Science (87%), Mathematics (4%).

Physical Sciences: 67 works · 91.5% of their workComputer Science: 64 works · 87.2% of their workComputational Theory and Mathematics: 33 works · 45.5% of their workArtificial Intelligence: 21 works · 29.4% of their workComputer Networks and Communications: 7 works · 9.0% of their workSignal Processing: 2 works · 3.3% of their workMathematics: 3 works · 4.3% of their workDiscrete Mathematics and Combinatorics: 2 works · 2.4% of their workAlgebra and Number Theory: 1 works · 1.9% of their workEverything else: 6 works · 8.5% of their workTHEIR WORKMiki Hermann73works
Physical Sciences92%

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 Science6487.2%
    2. Mathematics34.3%
  2. Everything else68.5%
  1. 1Computational Theory and Mathematics46% of their works
  2. 2Artificial Intelligence29% of their works
  3. 3Computer Networks and Communications9% of their works
  4. 4Signal Processing3% of their works
  5. 5Discrete Mathematics and Combinatorics2% of their works
  6. 6Algebra and Number Theory2% of their works

Research topics

Which keywords describe Miki Hermann's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Algorithmic Applications, Approximation Algorithms, Automata, Answer Set Programming, Modal Logic and Graph Theory.

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 Checking573 topics
  2. Temporal Logic432 topics
  3. Algorithmic Applications362 topics
  4. Approximation Algorithms362 topics
  5. Automata332 topics
  6. Answer Set Programming271 topic
  7. Modal Logic271 topic
  8. Graph Theory201 topic
  9. Parameterized Complexity201 topic
  10. Formal Languages171 topic
  11. Regular Expressions171 topic
  12. Combinatorial Optimization161 topic
  13. Complexity Theory161 topic
  14. Satisfiability Modulo Theories161 topic
  15. Symbolic Model Checker161 topic
  16. Constraint Optimization141 topic
  17. Distributed Algorithms141 topic
  18. Formal Verification141 topic
  19. Static Analysis141 topic
  20. Fuzzy Logic131 topic
  21. Residuated Lattices131 topic

Where does Miki Hermann work?

Miki Hermann's main affiliation in the publication record is Centre National de la Recherche Scientifique, France.

How many publications and citations does Miki Hermann have?

OpenAlex counts 73 works and 720 citations for Miki Hermann, an h-index of 13, ranking #7,365,479 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 Miki Hermann. Posts are plain text and can be reported.