Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bounded Fixed-Parameter Tractability and log2n Nondeterministic Bits., , and . ICALP, volume 3142 of Lecture Notes in Computer Science, page 555-567. Springer, (2004)Decidability of S1S and S2S.. Automata, Logics, and Infinite Games, volume 2500 of Lecture Notes in Computer Science, page 207-230. Springer, (2001)Tree-Width for First Order Formulae., and . CSL, volume 5771 of Lecture Notes in Computer Science, page 71-85. Springer, (2009)Kernelization for Convex Recoloring., , , , , and . ACiD, volume 7 of Texts in Algorithmics, page 23-35. King's College, London, (2006)Tree-width for first order formulae, and . Logical Methods in Computer Science, (2012)Bounded fixed-parameter tractability and log2n nondeterministic bits., , and . J. Comput. Syst. Sci., 72 (1): 34-71 (2006)Quadratic Kernelization for Convex Recoloring of Trees., , , , , and . Algorithmica, 61 (2): 362-388 (2011)Bounded Fixed-Parameter Tractability: The Case 2poly(k).. IWPEC, volume 3162 of Lecture Notes in Computer Science, page 49-60. Springer, (2004)Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems., and . CSL, volume 5771 of Lecture Notes in Computer Science, page 102-116. Springer, (2009)Quadratic Kernelization for Convex Recoloring of Trees., , , , , and . COCOON, volume 4598 of Lecture Notes in Computer Science, page 86-96. Springer, (2007)