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

Deobfuscating sparse graphs., and . CoRR, (2017)Faster Existential FO Model Checking on Posets., , , and . ISAAC, volume 8889 of Lecture Notes in Computer Science, page 441-451. Springer, (2014)First order limits of sparse graphs: Plane trees and path-width., , , , , , , and . Random Struct. Algorithms, 50 (4): 612-635 (2017)Stable graphs of bounded twin-width., , and . CoRR, (2021)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)Differential Games, Locality, and Model Checking for FO Logic of Graphs., , and . CSL, volume 216 of LIPIcs, page 22:1-22:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Computing Shrub-Depth Decompositions., and . STACS, volume 154 of LIPIcs, page 56:1-56:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Model Checking on Interpretations of Classes of Bounded Local Cliquewidth., , , , , , and . LICS, page 54:1-54:13. ACM, (2022)Parameterized Algorithms for Modular-Width., , and . IPEC, volume 8246 of Lecture Notes in Computer Science, page 163-176. Springer, (2013)Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences., and . FSTTCS, volume 18 of LIPIcs, page 112-123. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)