My doctoral thesis was concerned with finite and algorithmic model theory, a branch of logic in computer science with close connections to topics such as database theory, computational complexity, and graph theory.
This is a selected list of my scientific publications. See also DBLP.
Conference and Journal Papers
Property Testing for Bounded Degree Databases
with I. Adler , STACS 2018
Succinctness of Order-Invariant Logics on Depth-Bounded Structures
with K. Eickmeyer , M. Elberfeld , ACM Transactions on Computational Logic 18(4), 2017
On the locality of arb-invariant first-order formulas with modulo counting quantifiers
with N. Schweikardt, Logical Methods in Computer Science 12(4), 2016
Order-Invariance of Two-Variable Logic is Decidable
with T. Zeume , Proceedings of LICS 2016
Preservation and decomposition theorems for bounded degree structures
with L. Heimberg , N. Schweikardt, Logical Methods in Computer Science 11(4), 2015
Regular tree languages, cardinality predicates, and addition-invariant FO
with N. Schweikardt, Proceedings of STACS, 2012