top of page
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:
bottom of page