Michael Bauland

According to our database, Michael Bauland authored at least 9 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2010

The Complexity of Problems for Quantified Constraints.

Michael Bauland, Elmar Böhler, Nadia Creignou, Steffen Reith, Henning Schnoor, Heribert Vollmer

Theory Comput. Syst., 2010

2008

The Tractability of Model-Checking for LTL: The Good, the Bad, and the Ugly Fragments.

Michael Bauland, Martin Mundhenk, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

Electron. Colloquium Comput. Complex., 2008

2007

Complexity results for boolean constraint satisfaction problems.

Michael Bauland

PhD thesis, 2007

The Complexity of Generalized Satisfiability for Linear Temporal Logic.

Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer

Proceedings of the Foundations of Software Science and Computational Structures, 2007

2006

Generalized Modal Satisfiability.

Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor

Proceedings of the STACS 2006, 2006

2005

Quantified Constraints: The Complexity of Decision and Counting for Bounded Alternation

Michael Bauland, Elmar Böhler, Nadia Creignou, Steffen Reith, Henning Schnoor, Heribert Vollmer

Electron. Colloquium Comput. Complex., 2005

Isomorphic Implication.

Michael Bauland, Edith Hemaspaandra

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

The Complexity of Satisfiability Problems: Refining Schaefer's Theorem.

Eric Allender, Michael Bauland, Neil Immerman, Henning Schnoor, Heribert Vollmer

Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

2004

An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.

Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer

Proceedings of the SAT 2004, 2004