| Publication | Date of Publication | Type |
|---|
| The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete | 2024-01-18 | Paper |
| Decision Questions for Probabilistic Automata on Small Alphabets | 2024-01-16 | Paper |
| Decision Questions for Probabilistic Automata on Small Alphabets | 2023-08-08 | Paper |
| On the Identity and Group Problems for Complex Heisenberg Matrices | 2023-07-11 | Paper |
| Polynomially Ambiguous Probabilistic Automata on Restricted Languages | 2022-07-21 | Paper |
| Acceptance Ambiguity for Quantum Automata | 2022-07-21 | Paper |
| On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond | 2022-07-21 | Paper |
| Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. | 2022-07-18 | Paper |
| Towards uniform online spherical tessellations | 2022-05-16 | Paper |
| Polynomially ambiguous probabilistic automata on restricted languages | 2022-04-04 | Paper |
| On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond | 2021-11-25 | Paper |
| On injectivity of quantum finite automata | 2021-09-17 | Paper |
| Towards uniform online spherical tessellations | 2020-05-12 | Paper |
| Unique decipherability in formal languages | 2019-12-27 | Paper |
| Freeness properties of weighted and probabilistic automata over bounded languages | 2019-12-18 | Paper |
| The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete | 2018-07-16 | Paper |
| On the decidability and complexity of problems for restricted hierarchical hybrid systems | 2016-11-04 | Paper |
| Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages | 2016-04-13 | Paper |
| Factorization in Formal Languages | 2015-11-10 | Paper |
| Reachability and Mortality Problems for Restricted Hierarchical Piecewise Constant Derivatives | 2015-10-28 | Paper |
| Multiprocessor speed scaling for jobs with arbitrary sizes and deadlines | 2015-05-11 | Paper |
| Reachability Problems for Hierarchical Piecewise Constant Derivative Systems | 2014-07-07 | Paper |
| Decision Problems for Probabilistic Finite Automata on Bounded Languages | 2013-04-18 | Paper |
| Mortality for 2 ×2 Matrices Is NP-Hard | 2012-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2893294 | 2012-06-20 | Paper |
| Multiprocessor Speed Scaling for Jobs with Arbitrary Sizes and Deadlines | 2011-07-01 | Paper |
| ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS | 2011-01-19 | Paper |
| The continuous Skolem-Pisot problem | 2010-10-11 | Paper |
| On the Joint Spectral Radius for Bounded Matrix Languages | 2010-08-31 | Paper |
| The Identity Correspondence Problem and Its Applications | 2009-12-17 | Paper |
| Lowering Undecidability Bounds for Decision Questions in Matrices | 2009-03-26 | Paper |
| MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM | 2009-02-10 | Paper |
| Reachability problems in quaternion matrix and rotation semigroups | 2008-12-03 | Paper |
| Reachability Problems in Quaternion Matrix and Rotation Semigroups | 2008-09-17 | Paper |
| The Continuous Skolem-Pisot Problem: On the Complexity of Reachability for Linear Ordinary Differential Equations | 2008-09-12 | Paper |
| Periodic and Infinite Traces in Matrix Semigroups | 2008-03-07 | Paper |
| On undecidability bounds for matrix decision problems | 2008-03-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422263 | 2007-10-17 | Paper |
| On the membership of invertible diagonal and scalar matrices | 2007-03-15 | Paper |
| Developments in Language Theory | 2006-06-23 | Paper |
