Publication | Date of Publication | Type |
---|
The membership problem for subsemigroups of \(\operatorname{GL}_2(\mathbb{Z})\) is \textbf{NP}-complete | 2024-01-18 | Paper |
Integer Weighted Automata on Infinite Words | 2023-08-15 | Paper |
The k-centre problem for classes of cyclic words | 2023-08-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q6098774 | 2023-06-14 | Paper |
Distributed transformations of Hamiltonian shapes based on line moves | 2022-12-21 | Paper |
Centralised connectivity-preserving transformations for programmable matter: a minimal seed approach | 2022-10-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q5092447 | 2022-07-21 | Paper |
Distributed transformations of Hamiltonian shapes based on line moves | 2022-06-24 | Paper |
Centralised connectivity-preserving transformations for programmable matter: a minimal seed approach | 2022-06-24 | Paper |
Optimizing reachability sets in temporal graphs by delaying | 2022-06-08 | Paper |
Towards uniform online spherical tessellations | 2022-05-16 | Paper |
Integer weighted automata on infinite words | 2022-03-25 | Paper |
On the Hardness of Energy Minimisation for Crystal Structure Prediction* | 2022-03-09 | Paper |
On efficient connectivity-preserving transformations in a grid | 2021-12-01 | Paper |
On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond | 2021-11-25 | Paper |
Reachability problems in low-dimensional nondeterministic polynomial maps over integers | 2021-11-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q5002819 | 2021-07-28 | Paper |
On efficient connectivity-preserving transformations in a grid | 2021-07-08 | Paper |
Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices | 2021-01-22 | Paper |
On the Hardness of Energy Minimisation for Crystal Structure Prediction | 2020-07-20 | Paper |
Pushing lines helps: efficient universal centralised transformations for programmable matter | 2020-05-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q5111259 | 2020-05-26 | Paper |
Towards uniform online spherical tessellations | 2020-05-12 | Paper |
On decidability and complexity of low-dimensional robot games | 2019-11-29 | Paper |
Polygon Approximations of the Euclidean Circles on the Square Grid by Broadcasting Sequences | 2019-10-16 | Paper |
Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) | 2019-05-02 | Paper |
Reachability problems in nondeterministic polynomial maps on the integers | 2018-11-22 | Paper |
Vector Ambiguity and Freeness Problems in SL(2, ℤ) | 2018-10-02 | Paper |
Reachability Problems for One-Dimensional Piecewise Affine Maps | 2018-07-24 | Paper |
Decidability of the Membership Problem for 2 × 2 integer matrices | 2018-07-16 | Paper |
The Identity Problem for Matrix Semigroups in SL2(ℤ) is NP-complete | 2018-07-16 | Paper |
Insertion-deletion systems over relational words | 2018-03-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q4608636 | 2018-03-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4608647 | 2018-03-21 | Paper |
Weighted automata on infinite words in the context of attacker-defender games | 2017-08-08 | Paper |
Vector Ambiguity and Freeness Problems in SL $$(2,\mathbb {Z})$$ | 2017-05-19 | Paper |
Matrix Semigroup Freeness Problems in SL $$(2,\mathbb {Z})$$ | 2017-04-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q2963911 | 2017-02-21 | Paper |
On Robot Games of Degree Two | 2016-04-08 | Paper |
Reachability Problems for PAMs | 2016-03-10 | Paper |
Geometric computations by broadcasting automata | 2016-03-09 | Paper |
Weighted Automata on Infinite Words in the Context of Attacker-Defender Games | 2015-10-20 | Paper |
Broadcasting Automata and Patterns on ℤ2 | 2015-04-14 | Paper |
Mortality for 2 ×2 Matrices Is NP-Hard | 2012-09-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q2893294 | 2012-06-20 | Paper |
On algebra of languages representable by vertex-labeled graphs | 2012-05-30 | Paper |
Geometric Computations by Broadcasting Automata on the Integer Grid | 2011-06-17 | Paper |
Planarity of Knots, Register Automata and LogSpace Computability | 2011-06-03 | Paper |
ON THE UNDECIDABILITY OF THE IDENTITY CORRESPONDENCE PROBLEM AND ITS APPLICATIONS FOR WORD AND MATRIX SEMIGROUPS | 2011-01-19 | Paper |
On decision problems for parameterized machines | 2010-03-09 | Paper |
The Identity Correspondence Problem and Its Applications | 2009-12-17 | Paper |
On the Computational Power of Querying the History | 2009-06-23 | Paper |
Automata on Gauss Words | 2009-04-02 | Paper |
Lowering Undecidability Bounds for Decision Questions in Matrices | 2009-03-26 | Paper |
Computation in One-Dimensional Piecewise Maps | 2009-03-11 | 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 LOW-DIMENSIONAL ITERATIVE MAPS | 2008-09-25 | Paper |
Reachability Problems in Quaternion Matrix and Rotation Semigroups | 2008-09-17 | Paper |
Periodic and Infinite Traces in Matrix Semigroups | 2008-03-07 | Paper |
On undecidability bounds for matrix decision problems | 2008-03-05 | Paper |
Time efficient centralized gossiping in radio networks | 2007-09-19 | Paper |
On a Maximal NFA Without Mergible States | 2007-05-02 | Paper |
On the membership of invertible diagonal and scalar matrices | 2007-03-15 | Paper |
Deterministic communication in radio networks with large labels | 2007-03-05 | Paper |
Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
Unconventional Computation | 2006-07-07 | Paper |
Developments in Language Theory | 2006-06-23 | Paper |
Developments in Language Theory | 2005-12-22 | Paper |
Developments in Language Theory | 2005-12-22 | Paper |
Structural Information and Communication Complexity | 2005-09-07 | Paper |
Mathematical Foundations of Computer Science 2004 | 2005-08-22 | Paper |
Space efficient search for maximal repetitions | 2005-06-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4453462 | 2004-03-07 | Paper |
Coarse-Grained Parallel Transitive Closure Algorithm: Path Decomposition Technique | 2003-10-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4432977 | 2003-10-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4412042 | 2003-07-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4411387 | 2003-07-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4787343 | 2003-01-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4782704 | 2002-12-02 | Paper |