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

Faster Existential FO Model Checking on Posets., , , and . ISAAC, volume 8889 of Lecture Notes in Computer Science, page 441-451. Springer, (2014)Deobfuscating sparse graphs., and . CoRR, (2017)First order limits of sparse graphs: Plane trees and path-width., , , , , , , and . Random Struct. Algorithms, 50 (4): 612-635 (2017)A New Perspective on FO Model Checking of Dense Graph Classes., , , , and . ACM Trans. Comput. Log., 21 (4): 28:1-28:23 (2020)FO Model Checking on Posets of Bounded Width., , , , , , and . FOCS, page 963-974. IEEE Computer Society, (2015)Parameterized Shifted Combinatorial Optimization., , , and . COCOON, volume 10392 of Lecture Notes in Computer Science, page 224-236. Springer, (2017)Treelike Decompositions for Transductions of Sparse Graphs., , , , and . LICS, page 31:1-31:14. ACM, (2022)Model Checking on Interpretations of Classes of Bounded Local Cliquewidth., , , , , , and . LICS, page 54:1-54:13. ACM, (2022)Computing Shrub-Depth Decompositions., and . STACS, volume 154 of LIPIcs, page 56:1-56:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Flipper Games for Monadically Stable Graph Classes., , , , , , , , and . ICALP, volume 261 of LIPIcs, page 128:1-128:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)