Concepedia

Elmar Böhler

EB

2

Publications

90

Citations

2

H-Index

2005

Active since

Affiliations

University of Würzburg(Current)

Elmar Böhler is an author at University of Würzburg specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceProbabilityFormal MethodsCircuit ComplexityAutomated ReasoningComputational ComplexityMathematical Programming

Publications per year

2005–2006

2

Publications

2

Bases for Boolean co-clones

Elmar Böhler, Steffen Reith, Henning Schnoor et al. · Information Processing Letters · 2005 · 56 citations

Circuit Complexity, Logic Synthesis, Engineering +5

Error-bounded probabilistic computations between MA and AM

Elmar Böhler, Christian Glaßer, Daniel Meister · Journal of Computer and System Sciences · 2006 · 34 citations

Mathematical Programming, Engineering, Probabilistic Verification +6

Rows per page

1–2 of 2