| 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
Logical Methods in Computer Science | 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 |
scientific article; zbMATH DE number 7561601 (Why is no real title available?)
(available as arXiv preprint) | 2022-07-21 | Paper |
| scientific article; zbMATH DE number 7559149 (Why is no real title available?) | 2022-07-18 | Paper |
| \textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs | 2022-03-31 | Paper |
| Y-calculus: a language for real matrices derived from the ZX-calculus | 2021-12-17 | Paper |
Y-calculus: a language for real matrices derived from the ZX-calculus
(available as arXiv preprint) | 2021-12-17 | Paper |
An aperiodic set of 11 Wang tiles
Advances in Combinatorics | 2021-11-05 | Paper |
| Strong shift equivalence as a category notion | 2021-07-19 | Paper |
| Fixed parameter undecidability for Wang tilesets | 2021-04-27 | Paper |
Fixed parameter undecidability for Wang tilesets
(available as arXiv preprint) | 2021-04-27 | Paper |
A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
Diagrammatic reasoning beyond Clifford+T quantum mechanics
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| Enumeration reducibility in closure spaces with applications to logic and algebra | 2021-01-19 | Paper |
Enumeration reducibility in closure spaces with applications to logic and algebra
(available as arXiv preprint) | 2021-01-19 | Paper |
The undecidability of the domino problem
Lecture Notes in Mathematics | 2020-12-18 | Paper |
scientific article; zbMATH DE number 7215290 (Why is no real title available?)
(available as arXiv preprint) | 2020-06-26 | Paper |
| scientific article; zbMATH DE number 7215290 (Why is no real title available?) | 2020-06-26 | Paper |
ZX-calculus: cyclotomic supplementarity and incompleteness for Clifford+T quantum mechanics
(available as arXiv preprint) | 2020-05-26 | Paper |
Slopes of multidimensional subshifts
Theory of Computing Systems | 2020-02-27 | Paper |
Undecidable word problem in subshift automorphism groups
(available as arXiv preprint) | 2019-10-22 | Paper |
About the domino problem for subshifts on groups
Trends in Mathematics | 2019-01-24 | Paper |
Undecidable word problem in subshift automorphism groups
(available as arXiv preprint) | 2018-08-28 | Paper |
Computability of the entropy of one-tape Turing machines
(available as arXiv preprint) | 2017-03-03 | Paper |
Hardness of conjugacy, embedding and factorization of multidimensional subshifts of finite type
(available as arXiv preprint) | 2017-01-30 | Paper |
Computability in Symbolic Dynamics
Pursuit of the Universal | 2016-08-17 | Paper |
| Aperiodic Subshifts on Polycyclic Groups | 2015-10-08 | Paper |
Hardness of conjugacy, embedding and factorization of multidimensional subshifts
Journal of Computer and System Sciences | 2015-08-31 | Paper |
Characterizations of periods of multi-dimensional shifts
Ergodic Theory and Dynamical Systems | 2015-04-08 | Paper |
| Aperiodic Subshifts of Finite Type on Groups | 2015-01-27 | Paper |
Turing degrees of multidimensional SFTs
Theoretical Computer Science | 2014-01-16 | Paper |
Subshifts as models for MSO logic
Information and Computation | 2013-11-29 | Paper |
| Structuring multi-dimensional subshifts | 2013-09-24 | Paper |
| Structural aspects of tilings | 2013-03-19 | Paper |
On immortal configurations in Turing machines
Lecture Notes in Computer Science | 2012-08-14 | Paper |
The periodic domino problem revisited
Theoretical Computer Science | 2012-04-03 | Paper |
$\it \Pi^0_1$ Sets and Tilings
Lecture Notes in Computer Science | 2011-07-01 | Paper |
Periodicity in tilings
Developments in Language Theory | 2010-08-31 | Paper |
Tilings robust to errors
LATIN 2010: Theoretical Informatics | 2010-04-27 | Paper |
Subshifts, Languages and Logic
Developments in Language Theory | 2009-07-07 | Paper |
Playing with Conway's problem
Theoretical Computer Science | 2009-01-08 | Paper |
Finding a vector orthogonal to roughly half a collection of vectors
Journal of Complexity | 2008-03-26 | Paper |
Quantum automata and algebraic groups
Journal of Symbolic Computation | 2007-10-19 | Paper |
Topological automata
Theory of Computing Systems | 2007-08-23 | Paper |
STACS 2005
Lecture Notes in Computer Science | 2005-12-02 | Paper |
Decidable and Undecidable Problems about Quantum Automata
SIAM Journal on Computing | 2005-09-16 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2005-08-24 | Paper |
