Heribert Vollmer (Leibniz Universit\"at Hannover)

Identifiers

• name variant Heribert Vollmer (Leibniz Universit\"at Hannover) 0.60 · backfill

Papers (3)

1. A Fragment of Dependence Logic Capturing Polynomial Time cs.LO · 2012 · author #4
2. Model Checking CTL is Almost Always Inherently Sequential cs.LO · 2011 · author #7
3. Complexity classifications for different equivalence and audit problems for Boolean circuits cs.CC · 2010 · author #8

Mentions

• 1210.3321 #4 · backfill · confidence 0.70 Heribert Vollmer (Leibniz Universit\"at Hannover)
• 1103.4990 #7 · backfill · confidence 0.70 Heribert Vollmer (Leibniz Universit\"at Hannover)
• 1009.1208 #8 · backfill · confidence 0.70 Heribert Vollmer (Leibniz Universit\"at Hannover)

Frequent Coauthors

• Arne Meier (Leibniz Universit\"at Hannover) 1 shared papers
• Elmar B\~A{\P}hler (Universit\"at W\"urzburg) 1 shared papers
• Germany) 1 shared papers
• Henning Schnoor (Christian-Albrechts-Universit\"at zu Kiel) 1 shared papers
• Johannes Ebbing (Leibniz Universit\"at Hannover) 1 shared papers
• Juha Kontinen (University of Helsinki) 1 shared papers
• Julian-Steffen M\"uller (Leibniz Universit\"at Hannover) 1 shared papers
• Marseille) 1 shared papers
• Martin Mundhenk (Friedrich-Schiller-Universit\"at Jena) 1 shared papers
• Matthias Galota (Elektrobit) 1 shared papers
• Michael Thomas (Leibniz Universit\"at Hannover) 1 shared papers
• Nadia Creignou (Universit\'e de la M\'editerran\'ee 1 shared papers
• Olaf Beyersdorff (Leibniz Universit\"at Hannover 1 shared papers
• Steffen Reith (Hochschule RheinMain 1 shared papers
• Thomas Schneider (University of Manchester) 1 shared papers
• Wiesbaden) 1 shared papers