Publications:

Matching Theory and Barnette's Conjecture

with Raphael Steiner and Sebastian Wiederrecht, Discrete Mathematics 346.2 (2023) 113249

​

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

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

Preprints and Manuscripts:

Posets with k-outerplanar cover graphs have bounded dimension

with M. Seweryn, submitted