Concepedia

Heribert Vollmer

HV

Statistics

Publications

39

Citations

1.2K

H-Index

22

Active since

1993

Affiliations

University of Würzburg(Current)

Leibniz University Hannover

University of Helsinki

Aix-Marseille Université

Centre National de la Recherche Scientifique

Heribert Vollmer is an author at University of Würzburg specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceComputational ComplexityAutomated ReasoningFormal MethodsFormal VerificationDiscrete MathematicsVerificationCombinatorial OptimizationSemantics

Publications per year

1993–2019

39

Publications

39

On the power of polynomial time bit-reductions

Ulrich Hertrampf, Clemens Lautemann, Thomas Schwentick et al. · 2002 · 89 citations

Theory Of Computing, Leaf String, Leaf Language B +15

The satanic notations

Lane A. Hemaspaandra, Heribert Vollmer · ACM SIGACT News · 1995 · 85 citations

Computational Logic, Counting Classes, Engineering +14

A polynomial-time approximation scheme for base station positioning in UMTS networks

Matthias Galota, Christian Glaßer, Steffen Reith et al. · 2001 · 73 citations

Mathematical Programming, Engineering, Network Planning +21

NondeterministicNC1Computation

Hervé Caussinus, Pierre McKenzie, Denis Thérien et al. · Journal of Computer and System Sciences · 1998 · 67 citations

Nondeterministic NC/sup 1/ computation

Hervé Caussinus, Pierre McKenzie, Denis Thérien et al. · 2002 · 56 citations

Circuit Complexity, Computational Complexity Theory, Engineering +16

1–5 of 39