Publications:

Differential games, locality and model checking for FO logic of graphs

with J. Gajarský and S. Kreutzer, CSL 2022

Preprints and Manuscripts:

Matching Theory and Barnette's Conjecture

with Raphael Steiner and Sebastian Wiederrecht, submitted

​

Posets with k-outerplanar cover graphs have bounded dimension

with M. Seweryn, submitted