| Publication | Date of Publication | Type |
|---|
Taming graphs with no large creatures and skinny ladders
SIAM Journal on Discrete Mathematics | 2024-12-18 | Paper |
| Treelike decompositions for transductions of sparse graphs | 2024-12-06 | Paper |
| Stable graphs of bounded twin-width | 2024-12-06 | Paper |
| Model checking on interpretations of classes of bounded local cliquewidth | 2024-12-06 | Paper |
| Flipper games for monadically stable graph classes | 2024-11-14 | Paper |
| Twin-width and types | 2024-06-24 | Paper |
Differential games, locality, and model checking for FO logic of graphs
(available as arXiv preprint) | 2024-04-10 | Paper |
Corrigendum to: ``Twin-width and generalized coloring numbers
Discrete Mathematics | 2023-10-30 | Paper |
| Sparse Graphs of Twin-width 2 Have Bounded Tree-width | 2023-07-04 | Paper |
| scientific article; zbMATH DE number 7650941 (Why is no real title available?) | 2023-02-07 | Paper |
| Flipper games for monadically stable graph classes | 2023-01-31 | Paper |
| Twin-width and types | 2022-06-16 | Paper |
| Taming graphs with no large creatures and skinny ladders | 2022-05-02 | Paper |
| Model Checking on Interpretations of Classes of Bounded Local Cliquewidth | 2022-02-25 | Paper |
| Treelike decompositions for transductions of sparse graphs | 2022-01-26 | Paper |
Twin-width and generalized coloring numbers
Discrete Mathematics | 2022-01-13 | Paper |
Recovering sparse graphs
(available as arXiv preprint) | 2021-08-04 | Paper |
| First-order interpretations of bounded expansion classes | 2021-07-28 | Paper |
| Stable graphs of bounded twin-width | 2021-07-08 | Paper |
First-order interpretations of bounded expansion classes
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
First-order interpretations of bounded expansion classes
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
A new perspective on FO model checking of dense graph classes
ACM Transactions on Computational Logic | 2020-09-11 | Paper |
Parameterized shifted combinatorial optimization
Journal of Computer and System Sciences | 2018-12-10 | Paper |
Parameterized extension complexity of independent set and related problems
Discrete Applied Mathematics | 2018-09-17 | Paper |
A new perspective on FO model checking of dense graph classes
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Parameterized shifted combinatorial optimization
Lecture Notes in Computer Science | 2017-10-23 | Paper |
Recovering sparse graphs
(available as arXiv preprint) | 2017-09-28 | Paper |
First order limits of sparse graphs: plane trees and path-width
Random Structures & Algorithms | 2017-08-10 | Paper |
First order limits of sparse graphs: plane trees and path-width
Random Structures & Algorithms | 2017-08-10 | Paper |
| scientific article; zbMATH DE number 6678444 (Why is no real title available?) | 2017-01-26 | Paper |
Kernelization using structural parameters on sparse graph classes
Journal of Computer and System Sciences | 2016-11-14 | Paper |
Kernelization using structural parameters on sparse graph classes
Journal of Computer and System Sciences | 2016-11-14 | Paper |
Faster existential FO model checking on posets
Logical Methods in Computer Science | 2016-01-07 | Paper |
Parameterized Algorithms for Parity Games
Mathematical Foundations of Computer Science 2015 | 2015-09-16 | Paper |
Finite integer index of pathwidth and treewidth
Parameterized and Exact Computation | 2015-09-15 | Paper |
Faster existential FO model checking on posets
Algorithms and Computation | 2015-09-11 | Paper |
Kernelizing MSO properties of trees of fixed height, and some consequences
Logical Methods in Computer Science | 2015-04-22 | Paper |
Parameterized Algorithms for Modular-Width
Parameterized and Exact Computation | 2013-12-10 | Paper |
Kernelization using structural parameters on sparse graph classes
Lecture Notes in Computer Science | 2013-09-17 | Paper |
Elementary first-order model checking for sparse graphs
(available as arXiv preprint) | N/A | Paper |
