Michael Bauland
According to our database1,
Michael Bauland
authored at least 9 papers
between 2004 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2009
J. Comput. Syst. Sci., 2009
2007
The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments.
Proceedings of the 5th Workshop on Methods for Modalities, 2007
Electron. Colloquium Comput. Complex., 2007
2006
Electron. Colloquium Comput. Complex., 2006
2005
Quantified Constraints: The Complexity of Decision and Counting for Bounded Alternation
Electron. Colloquium Comput. Complex., 2005
2004
Proceedings of the Theory and Applications of Satisfiability Testing, 2004