Michael Bauland
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2004–2007
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FOSSACS | The Complexity of Generalized Satisfiability for Linear Temporal Logic. | Michael Bauland, Thomas Schneider, Henning Schnoor, Ilka Schnoor, Heribert Vollmer |
| 2006 | STACS | Generalized Modal Satisfiability. | Michael Bauland, Edith Hemaspaandra, Henning Schnoor, Ilka Schnoor |
| 2005 | MFCS | The Complexity of Satisfiability Problems: Refining Schaefer's Theorem. | Eric Allender, Michael Bauland, Neil Immerman, Henning Schnoor, Heribert Vollmer |
| 2005 | MFCS | Isomorphic Implication. | Michael Bauland, Edith Hemaspaandra |
| 2004 | SAT | An Algebraic Approach to the Complexity of Generalized Conjunctive Queries. | Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer |
| 2004 | SAT | An Algebraic Approach to the Complexity of Generalized Conjunctive Queries. | Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer |