Total number of publications: 6
2023
-
Clique-Width of Point Configurations
Journal of Combinatorial Theory, Ser B, year: 2023, volume: 2023, edition: 158, DOI
-
Sparse Graphs of Twin-width 2 Have Bounded Tree-width
ISAAC 2023, year: 2023
2022
-
Weighted Model Counting with Twin-Width
25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022), year: 2022
2020
-
Clique-Width of Point Configurations
Graph-Theoretic Concepts in Computer Science, WG 2020, year: 2020
2019
-
FO model checking on geometric graphs
Computational geometry, year: 2019, volume: 78, edition: 1, DOI
2018
-
FO model checking of geometric graphs
12th International Symposium on Parameterized and Exact Computation (IPEC 2017), year: 2018