Author of the publication

Parameterized Algorithms for Parity Games.

, , , , and . MFCS (2), volume 9235 of Lecture Notes in Computer Science, page 336-347. Springer, (2015)

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

On the Boolean Connectivity Problem for Horn Relations., , and . SAT, volume 4501 of Lecture Notes in Computer Science, page 187-200. Springer, (2007)Parameterized Complexity of Sparse Linear Complementarity Problems., , and . IPEC, volume 43 of LIPIcs, page 355-364. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Generating clause sequences of a CNF formula., , , , , and . CoRR, (2020)On Canonical Forms for Zero-Sum Stochastic Mean Payoff Games., , , and . Dyn. Games Appl., 3 (2): 128-161 (2013)Guest Editors' Foreword., and . Algorithmica, 79 (3): 884-885 (2017)On Expressing Majority as a Majority of Majorities., , , and . SIAM J. Discret. Math., 34 (1): 730-741 (2020)Interior and exterior functions of positive Boolean functions., , and . Discret. Appl. Math., 130 (3): 417-436 (2003)A Combinatorial Certifying Algorithm for Linear Programming Problems with Gainfree Leontief Substitution Systems., and . ISAAC, volume 283 of LIPIcs, page 47:1-47:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Optimal Composition Ordering Problems for Piecewise Linear Functions., , and . ISAAC, volume 64 of LIPIcs, page 42:1-42:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Fair Ride Allocation on a Line., , , , and . SAGT, volume 13584 of Lecture Notes in Computer Science, page 421-435. Springer, (2022)