research
∙
02/25/2022
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
We present a fixed-parameter tractable algorithm for first-order model c...
share
research
∙
06/01/2021
Excluding a Planar Matching Minor in Bipartite Graphs
Matching minors are a specialisation of minors fit for the study of grap...
research
∙
09/28/2020
The canonical directed tree decomposition and its applications to the directed disjoint paths problem
The canonical tree-decomposition theorem, given by Robertson and Seymour...
research
∙
07/22/2020
Differential games, locality and model checking for FO logic of graphs
We introduce differential games for FO logic of graphs, a variant of Ehr...
research
∙
12/18/2018
Model-Checking on Ordered Structures
We study the model-checking problem for first- and monadic second-order ...
research
∙
10/04/2018