| 2009 |
|---|
| 94 | EE | Michael Bauland,
Martin Mundhenk,
Thomas Schneider,
Henning Schnoor,
Ilka Schnoor,
Heribert Vollmer:
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments.
Electr. Notes Theor. Comput. Sci. 231: 277-292 (2009) |
| 93 | EE | Eric Allender,
Michael Bauland,
Neil Immerman,
Henning Schnoor,
Heribert Vollmer:
The complexity of satisfiability problems: Refining Schaefer's theorem.
J. Comput. Syst. Sci. 75(4): 245-254 (2009) |
| 2008 |
|---|
| 92 | EE | Nadia Creignou,
Phokion G. Kolaitis,
Heribert Vollmer:
Complexity of Constraints - An Overview of Current Research Themes [Result of a Dagstuhl Seminar].
Springer 2008 |
| 91 | | Berthold Vöcking,
Helmut Alt,
Martin Dietzfelbinger,
Rüdiger Reischuk,
Christian Scheideler,
Heribert Vollmer,
Dorothea Wagner:
Taschenbuch der Algorithmen
Springer 2008 |
| 90 | EE | Pierre McKenzie,
Michael Thomas,
Heribert Vollmer:
Extensional Uniformity for Boolean Circuits.
CSL 2008: 64-78 |
| 89 | EE | Nadia Creignou,
Heribert Vollmer:
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?.
Complexity of Constraints 2008: 3-37 |
| 88 | EE | Juha Kontinen,
Heribert Vollmer:
On Second-Order Monadic Groupoidal Quantifiers.
WoLLIC 2008: 238-248 |
| 87 | EE | Michael Bauland,
Martin Mundhenk,
Thomas Schneider,
Henning Schnoor,
Ilka Schnoor,
Heribert Vollmer:
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments
CoRR abs/0805.0498: (2008) |
| 86 | EE | Pierre McKenzie,
Michael Thomas,
Heribert Vollmer:
Extensional Uniformity for Boolean Circuits
CoRR abs/0805.4072: (2008) |
| 85 | EE | Olaf Beyersdorff,
Arne Meier,
Michael Thomas,
Heribert Vollmer:
The Complexity of Reasoning for Fragments of Default Logic
CoRR abs/0808.3884: (2008) |
| 84 | EE | Olaf Beyersdorff,
Arne Meier,
Michael Thomas,
Heribert Vollmer:
The Complexity of Propositional Implication
CoRR abs/0811.0959: (2008) |
| 83 | EE | Michael Bauland,
Thomas Schneider,
Henning Schnoor,
Ilka Schnoor,
Heribert Vollmer:
The Complexity of Generalized Satisfiability for Linear Temporal Logic
CoRR abs/0812.4848: (2008) |
| 82 | EE | Arne Meier,
Martin Mundhenk,
Michael Thomas,
Heribert Vollmer:
The Complexity of Satisfiability for Fragments of CTL and CTL*.
Electr. Notes Theor. Comput. Sci. 223: 201-213 (2008) |
| 81 | EE | Michael Bauland,
Martin Mundhenk,
Thomas Schneider,
Henning Schnoor,
Ilka Schnoor,
Heribert Vollmer:
The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments.
Electronic Colloquium on Computational Complexity (ECCC) 15(028): (2008) |
| 2007 |
|---|
| 80 | | Thomas Schwentick,
Denis Thérien,
Heribert Vollmer:
Circuits, Logic, and Games, 08.11. - 10.11.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 79 | EE | Heribert Vollmer:
Computational Complexity of Constraint Satisfaction.
CiE 2007: 748-757 |
| 78 | EE | Michael Bauland,
Thomas Schneider,
Henning Schnoor,
Ilka Schnoor,
Heribert Vollmer:
The Complexity of Generalized Satisfiability for Linear Temporal Logic.
FoSSaCS 2007: 48-62 |
| 77 | EE | Heribert Vollmer,
Michael Bauland,
Elmar Böhler,
Nadia Creignou,
Steffen Reith,
Henning Schnoor:
The Complexity of Problems for Quantified Constraints.
Electronic Colloquium on Computational Complexity (ECCC) 14(023): (2007) |
| 76 | EE | Heribert Vollmer:
The complexity of deciding if a Boolean function can be computed by circuits over a restricted basis.
Electronic Colloquium on Computational Complexity (ECCC) 14(045): (2007) |
| 2006 |
|---|
| 75 | | Nadia Creignou,
Phokion G. Kolaitis,
Heribert Vollmer:
Complexity of Constraints, 01.10. - 06.10.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 74 | EE | Thomas Schwentick,
Denis Thérien,
Heribert Vollmer:
06451 Abstracts Collection -- Circuits, Logic, and Games .
Circuits, Logic, and Games 2006 |
| 73 | EE | Thomas Schwentick,
Denis Thérien,
Heribert Vollmer:
06451 Executive Summary -- Circuits, Logic, and Games .
Circuits, Logic, and Games 2006 |
| 72 | EE | Nadia Creignou,
Phokion G. Kolaitis,
Heribert Vollmer:
06401 Abstracts Collection - Complexity of Constraints.
Complexity of Constraints 2006 |
| 71 | EE | Nadia Creignou,
Phokion G. Kolaitis,
Heribert Vollmer:
06401 Executive Summary - Complexity of Constraints.
Complexity of Constraints 2006 |
| 70 | EE | Michael Bauland,
Thomas Schneider,
Henning Schnoor,
Ilka Schnoor,
Heribert Vollmer:
The Complexity of Generalized Satisfiability for Linear Temporal Logic.
Electronic Colloquium on Computational Complexity (ECCC) 13(153): (2006) |
| 69 | EE | Pierre McKenzie,
Thomas Schwentick,
Denis Thérien,
Heribert Vollmer:
The many faces of a translation.
J. Comput. Syst. Sci. 72(1): 163-179 (2006) |
| 68 | EE | Friedrich Steimann,
Heribert Vollmer:
Exploiting practical limitations of UML diagrams for model validation and execution.
Software and System Modeling 5(1): 26-47 (2006) |
| 2005 |
|---|
| 67 | EE | Eric Allender,
Michael Bauland,
Neil Immerman,
Henning Schnoor,
Heribert Vollmer:
The Complexity of Satisfiability Problems: Refining Schaefer's Theorem.
MFCS 2005: 71-82 |
| 66 | EE | Christian Glaßer,
Steffen Reith,
Heribert Vollmer:
The complexity of base station positioning in cellular networks.
Discrete Applied Mathematics 148(1): 1-12 (2005) |
| 65 | EE | Michael Bauland,
Elmar Böhler,
Nadia Creignou,
Steffen Reith,
Henning Schnoor,
Heribert Vollmer:
Quantified Constraints: The Complexity of Decision and Counting for Bounded Alternation
Electronic Colloquium on Computational Complexity (ECCC)(024): (2005) |
| 64 | EE | Matthias Galota,
Heribert Vollmer:
Functions computable in polynomial space.
Inf. Comput. 198(1): 56-70 (2005) |
| 63 | EE | Elmar Böhler,
Steffen Reith,
Henning Schnoor,
Heribert Vollmer:
Bases for Boolean co-clones.
Inf. Process. Lett. 96(2): 59-66 (2005) |
| 2004 |
|---|
| 62 | EE | Michael Bauland,
Philippe Chapdelaine,
Nadia Creignou,
Miki Hermann,
Heribert Vollmer:
An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.
SAT 2004 |
| 61 | EE | Michael Bauland,
Philippe Chapdelaine,
Nadia Creignou,
Miki Hermann,
Heribert Vollmer:
An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.
SAT (Selected Papers 2004: 30-45 |
| 60 | EE | Elmar Böhler,
Edith Hemaspaandra,
Steffen Reith,
Heribert Vollmer:
The Complexity of Boolean Constraint Isomorphism.
STACS 2004: 164-175 |
| 59 | EE | Eric Allender,
Michael Bauland,
Neil Immerman,
Henning Schnoor,
Heribert Vollmer:
The Complexity of Satisfiability Problems: Refining Schaefer's Theorem
Electronic Colloquium on Computational Complexity (ECCC)(100): (2004) |
| 58 | EE | Pierre McKenzie,
Heribert Vollmer,
Klaus W. Wagner:
Arithmetic Circuits and Polynomial Replacement Systems.
SIAM J. Comput. 33(6): 1513-1531 (2004) |
| 2003 |
|---|
| 57 | EE | Heribert Vollmer:
Complexity Theory Made Easy.
Developments in Language Theory 2003: 95-110 |
| 56 | EE | Elmar Böhler,
Edith Hemaspaandra,
Steffen Reith,
Heribert Vollmer:
The Complexity of Boolean Constraint Isomorphism
CoRR cs.CC/0306134: (2003) |
| 55 | EE | Matthias Galota,
Heribert Vollmer:
Functions Computable in Polynomial Space
Electronic Colloquium on Computational Complexity (ECCC) 10(018): (2003) |
| 54 | EE | Steffen Reith,
Heribert Vollmer:
Optimal satisfiability for propositional calculi and constraint satisfaction problems.
Inf. Comput. 186(1): 1-19 (2003) |
| 53 | EE | Matthias Galota,
Sven Kosub,
Heribert Vollmer:
Generic separations and leaf languages.
Math. Log. Q. 49(4): 353-362 (2003) |
| 52 | EE | Todd Ebert,
Wolfgang Merkle,
Heribert Vollmer:
On the Autoreducibility of Random Sequences.
SIAM J. Comput. 32(6): 1542-1569 (2003) |
| 2002 |
|---|
| 51 | EE | Elmar Böhler,
Edith Hemaspaandra,
Steffen Reith,
Heribert Vollmer:
Equivalence and Isomorphism for Boolean Constraint Satisfaction.
CSL 2002: 412-426 |
| 50 | EE | Elmar Böhler,
Edith Hemaspaandra,
Steffen Reith,
Heribert Vollmer:
Equivalence and Isomorphism for Boolean Constraint Satisfaction
CoRR cs.CC/0202036: (2002) |
| 49 | EE | Todd Ebert,
Wolfgang Merkle,
Heribert Vollmer:
On the Autoreducibility of Random Sequences
Electronic Colloquium on Computational Complexity (ECCC)(056): (2002) |
| 2001 |
|---|
| 48 | EE | Matthias Galota,
Heribert Vollmer:
A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem.
CSL 2001: 355-368 |
| 47 | EE | Matthias Galota,
Christian Glaßer,
Steffen Reith,
Heribert Vollmer:
A polynomial-time approximation scheme for base station positioning in UMTS networks.
DIAL-M 2001: 52-59 |
| 46 | EE | Thomas Schwentick,
Denis Thérien,
Heribert Vollmer:
Partially-Ordered Two-Way Automata: A New Characterization of DA.
Developments in Language Theory 2001: 239-250 |
| 45 | EE | Timo Peichl,
Heribert Vollmer:
Finite Automata with Generalized Acceptance Criteria.
Discrete Mathematics & Theoretical Computer Science 4(2): 179-192 (2001) |
| 44 | | Clemens Lautemann,
Pierre McKenzie,
Thomas Schwentick,
Heribert Vollmer:
The Descriptive Complexity Approach to LOGCFL.
J. Comput. Syst. Sci. 62(4): 629-652 (2001) |
| 2000 |
|---|
| 43 | EE | Pierre McKenzie,
Heribert Vollmer,
Klaus W. Wagner:
Arithmetic Circuits and Polynomial Replacement Systems.
FSTTCS 2000: 164-175 |
| 42 | EE | Pierre McKenzie,
Thomas Schwentick,
Denis Thérien,
Heribert Vollmer:
The Many Faces of a Translation.
ICALP 2000: 890-901 |
| 41 | | Christian Glaßer,
Steffen Reith,
Heribert Vollmer:
The Complexity of Base Station Positioning in Cellular Networks.
ICALP Satellite Workshops 2000: 167-178 |
| 40 | EE | Todd Ebert,
Heribert Vollmer:
On the Autoreducibility of Random Sequences.
MFCS 2000: 333-342 |
| 39 | EE | Steffen Reith,
Heribert Vollmer:
Optimal Satisfiability for Propositional Calculi and Constraint Satisfaction Problems.
MFCS 2000: 640-649 |
| 38 | EE | Manindra Agrawal,
Eric Allender,
Samir Datta,
Heribert Vollmer,
Klaus W. Wagner:
Characterizing Small Depth and Small Space Classes by Operators of Higher Type.
Chicago J. Theor. Comput. Sci. 2000: (2000) |
| 37 | EE | Ulrich Hertrampf,
Steffen Reith,
Heribert Vollmer:
A note on closure properties of logspace MOD classes.
Inf. Process. Lett. 75(3): 91-93 (2000) |
| 36 | | Sven Kosub,
Heinz Schmitz,
Heribert Vollmer:
Uniform Characterizations of Complexity Classes of Functions.
Int. J. Found. Comput. Sci. 11(4): 525-551 (2000) |
| 1999 |
|---|
| 35 | EE | Timo Peichl,
Heribert Vollmer:
Finite Automata with Generalized Acceptance Criteria.
ICALP 1999: 605-614 |
| 34 | EE | Clemens Lautemann,
Pierre McKenzie,
Thomas Schwentick,
Heribert Vollmer:
The Descriptive Complexity Approach to LOGCFL.
STACS 1999: 444-454 |
| 33 | EE | Stephen A. Fenner,
Frederic Green,
Steven Homer,
Alan L. Selman,
Thomas Thierauf,
Heribert Vollmer:
Complements of Multivalued Functions.
Chicago J. Theor. Comput. Sci. 1999: (1999) |
| 32 | EE | Heribert Vollmer:
Was leistet die Komplexitätstheorie für die Praxis?
Informatik Spektrum 22(5): 317-327 (1999) |
| 1998 |
|---|
| 31 | | Sven Kosub,
Heinz Schmitz,
Heribert Vollmer:
Uniformly Defining Complexity Classes of Functions.
STACS 1998: 607-617 |
| 30 | EE | Clemens Lautemann,
Pierre McKenzie,
Thomas Schwentick,
Heribert Vollmer:
The descriptive complexity approach to LOGCFL
CoRR cs.CC/9809114: (1998) |
| 29 | EE | Heribert Vollmer:
A Generalized Quantifier Concept in Computational Complexity Theory
CoRR cs.CC/9809115: (1998) |
| 28 | EE | Steffen Reith,
Heribert Vollmer:
The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae
CoRR cs.CC/9809116: (1998) |
| 27 | EE | Ronald V. Book,
Heribert Vollmer,
Klaus W. Wagner:
Probabilistic Type-2 Operators and "Almost"-Classes.
Computational Complexity 7(3): 265-289 (1998) |
| 26 | EE | Steffen Reith,
Heribert Vollmer:
The Complexity of Computing Optimal Assignments of Generalized Propositional Formulae
Electronic Colloquium on Computational Complexity (ECCC) 5(22): (1998) |
| 25 | EE | Manindra Agrawal,
Eric Allender,
Samir Datta,
Heribert Vollmer,
Klaus W. Wagner:
Characterizing Small Depth and Small Space Classes by Operators of Higher Types
Electronic Colloquium on Computational Complexity (ECCC) 5(57): (1998) |
| 24 | EE | Clemens Lautemann,
Pierre McKenzie,
Thomas Schwentick,
Heribert Vollmer:
The Descriptive Complexity Approach to LOGCFL
Electronic Colloquium on Computational Complexity (ECCC) 5(59): (1998) |
| 23 | | Hans-Jörg Burtschick,
Heribert Vollmer:
Lindström Quantifiers and Leaf Language Definability.
Int. J. Found. Comput. Sci. 9(3): 277-294 (1998) |
| 22 | | Hervé Caussinus,
Pierre McKenzie,
Denis Thérien,
Heribert Vollmer:
Nondeterministic NC1 Computation.
J. Comput. Syst. Sci. 57(2): 200-212 (1998) |
| 21 | EE | Heribert Vollmer:
Relating Polynomial Time to Constant Depth.
Theor. Comput. Sci. 207(1): 159-170 (1998) |
| 20 | | K. Cronauer,
Ulrich Hertrampf,
Heribert Vollmer,
Klaus W. Wagner:
The Chain Method to Separate Counting Classes.
Theory Comput. Syst. 31(1): 93-108 (1998) |
| 1997 |
|---|
| 19 | | Heribert Vollmer,
Klaus W. Wagner:
Measure One Results in Computational Complexity Theory.
Advances in Algorithms, Languages, and Complexity 1997: 285-312 |
| 18 | EE | Heribert Vollmer:
A Generalized Quantifier Concept in Computational Complexity Theory.
ESSLLI 1997: 99-123 |
| 17 | EE | Heribert Vollmer,
Klaus W. Wagner:
On Operators of Higher Types.
IEEE Conference on Computational Complexity 1997: 174-184 |
| 16 | EE | Kenneth W. Regan,
Heribert Vollmer:
Gap-Languages and Log-Time Complexity Classes.
Theor. Comput. Sci. 188(1-2): 101-116 (1997) |
| 1996 |
|---|
| 15 | | Heribert Vollmer:
Relations Among Parallel and Sequential Computation Models.
ASIAN 1996: 23-32 |
| 14 | | Ronald V. Book,
Heribert Vollmer,
Klaus W. Wagner:
On Type-2 Probabilistic Quantifiers.
ICALP 1996: 369-380 |
| 13 | EE | Hervé Caussinus,
Pierre McKenzie,
Denis Thérien,
Heribert Vollmer:
Nondeterministic NC1 Computation.
IEEE Conference on Computational Complexity 1996: 12-21 |
| 12 | EE | Stephen A. Fenner,
Frederic Green,
Steven Homer,
Alan L. Selman,
Thomas Thierauf,
Heribert Vollmer:
Complements of Multivalued Functions.
IEEE Conference on Computational Complexity 1996: 260-269 |
| 11 | EE | Ronald V. Book,
Heribert Vollmer,
Klaus W. Wagner:
Probabilistic Type-2 Operators and ``Almost''-Classes
Electronic Colloquium on Computational Complexity (ECCC) 3(35): (1996) |
| 10 | EE | Hans-Jörg Burtschick,
Heribert Vollmer:
Lindstroem Quantifiers and Leaf Language Definability
Electronic Colloquium on Computational Complexity (ECCC) 3(5): (1996) |
| 9 | | Ulrich Hertrampf,
Heribert Vollmer,
Klaus W. Wagner:
On Balanced Versus Unbalanced Computation Trees.
Mathematical Systems Theory 29(4): 411-421 (1996) |
| 8 | EE | Heribert Vollmer,
Klaus W. Wagner:
Recursion Theoretic Characterizations of Complexity Classes of Counting Functions.
Theor. Comput. Sci. 163(1&2): 245-258 (1996) |
| 1995 |
|---|
| 7 | | Ulrich Hertrampf,
Heribert Vollmer,
Klaus W. Wagner:
On the Power of Number-Theoretic Operations with Respect to Counting.
Structure in Complexity Theory Conference 1995: 299-314 |
| 6 | | Heribert Vollmer,
Klaus W. Wagner:
Complexity Classes of Optimization Functions
Inf. Comput. 120(2): 198-219 (1995) |
| 1994 |
|---|
| 5 | | Heribert Vollmer:
On Different Reducibility Notions for Function Classes.
STACS 1994: 449-460 |
| 1993 |
|---|
| 4 | | Ulrich Hertrampf,
Clemens Lautemann,
Thomas Schwentick,
Heribert Vollmer,
Klaus W. Wagner:
On the Power of Polynomial Time Bit-Reductions (Extended Abstract).
Structure in Complexity Theory Conference 1993: 200-207 |
| 3 | | Heribert Vollmer,
Klaus W. Wagner:
The Complexity of Finding Middle Elements.
Int. J. Found. Comput. Sci. 4(4): 293-307 (1993) |
| 1992 |
|---|
| 2 | | Ulrich Hertrampf,
Clemens Lautemann,
Thomas Schwentick,
Heribert Vollmer,
Klaus W. Wagner:
On the Power of Polynomial Bit-Reductions
Universität Trier, Mathematik/Informatik, Forschungsbericht 92-28: (1992) |
| 1990 |
|---|
| 1 | | Heribert Vollmer:
The Gap-Language-Technique Revisited.
CSL 1990: 389-399 |
