| Publication | Date of Publication | Type |
|---|
| A Note on Squares in Binary Words | 2024-02-16 | Paper |
| On bi-infinite and conjugate post correspondence problems | 2024-02-02 | Paper |
| Identities and transductions | 2024-01-29 | Paper |
| Decomposition of infinite labeled 2-structures | 2024-01-29 | Paper |
| Integer Weighted Automata on Infinite Words | 2023-08-15 | Paper |
| Avoiding square-free words on free groups | 2022-06-13 | Paper |
| Critical factorisation in square-free words | 2022-03-31 | Paper |
| Integer weighted automata on infinite words | 2022-03-25 | Paper |
| A recursive function coding number theoretic functions | 2022-03-17 | Paper |
| On the Self Shuffle Language | 2022-02-16 | Paper |
| Finite transducers and rational transductions | 2022-02-04 | Paper |
| On Shuffling a Word with its Letter-to-Letter Substitution | 2021-05-20 | Paper |
| Avoiding Square-Free Words on Free Groups | 2021-04-14 | Paper |
| On the Steps of Emil Post: from Normal Systems to the Correspondence Decision Problem | 2021-03-20 | Paper |
| Disposability in square-free words | 2021-03-09 | Paper |
| Some further results on squarefree arithmetic progressions in infinite words | 2019-11-13 | Paper |
| On square-free arithmetic progressions in infinite words | 2019-05-02 | Paper |
| Theory of 2-structures | 2019-01-10 | Paper |
| Compactness of systems of equations in semigroups | 2019-01-10 | Paper |
| Group based graph transformations and hierarchical representations of graphs | 2019-01-10 | Paper |
| On fixed points of rational transductions | 2018-06-07 | Paper |
| A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem | 2018-01-19 | Paper |
| Walks on tilings of polygons | 2017-12-06 | Paper |
| Remarks on generalized Post Correspondence Problem | 2017-11-16 | Paper |
| Similarity relations on words | 2017-10-06 | Paper |
| Weighted automata on infinite words in the context of attacker-defender games | 2017-08-08 | Paper |
| Pancyclicity in switching classes | 2016-06-16 | Paper |
| On a geometric problem of zigzags. | 2016-05-26 | Paper |
| On a question of Hof, Knill and Simon on palindromic substitutive systems | 2016-03-17 | Paper |
| A new proof for the decidability of D0L ultimate periodicity | 2016-03-01 | Paper |
| Weighted Automata on Infinite Words in the Context of Attacker-Defender Games | 2015-10-20 | Paper |
| Abelian bordered factors and periodicity | 2015-09-30 | Paper |
| Square-free shuffles of words | 2015-09-16 | Paper |
| On the \(n\)-permutation Post correspondence problem | 2015-09-16 | Paper |
| A note on short palindromes in square-free words | 2014-12-02 | Paper |
| On generating binary words palindromically | 2014-11-19 | Paper |
| Word problem for deterministic and reversible semi-Thue systems | 2014-06-30 | Paper |
| Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More | 2014-04-02 | Paper |
| New proof for the undecidability of the circular PCP | 2013-11-11 | Paper |
| Composition and orbits of language operations: finiteness and upper bounds | 2013-10-22 | Paper |
| A Note on Square-Free Shuffles of Words | 2013-09-20 | Paper |
| Simple gene assembly as a rewriting of directed overlap-inclusion graphs | 2012-10-11 | Paper |
| Pivots, determinants, and perfect matchings of graphs | 2012-10-11 | Paper |
| Square-free words obtained from prefixes by permutations | 2012-05-30 | Paper |
| Cyclically repetition-free words on small alphabets | 2012-03-19 | Paper |
| Directed Overlap-inclusion Graphs as Representations of Ciliate Genes | 2011-11-22 | Paper |
| On the number of frames in binary words | 2011-10-10 | Paper |
| Finite Orbits of Language Operations | 2011-06-03 | Paper |
| The number of positions starting a square in binary words | 2011-02-17 | Paper |
| UNDECIDABILITY BOUNDS FOR INTEGER MATRICES USING CLAUS INSTANCES | 2011-01-06 | Paper |
| On the Periodicity of Morphic Words | 2010-08-31 | Paper |
| Post correspondence problem for short words | 2010-06-09 | Paper |
| Square-free partial words | 2010-06-09 | Paper |
| Fundamentals of Computation Theory | 2010-04-20 | Paper |
| On the number of squares in partial words | 2010-03-12 | Paper |
| Weinbaum factorizations of primitive words | 2010-02-05 | Paper |
| Equality sets of prefix morphisms and regular star languages | 2009-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396566 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396590 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395972 | 2009-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395981 | 2009-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395994 | 2009-09-15 | Paper |
| Post Correspondence Problem and Small Dimensional Matrices | 2009-07-07 | Paper |
| Aspects of Molecular Computing | 2009-05-14 | Paper |
| The theorem of Fine and Wilf for relational periods | 2009-05-06 | Paper |
| Bordered conjugates of words over large alphabets | 2009-04-07 | Paper |
| Simple Operations for Gene Assembly | 2009-04-02 | Paper |
| Overlap-freeness in infinite partial words | 2009-03-17 | Paper |
| Graph theoretic approach to parallel gene assembly | 2009-03-04 | Paper |
| MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM | 2009-02-10 | Paper |
| Periodicity and unbordered words | 2008-12-21 | Paper |
| Patterns of simple gene assembly in ciliates | 2008-10-17 | Paper |
| Parallel complexity of signed graphs for gene assembly in ciliates | 2008-06-25 | Paper |
| Towards a characterization of bipartite switching classes by means of forbidden subgraphs | 2008-06-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5387733 | 2008-05-27 | Paper |
| Unbordered factors and Lyndon words | 2008-04-28 | Paper |
| Defect theorems with compatibility relations. | 2008-04-03 | Paper |
| Relational codes of words | 2008-01-07 | Paper |
| On Markov's undecidability theorem for integer matrices. | 2007-11-14 | Paper |
| STACS 2004 | 2007-10-01 | Paper |
| Extension of the decidability of the marked PCP to instances with unique blocks | 2007-07-16 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Parallelism in gene assembly | 2007-04-19 | Paper |
| Undecidability of infinite post correspondence problem for instances of Size 9 | 2007-02-20 | Paper |
| The structure of infinite solutions of marked and binary Post correspondence problems | 2007-02-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416075 | 2007-01-19 | Paper |
| Finite metrics in switching classes | 2007-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3409982 | 2006-11-21 | Paper |
| DNA Computing | 2006-10-19 | Paper |
| DNA Computing | 2006-10-19 | Paper |
| Periods in extensions of words | 2006-10-18 | Paper |
| Embedding linear orders in grids | 2006-05-26 | Paper |
| On unique factorizations of primitive words. | 2006-05-18 | Paper |
| Positivity of second order linear recurrent sequences | 2006-04-28 | Paper |
| New Computational Paradigms | 2006-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5716610 | 2006-01-10 | Paper |
| A characterization of periodicity of bi-infinite words | 2005-12-29 | Paper |
| Counting bordered and primitive words with a fixed weight | 2005-08-01 | Paper |
| Computation in living cells. Gene assembly in ciliates | 2005-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4668745 | 2005-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4668746 | 2005-04-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4665745 | 2005-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4662839 | 2005-03-30 | Paper |
| A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs | 2005-02-28 | Paper |
| On the equation \(x^k=z_1^{k_1}z_2^{k_2}\cdots z_n^{k_n}\) in a free semigroup | 2005-02-22 | Paper |
| Undecidability in matrices over Laurent polynomials. | 2005-01-26 | Paper |
| Theory Is Forever | 2005-01-18 | Paper |
| Border correlation of binary words | 2005-01-11 | Paper |
| Zebra factorizations in free semigroups. | 2004-10-01 | Paper |
| The equation \(x^i=y^jz^k\) in a free semigroup. | 2004-10-01 | Paper |
| Many aspects of defect theorems | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4814092 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737667 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737895 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737917 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738288 | 2004-08-11 | Paper |
| On the independence of equations in three variables. | 2004-03-14 | Paper |
| Transitivity of local complementation and switching on graphs. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453474 | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452072 | 2004-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438776 | 2003-12-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438800 | 2003-12-10 | Paper |
| Decidability of the binary infinite Post Correspondence Problem | 2003-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412095 | 2003-07-13 | Paper |
| Some decision problems concerning semilinearity and commutation. | 2003-05-14 | Paper |
| Density of Critical Factorizations | 2003-04-02 | Paper |
| Formal systems for gene assembly in ciliates. | 2003-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782114 | 2002-11-27 | Paper |
| Characterizing the micronuclear gene patterns in ciliates | 2002-09-25 | Paper |
| Mortality in Matrix Semigroups | 2002-09-05 | Paper |
| Gene assembly through cyclic graph decomposition | 2002-07-18 | Paper |
| Binary (generalized) Post Correspondence Problem | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535049 | 2002-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729239 | 2001-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4510799 | 2001-04-26 | Paper |
| GENERALIZED POST CORRESPONDENCE PROBLEM FOR MARKED MORPHISMS | 2001-04-17 | Paper |
| ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS | 2000-11-07 | Paper |
| Permutations, parenthesis words, and Schröder numbers | 2000-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934339 | 2000-10-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502805 | 2000-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4492680 | 2000-07-17 | Paper |
| Periods and binary words | 2000-05-11 | Paper |
| The size of switching classes with skew gains | 2000-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941153 | 2000-02-29 | Paper |
| Undecidability of the equivalence of finite substitutions on regular language | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4265634 | 1999-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218124 | 1999-06-21 | Paper |
| On quasi orders of words and the confluence property | 1999-01-20 | Paper |
| Acyclicity of switching classes | 1999-01-14 | Paper |
| Languages obtained from infinite words | 1999-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362735 | 1998-11-03 | Paper |
| A note on decidability questions on presentations of word semigroups | 1998-07-22 | Paper |
| Invariants of inversive 2-structures on groups of labels | 1998-03-02 | Paper |
| Compactness of Systems of Equations in Semigroups | 1998-02-25 | Paper |
| The intersection problem for alphabetic vector monoids | 1997-10-30 | Paper |
| Characterization and complexity of uniformly nonprimitive labeled 2-structures | 1997-02-28 | Paper |
| Flatwords and Post Correspondence Problem | 1997-02-27 | Paper |
| Representation of rational functions with prefix and suffix codings | 1995-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296302 | 1994-10-20 | Paper |
| Incremental construction of 2-structures | 1994-09-15 | Paper |
| Deterministic sequential functions | 1994-05-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142558 | 1993-12-20 | Paper |
| Permutable transformation semigroups | 1993-08-17 | Paper |
| Compositional representation of rational functions | 1992-09-27 | Paper |
| Decidability problems for unary output sequential transducers | 1992-06-26 | Paper |
| Splicing semigroups of dominoes and DNA | 1992-06-25 | Paper |
| The equivalence problem of multitape finite automata | 1991-01-01 | Paper |
| Cardinality problems of compositions of morphisms and inverse morphisms | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4205087 | 1989-01-01 | Paper |
| On the periodicity of morphisms on free monoids | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4721661 | 1986-01-01 | Paper |
| On morphic generation of regular languages | 1986-01-01 | Paper |
| On the defect theorem and simplifiability | 1986-01-01 | Paper |
| The ω sequence problem for DOL systems is decidable | 1984-01-01 | Paper |
| The equations \(h(w)=w^ n\) in binary alphabets | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3331426 | 1984-01-01 | Paper |
| Dominoes over a free monoid | 1982-01-01 | Paper |
| Some decidability problems of sentential formst † | 1979-01-01 | Paper |
| A simulation result for the auxiliary pushdown automata | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4140379 | 1977-01-01 | Paper |
