| Publication | Date of Publication | Type |
|---|
| A generic normal form for ZX-diagrams and application to the rational angle completeness | 2024-12-19 | Paper |
| Addition and differentiation of ZX-diagrams | 2024-06-27 | Paper |
| Addition and differentiation of ZX-diagrams | 2024-05-27 | Paper |
| Type-safe quantum programming in Idris | 2023-11-24 | Paper |
| Amoebae for clustering: a bio-inspired cellular automata method for data classification | 2022-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5091270 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090490 | 2022-07-18 | Paper |
| \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs | 2022-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3384922 | 2021-12-17 | Paper |
| An aperiodic set of 11 Wang tiles | 2021-11-05 | Paper |
| Strong shift equivalence as a category notion | 2021-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4986305 | 2021-04-27 | Paper |
| A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics | 2021-01-20 | Paper |
| Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics | 2021-01-20 | Paper |
| Enumeration Reducibility in Closure Spaces with Applications to Logic and Algebra | 2021-01-19 | Paper |
| The Undecidability of the Domino Problem | 2020-12-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5114829 | 2020-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111225 | 2020-05-26 | Paper |
| Slopes of multidimensional subshifts | 2020-02-27 | Paper |
| Undecidable word problem in subshift automorphism groups | 2019-10-22 | Paper |
| About the Domino Problem for Subshifts on Groups | 2019-01-24 | Paper |
| Undecidable word problem in subshift automorphism groups | 2018-08-28 | Paper |
| Computability of the entropy of one-tape Turing Machines | 2017-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2957910 | 2017-01-30 | Paper |
| Computability in Symbolic Dynamics | 2016-08-17 | Paper |
| Aperiodic Subshifts on Polycyclic Groups | 2015-10-08 | Paper |
| Hardness of conjugacy, embedding and factorization of multidimensional subshifts | 2015-08-31 | Paper |
| Characterizations of periods of multi-dimensional shifts | 2015-04-08 | Paper |
| Aperiodic Subshifts of Finite Type on Groups | 2015-01-27 | Paper |
| Turing degrees of multidimensional SFTs | 2014-01-16 | Paper |
| Subshifts as models for MSO logic | 2013-11-29 | Paper |
| Structuring multi-dimensional subshifts | 2013-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4910708 | 2013-03-19 | Paper |
| On Immortal Configurations in Turing Machines | 2012-08-14 | Paper |
| The periodic domino problem revisited | 2012-04-03 | Paper |
| $\it \Pi^0_1$ Sets and Tilings | 2011-07-01 | Paper |
| Periodicity in Tilings | 2010-08-31 | Paper |
| Tilings Robust to Errors | 2010-04-27 | Paper |
| Subshifts, Languages and Logic | 2009-07-07 | Paper |
| Playing with Conway's problem | 2009-01-08 | Paper |
| Finding a vector orthogonal to roughly half a collection of vectors | 2008-03-26 | Paper |
| Quantum automata and algebraic groups | 2007-10-19 | Paper |
| Topological automata | 2007-08-23 | Paper |
| STACS 2005 | 2005-12-02 | Paper |
| Decidable and Undecidable Problems about Quantum Automata | 2005-09-16 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
