| Publication | Date of Publication | Type |
|---|
Decision problems on copying and shuffling
Fundamenta Informaticae | 2024-10-07 | Paper |
A simple undecidable problem for free groups
Theoretical Computer Science | 2024-06-04 | Paper |
A Note on Squares in Binary Words
International Journal of Foundations of Computer Science | 2024-02-16 | Paper |
On bi-infinite and conjugate post correspondence problems
RAIRO - Theoretical Informatics and Applications | 2024-02-02 | Paper |
Identities and transductions
Lecture Notes in Computer Science | 2024-01-29 | Paper |
Decomposition of infinite labeled 2-structures
Lecture Notes in Computer Science | 2024-01-29 | Paper |
Integer Weighted Automata on Infinite Words
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
Avoiding square-free words on free groups
Theoretical Computer Science | 2022-06-13 | Paper |
Critical factorisation in square-free words
RAIRO - Theoretical Informatics and Applications | 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
Fundamenta Informaticae | 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
Acta Cybernetica | 2021-03-20 | Paper |
Disposability in square-free words
Theoretical Computer Science | 2021-03-09 | Paper |
Some further results on squarefree arithmetic progressions in infinite words
Theoretical Computer Science | 2019-11-13 | Paper |
On square-free arithmetic progressions in infinite words
Theoretical Computer Science | 2019-05-02 | Paper |
Theory of 2-structures
Automata, Languages and Programming | 2019-01-10 | Paper |
Group based graph transformations and hierarchical representations of graphs
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Compactness of systems of equations in semigroups
Automata, Languages and Programming | 2019-01-10 | Paper |
On fixed points of rational transductions
Theoretical Computer Science | 2018-06-07 | Paper |
A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem
Fundamenta Informaticae | 2018-01-19 | Paper |
Walks on tilings of polygons
Theoretical Computer Science | 2017-12-06 | Paper |
Remarks on generalized Post Correspondence Problem
STACS 96 | 2017-11-16 | Paper |
Similarity relations on words
Combinatorics, Words and Symbolic Dynamics | 2017-10-06 | Paper |
Weighted automata on infinite words in the context of attacker-defender games
Information and Computation | 2017-08-08 | Paper |
Pancyclicity in switching classes
Information Processing Letters | 2016-06-16 | Paper |
On a geometric problem of zigzags.
Information Processing Letters | 2016-05-26 | Paper |
On a question of Hof, Knill and Simon on palindromic substitutive systems
Monatshefte für Mathematik | 2016-03-17 | Paper |
A new proof for the decidability of D0L ultimate periodicity
Electronic Proceedings in Theoretical Computer Science | 2016-03-01 | Paper |
Weighted automata on infinite words in the context of attacker-defender games
Evolving Computability | 2015-10-20 | Paper |
Abelian bordered factors and periodicity
European Journal of Combinatorics | 2015-09-30 | Paper |
Square-free shuffles of words
Theoretical Computer Science | 2015-09-16 | Paper |
On the \(n\)-permutation Post correspondence problem
Theoretical Computer Science | 2015-09-16 | Paper |
A note on short palindromes in square-free words
Theoretical Computer Science | 2014-12-02 | Paper |
On generating binary words palindromically
Journal of Combinatorial Theory. Series A | 2014-11-19 | Paper |
Word problem for deterministic and reversible semi-Thue systems
Semigroup Forum | 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
Acta Informatica | 2013-11-11 | Paper |
Composition and orbits of language operations: finiteness and upper bounds
International Journal of Computer Mathematics | 2013-10-22 | Paper |
A note on square-free shuffles of words
Lecture Notes in Computer Science | 2013-09-20 | Paper |
Pivots, determinants, and perfect matchings of graphs
Theoretical Computer Science | 2012-10-11 | Paper |
Simple gene assembly as a rewriting of directed overlap-inclusion graphs
Theoretical Computer Science | 2012-10-11 | Paper |
Square-free words obtained from prefixes by permutations
Theoretical Computer Science | 2012-05-30 | Paper |
Cyclically repetition-free words on small alphabets
Information Processing Letters | 2012-03-19 | Paper |
Directed overlap-inclusion graphs as representations of ciliate genes
Fundamenta Informaticae | 2011-11-22 | Paper |
On the number of frames in binary words
Theoretical Computer Science | 2011-10-10 | Paper |
Finite Orbits of Language Operations
Language and Automata Theory and Applications | 2011-06-03 | Paper |
The number of positions starting a square in binary words
The Electronic Journal of Combinatorics | 2011-02-17 | Paper |
Undecidability bounds for integer matrices using Claus instances
International Journal of Foundations of Computer Science | 2011-01-06 | Paper |
On the periodicity of morphic words
Developments in Language Theory | 2010-08-31 | Paper |
Square-free partial words
Information Processing Letters | 2010-06-09 | Paper |
Post correspondence problem for short words
Information Processing Letters | 2010-06-09 | Paper |
Languages defined by generalized equality sets.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
On the number of squares in partial words
RAIRO - Theoretical Informatics and Applications | 2010-03-12 | Paper |
Weinbaum factorizations of primitive words
Russian Mathematics | 2010-02-05 | Paper |
Equality sets of prefix morphisms and regular star languages
Information Processing Letters | 2009-12-04 | Paper |
scientific article; zbMATH DE number 5605069 (Why is no real title available?)
| 2009-09-19 | Paper |
scientific article; zbMATH DE number 5605093 (Why is no real title available?)
| 2009-09-19 | Paper |
scientific article; zbMATH DE number 5604089 (Why is no real title available?)
| 2009-09-15 | Paper |
scientific article; zbMATH DE number 5604098 (Why is no real title available?)
| 2009-09-15 | Paper |
Gene assembly in ciliates. II. Formal frameworks.
| 2009-09-15 | Paper |
Post Correspondence Problem and Small Dimensional Matrices
Developments in Language Theory | 2009-07-07 | Paper |
Aspects of Molecular Computing
Lecture Notes in Computer Science | 2009-05-14 | Paper |
The theorem of Fine and Wilf for relational periods
RAIRO - Theoretical Informatics and Applications | 2009-05-06 | Paper |
Bordered conjugates of words over large alphabets
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Simple Operations for Gene Assembly
DNA Computing | 2009-04-02 | Paper |
Overlap-freeness in infinite partial words
Theoretical Computer Science | 2009-03-17 | Paper |
Graph theoretic approach to parallel gene assembly
Discrete Applied Mathematics | 2009-03-04 | Paper |
MATRIX EQUATIONS AND HILBERT'S TENTH PROBLEM
International Journal of Algebra and Computation | 2009-02-10 | Paper |
Periodicity and unbordered words
Journal of the ACM | 2008-12-21 | Paper |
Patterns of simple gene assembly in ciliates
Discrete Applied Mathematics | 2008-10-17 | Paper |
Parallel complexity of signed graphs for gene assembly in ciliates
Soft Computing | 2008-06-25 | Paper |
Towards a characterization of bipartite switching classes by means of forbidden subgraphs
Discussiones Mathematicae Graph Theory | 2008-06-18 | Paper |
Interaction properties of relational periods
| 2008-05-27 | Paper |
Unbordered factors and Lyndon words
Discrete Mathematics | 2008-04-28 | Paper |
Defect theorems with compatibility relations.
Semigroup Forum | 2008-04-03 | Paper |
Relational codes of words
Theoretical Computer Science | 2008-01-07 | Paper |
On Markov's undecidability theorem for integer matrices.
Semigroup Forum | 2007-11-14 | Paper |
STACS 2004
Lecture Notes in Computer Science | 2007-10-01 | Paper |
Extension of the decidability of the marked PCP to instances with unique blocks
Theoretical Computer Science | 2007-07-16 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Parallelism in gene assembly
Natural Computing | 2007-04-19 | Paper |
Undecidability of infinite post correspondence problem for instances of Size 9
RAIRO - Theoretical Informatics and Applications | 2007-02-20 | Paper |
The structure of infinite solutions of marked and binary Post correspondence problems
Theory of Computing Systems | 2007-02-14 | Paper |
The embedding problem for switching classes of graphs
| 2007-01-19 | Paper |
Finite metrics in switching classes
Discrete Applied Mathematics | 2007-01-09 | Paper |
scientific article; zbMATH DE number 5074397 (Why is no real title available?)
| 2006-11-21 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-10-19 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Periods in extensions of words
Acta Informatica | 2006-10-18 | Paper |
Embedding linear orders in grids
Acta Informatica | 2006-05-26 | Paper |
On unique factorizations of primitive words.
Theoretical Computer Science | 2006-05-18 | Paper |
Positivity of second order linear recurrent sequences
Discrete Applied Mathematics | 2006-04-28 | Paper |
New Computational Paradigms
Lecture Notes in Computer Science | 2006-01-11 | Paper |
scientific article; zbMATH DE number 2245556 (Why is no real title available?)
| 2006-01-10 | Paper |
A characterization of periodicity of bi-infinite words
Theoretical Computer Science | 2005-12-29 | Paper |
Counting bordered and primitive words with a fixed weight
Theoretical Computer Science | 2005-08-01 | Paper |
Computation in living cells. Gene assembly in ciliates
Natural Computing Series | 2005-04-26 | Paper |
scientific article; zbMATH DE number 2156287 (Why is no real title available?)
| 2005-04-15 | Paper |
scientific article; zbMATH DE number 2156288 (Why is no real title available?)
| 2005-04-15 | Paper |
scientific article; zbMATH DE number 2155198 (Why is no real title available?)
| 2005-04-11 | Paper |
scientific article; zbMATH DE number 2150290 (Why is no real title available?)
| 2005-03-30 | Paper |
A Characterization of Acyclic Switching Classes of Graphs Using Forbidden Subgraphs
SIAM Journal on Discrete Mathematics | 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
Theoretical Computer Science | 2005-02-22 | Paper |
Undecidability in matrices over Laurent polynomials.
Advances in Applied Mathematics | 2005-01-26 | Paper |
Theory Is Forever
Lecture Notes in Computer Science | 2005-01-18 | Paper |
Border correlation of binary words
Journal of Combinatorial Theory. Series A | 2005-01-11 | Paper |
Many aspects of defect theorems
Theoretical Computer Science | 2004-10-01 | Paper |
Zebra factorizations in free semigroups.
Semigroup Forum | 2004-10-01 | Paper |
The equation \(x^i=y^jz^k\) in a free semigroup.
Semigroup Forum | 2004-10-01 | Paper |
scientific article; zbMATH DE number 2097774 (Why is no real title available?)
| 2004-09-07 | Paper |
scientific article; zbMATH DE number 2087488 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2087212 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2087233 (Why is no real title available?)
| 2004-08-11 | Paper |
scientific article; zbMATH DE number 2087027 (Why is no real title available?)
| 2004-08-11 | Paper |
Transitivity of local complementation and switching on graphs.
Discrete Mathematics | 2004-03-14 | Paper |
On the independence of equations in three variables.
Theoretical Computer Science | 2004-03-14 | Paper |
scientific article; zbMATH DE number 2051182 (Why is no real title available?)
| 2004-03-07 | Paper |
scientific article; zbMATH DE number 2040916 (Why is no real title available?)
| 2004-02-11 | Paper |
scientific article; zbMATH DE number 2016073 (Why is no real title available?)
| 2003-12-10 | Paper |
scientific article; zbMATH DE number 2016091 (Why is no real title available?)
| 2003-12-10 | Paper |
Decidability of the binary infinite Post Correspondence Problem
Discrete Applied Mathematics | 2003-09-22 | Paper |
scientific article; zbMATH DE number 1948482 (Why is no real title available?)
| 2003-07-13 | Paper |
Some decision problems concerning semilinearity and commutation.
Journal of Computer and System Sciences | 2003-05-14 | Paper |
Density of Critical Factorizations
RAIRO - Theoretical Informatics and Applications | 2003-04-02 | Paper |
Formal systems for gene assembly in ciliates.
Theoretical Computer Science | 2003-01-22 | Paper |
scientific article; zbMATH DE number 1836429 (Why is no real title available?)
| 2002-11-27 | Paper |
Characterizing the micronuclear gene patterns in ciliates
Theory of Computing Systems | 2002-09-25 | Paper |
Mortality in Matrix Semigroups
American Mathematical Monthly | 2002-09-05 | Paper |
Gene assembly through cyclic graph decomposition
Theoretical Computer Science | 2002-07-18 | Paper |
Binary (generalized) Post Correspondence Problem
Theoretical Computer Science | 2002-07-15 | Paper |
scientific article; zbMATH DE number 1754622 (Why is no real title available?)
| 2002-06-12 | Paper |
Some new results on Post correspondence problem and its modifications
Bulletin of the European Association for Theoretical Computer Science EATCS | 2001-07-18 | Paper |
scientific article; zbMATH DE number 1522565 (Why is no real title available?)
| 2001-04-26 | Paper |
Generalized Post correspondence problem for marked morphisms
International Journal of Algebra and Computation | 2001-04-17 | Paper |
ON THE UNDECIDABILITY OF FREENESS OF MATRIX SEMIGROUPS
International Journal of Algebra and Computation | 2000-11-07 | Paper |
Permutations, parenthesis words, and Schröder numbers
Discrete Mathematics | 2000-11-02 | Paper |
scientific article; zbMATH DE number 1390073 (Why is no real title available?)
| 2000-10-03 | Paper |
scientific article; zbMATH DE number 1504827 (Why is no real title available?)
| 2000-09-12 | Paper |
scientific article; zbMATH DE number 1478125 (Why is no real title available?)
| 2000-07-17 | Paper |
Periods and binary words
Journal of Combinatorial Theory. Series A | 2000-05-11 | Paper |
The size of switching classes with skew gains
Discrete Mathematics | 2000-05-07 | Paper |
scientific article; zbMATH DE number 1408339 (Why is no real title available?)
| 2000-02-29 | Paper |
Undecidability of the equivalence of finite substitutions on regular language
RAIRO - Theoretical Informatics and Applications | 1999-09-22 | Paper |
scientific article; zbMATH DE number 1339970 (Why is no real title available?)
| 1999-09-22 | Paper |
scientific article; zbMATH DE number 1222585 (Why is no real title available?)
| 1999-06-21 | Paper |
On quasi orders of words and the confluence property
Theoretical Computer Science | 1999-01-20 | Paper |
Acyclicity of switching classes
European Journal of Combinatorics | 1999-01-14 | Paper |
Languages obtained from infinite words
RAIRO - Theoretical Informatics and Applications | 1999-01-11 | Paper |
scientific article; zbMATH DE number 1086497 (Why is no real title available?)
| 1998-11-03 | Paper |
A note on decidability questions on presentations of word semigroups
Theoretical Computer Science | 1998-07-22 | Paper |
Invariants of inversive 2-structures on groups of labels
Mathematical Structures in Computer Science | 1998-03-02 | Paper |
Compactness of Systems of Equations in Semigroups
International Journal of Algebra and Computation | 1998-02-25 | Paper |
The intersection problem for alphabetic vector monoids
RAIRO - Theoretical Informatics and Applications | 1997-10-30 | Paper |
Characterization and complexity of uniformly nonprimitive labeled 2-structures
Theoretical Computer Science | 1997-02-28 | Paper |
Flatwords and Post Correspondence Problem
Theoretical Computer Science | 1997-02-27 | Paper |
Representation of rational functions with prefix and suffix codings
Theoretical Computer Science | 1995-01-09 | Paper |
scientific article; zbMATH DE number 591000 (Why is no real title available?)
| 1994-10-20 | Paper |
Incremental construction of 2-structures
Discrete Mathematics | 1994-09-15 | Paper |
Deterministic sequential functions
Acta Informatica | 1994-05-10 | Paper |
scientific article; zbMATH DE number 446841 (Why is no real title available?)
| 1993-12-20 | Paper |
Permutable transformation semigroups
Semigroup Forum | 1993-08-17 | Paper |
Compositional representation of rational functions
RAIRO - Theoretical Informatics and Applications | 1992-09-27 | Paper |
Decidability problems for unary output sequential transducers
Discrete Applied Mathematics | 1992-06-26 | Paper |
Splicing semigroups of dominoes and DNA
Discrete Applied Mathematics | 1992-06-25 | Paper |
The equivalence problem of multitape finite automata
Theoretical Computer Science | 1991-01-01 | Paper |
Cardinality problems of compositions of morphisms and inverse morphisms
Mathematical Systems Theory | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4125033 (Why is no real title available?)
| 1989-01-01 | Paper |
On morphic generation of regular languages
Discrete Applied Mathematics | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3995072 (Why is no real title available?)
| 1986-01-01 | Paper |
On the periodicity of morphisms on free monoids
RAIRO - Theoretical Informatics and Applications | 1986-01-01 | Paper |
On the defect theorem and simplifiability
Semigroup Forum | 1986-01-01 | Paper |
The ω sequence problem for DOL systems is decidable
Journal of the ACM | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3863479 (Why is no real title available?)
| 1984-01-01 | Paper |
The equations \(h(w)=w^ n\) in binary alphabets
Theoretical Computer Science | 1984-01-01 | Paper |
Dominoes over a free monoid
Theoretical Computer Science | 1982-01-01 | Paper |
A simulation result for the auxiliary pushdown automata
Journal of Computer and System Sciences | 1979-01-01 | Paper |
Some decidability problems of sentential formst †
International Journal of Computer Mathematics | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3569826 (Why is no real title available?)
| 1977-01-01 | Paper |
