EK
Publications
- Half-positional determinacy of infinite games
- LOIS: Syntax and semantics
- On the variable hierarchy of first-order spectra
- Parikh images of grammars: Complexity and applications
- Definability of linear equation systems over groups and rings
- Bounded degree and planar spectra
- Complexity of problems of commutative grammars
- Trees in trees: Is the incomplete information about a tree consistent?
- Regular graphs and the spectra of two-variable logic with counting
- On the computational complexity of gossip protocols
- LOIS: An application of SMT solvers
- Programming languages in GitHub: A visualization in hyperbolic plane
- Omega-regular half-positional winning conditions
- Non-dominating Sequences of Vectors Using only Resets and Increments
- Acute triangulations of polyhedra and the euclidean space
- Definability of linear equation systems over groups and rings
- On tractable parameterizations of graph isomorphism
- Ramsey's theorem for colors from a metric space
- Locally finite constraint satisfaction problems
- Acute triangulations of polyhedra and ℝ N
- A note on first-order spectra with binary relations
- Coordination sequences of periodic structures are rational via automata theory
- Hyperbolic minesweeper is in P
- Logical properties of random graphs from small addable classes
- Axiomatizing Rectangular Grids with no Extra Non-unary Relations