Michael Bauland

From MaRDI portal
Person:1015811

Available identifiers

zbMath Open bauland.michaelMaRDI QIDQ1015811

List of research outcomes





PublicationDate of PublicationType
The tractability of model checking for LTL: the good, the bad, and the ugly fragments2015-09-17Paper
The tractability of model-checking for LTL: the good, the bad, and the ugly fragments2015-03-23Paper
The complexity of problems for quantified constraints2010-10-06Paper
Isomorphic implication2009-08-06Paper
The complexity of satisfiability problems: Refining Schaefer's theorem2009-04-30Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic2009-04-29Paper
Generalized Modal Satisfiability2008-03-19Paper
The Complexity of Generalized Satisfiability for Linear Temporal Logic2007-09-07Paper
Mathematical Foundations of Computer Science 20052006-10-20Paper
Mathematical Foundations of Computer Science 20052006-10-20Paper
Theory and Applications of Satisfiability Testing2005-12-16Paper

Research outcomes over time

This page was built for person: Michael Bauland

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1015811&oldid=5825651"
Powered by MediaWiki