| Publication | Date of Publication | Type |
|---|
Coordination sequences of periodic structures are rational via automata theory
Acta Crystallographica. Section A | 2024-07-02 | Paper |
Coordination Sequences of Periodic Structures are Rational via Automata Theory
| 2023-07-28 | Paper |
Hyperbolic Minesweeper is in P
| 2023-02-07 | Paper |
Real-Time Visualization in Anisotropic Geometries
Experimental Mathematics | 2022-12-08 | Paper |
Navigating Higher Dimensional Spaces using Hyperbolic Geometry
| 2021-10-01 | Paper |
Axiomatizing rectangular grids with no extra non-unary relations
Fundamenta Informaticae | 2021-05-20 | Paper |
Real-Time Visualization in Non-Isotropic Geometries
| 2020-02-21 | Paper |
Logical properties of random graphs from small addable classes
| 2019-08-06 | Paper |
A note on first-order spectra with binary relations
| 2018-05-30 | Paper |
Locally finite constraint satisfaction problems
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Invisible pushdown languages
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
Bounded degree and planar spectra
| 2017-12-11 | Paper |
Computational complexity on the blackboard
Fundamenta Informaticae | 2017-12-05 | Paper |
LOIS: syntax and semantics
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
On the variable hierarchy of first-order spectra
ACM Transactions on Computational Logic | 2017-01-27 | Paper |
Non-dominating sequences of vectors using only resets and increments
Fundamenta Informaticae | 2016-08-15 | Paper |
Regular graphs and the spectra of two-variable logic with counting
SIAM Journal on Computing | 2015-06-24 | Paper |
Complexity of problems of commutative grammars
Logical Methods in Computer Science | 2015-04-22 | Paper |
scientific article; zbMATH DE number 6423744 (Why is no real title available?)
| 2015-04-09 | Paper |
Acute triangulations of polyhedra and the Euclidean space
Proceedings of the twenty-sixth annual symposium on Computational geometry | 2014-04-03 | Paper |
Definability of linear equation systems over groups and rings
Logical Methods in Computer Science | 2013-11-28 | Paper |
On tractable parameterizations of graph isomorphism
Parameterized and Exact Computation | 2013-01-07 | Paper |
Definability of linear equation systems over groups and rings
| 2012-11-22 | Paper |
Ramsey's theorem for colors from a metric space
Semigroup Forum | 2012-11-08 | Paper |
Trees in trees: is the incomplete information about a tree consistent?
| 2012-09-18 | Paper |
Acute triangulations of polyhedra and \(\mathbb R^N\)
Combinatorica | 2012-09-17 | Paper |
Omega-Regular Half-Positional Winning Conditions
Computer Science Logic | 2009-03-05 | Paper |
Half-Positional Determinacy of Infinite Games
Automata, Languages and Programming | 2007-09-11 | Paper |
Numerical Aspects of Hyperbolic Geometry
| N/A | Paper |
