|
Logic in Computer Science
|
 Institut für Informatik |
Papers
The Downward Transfer of Elementary Satisfiability of Partition Logics
(with Enshao Shen), 2000. pdf
Capture Complexity by Partition
(with Enshao Shen), 2001. pdf
Modelling PGM by P-Automata
, 2001. pdf
Bounded Nondeterminism and Alternation in Parameterized Complexity Theory
(with Jörg Flum and Martin Grohe), 2002. pdf
Machine Characterizations of the Classes of the W-hierarchy
(with Jörg Flum), 2003. pdf
On Miniaturized Problems in Parameterized Complexity Theory
(with Jörg Flum), 2003. pdf
Machine-based Methods in Parameterized Complexity
(with Jörg Flum and Martin Grohe), 2004. pdf