Preprint:

Janus-faces of temporal constraint languages: a dichotomy of expressivity

with M. Pinsker and M. Schöbi; [arXiv]

Conference article:

The sorrows of a smooth digraph: the first hardness criterion for infinite directed graph-colouring problems 

with M. Kozik, T. Nagy, and M. Pinsker; 

to appear in Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'25), 2025; [arXiv] 

Diploma Thesis:

Identities in Finite Taylor Algebras

under the supervision of Prof. Michael Pinsker [reposiTUm]