Miki Hermann

Statistics

Publications

Citations

477

H-Index

Active since

1990

Affiliations

Centre National de la Recherche Scientifique(Current)

Institut national de recherche en sciences et technologies du numérique

École Polytechnique

TU Wien

Laboratoire d'Informatique de l'École Polytechnique

Miki Hermann is an author at Centre National de la Recherche Scientifique specializing in engineering, automated reasoning, and computational complexity.

ORCID

Top concepts

EngineeringAutomated ReasoningComputer ScienceComputational ComplexityFormal MethodsFormal VerificationCombinatorial OptimizationLinguisticsCircuit ComplexitySyntax

Publications per year

1990–2009

Publications

Complexity of Generalized Satisfiability Counting Problems

Nadia Creignou, Miki Hermann · Information and Computation · 1996 · 178 citations

Engineering, Parameterized Complexity, Automated Reasoning +5

Subtractive reductions and complete problems for counting complexity classes

Arnaud Durand, Miki Hermann, Phokion G. Kolaitis · Mathematical Foundations of Computer Science · 2000 · 82 citations

Circuit Complexity, Subtractive Reductions, Computational Complexity Theory +6

Unification of infinite sets of terms schematized by primal grammars

Miki Hermann, Roman Galbavý · Theoretical Computer Science · 1997 · 36 citations

Syntax, Automated Reasoning, Grammatical Formalism +10

Characterization of Boolean functions for rapid matching in EPGA technology mapping

Ulf Schlichtmann, F. Brglez, Miki Hermann · 1992 · 32 citations

Engineering, Boolean Function, Equivalence Verification +16

Characterization of Boolean functions for rapid matching in EPGA technology mapping

Ulf Schlichtmann, F. Brglez, Miki Hermann · [1992] Proceedings 29th ACM/IEEE Design Automation Conference · 2003 · 28 citations

Engineering, Rapid Matching, Boolean Function +12

1–5 of 14