| Publication | Date of Publication | Type |
|---|
| CIRCULARITY AND OTHER INVARIANTS OF GENE ASSEMBLY IN CILIATES | 2022-12-06 | Paper |
| A model for the origin of internal eliminated segments (IESs) and gene rearrangement in stichotrichous ciliates | 2020-10-28 | Paper |
| Template-guided recombination for IES elimination and unscrambling of genes in stichotrichous ciliates | 2020-05-06 | Paper |
| Complete inverted files for efficient text retrieval and analysis | 2020-04-05 | Paper |
| Group based graph transformations and hierarchical representations of graphs | 2019-01-10 | Paper |
| Theory of 2-structures | 2019-01-10 | Paper |
| Reaction Systems: A Model of Computation Inspired by the Functioning of the Living Cell | 2018-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4643857 | 2018-05-29 | Paper |
| Evolving reaction systems | 2017-06-15 | Paper |
| Pancyclicity in switching classes | 2016-06-16 | Paper |
| Standard and ordered zoom structures | 2015-12-10 | Paper |
| Zoom structures and reaction systems yield exploration systems | 2014-11-14 | Paper |
| A Pseudorandom Sequence--How Random Is It? | 2014-01-22 | Paper |
| Minimal Reaction Systems | 2013-04-03 | Paper |
| Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells | 2013-02-26 | Paper |
| STABILITY AND CHAOS IN REACTION SYSTEMS | 2013-01-18 | Paper |
| Relevance of Entities in Reaction Systems | 2012-11-01 | Paper |
| A Formal Framework for Processes Inspired by the Functioning of Living Cells | 2012-09-20 | Paper |
| A tour of reaction systems | 2012-08-29 | Paper |
| Representing Reaction Systems by Trees | 2012-06-15 | Paper |
| Reaction Systems with Duration | 2011-06-24 | Paper |
| Position heaps: a simple and dynamic text indexing data structure | 2011-05-03 | Paper |
| FUNCTIONS DEFINED BY REACTION SYSTEMS | 2011-02-23 | Paper |
| Reaction Systems: A Model of Computation Inspired by Biochemistry | 2010-08-31 | Paper |
| COMBINATORICS OF LIFE AND DEATH FOR REACTION SYSTEMS | 2010-06-18 | Paper |
| Contracted Suffix Trees: A Simple and Dynamic Text Indexing Data Structure | 2009-07-07 | Paper |
| Introducing time in reaction systems | 2009-03-02 | Paper |
| Biochemical Reactions as Computations | 2007-11-13 | Paper |
| Graph Transformations | 2007-06-21 | Paper |
| Events and modules in reaction systems | 2007-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425581 | 2007-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425569 | 2007-02-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3416075 | 2007-01-19 | Paper |
| Finite metrics in switching classes | 2007-01-09 | Paper |
| Embedding linear orders in grids | 2006-05-26 | Paper |
| COVERS FROM TEMPLATES | 2006-05-10 | Paper |
| Developments in Language Theory | 2005-12-22 | Paper |
| Computation in living cells. Gene assembly in ciliates | 2005-04-26 | Paper |
| Zebra factorizations in free semigroups. | 2004-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737667 | 2004-08-11 | Paper |
| Transitivity of local complementation and switching on graphs. | 2004-03-14 | Paper |
| Forbidding--enforcing systems | 2003-05-14 | Paper |
| Formal systems for gene assembly in ciliates. | 2003-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4782120 | 2002-11-27 | Paper |
| Characterizing the micronuclear gene patterns in ciliates | 2002-09-25 | Paper |
| String and graph reduction systems for gene assembly in ciliates | 2002-09-11 | Paper |
| Sequences of languages in forbidding-enforcing families | 2002-07-25 | Paper |
| Gene assembly through cyclic graph decomposition | 2002-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762332 | 2001-06-21 | Paper |
| Permutations, parenthesis words, and Schröder numbers | 2000-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4502805 | 2000-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4492680 | 2000-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953203 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260363 | 1999-09-19 | Paper |
| On representing recursively enumerable languages by internal contextual languages | 1999-01-12 | Paper |
| Invariants of inversive 2-structures on groups of labels | 1998-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370835 | 1998-01-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4341028 | 1997-06-16 | Paper |
| A note on binary grammatical codes of trees | 1997-02-27 | Paper |
| The linear landscape of external contextual languages | 1996-10-27 | Paper |
| Finite languages for the representation of finite graphs | 1996-07-16 | Paper |
| The size of \(k\)-pseudotrees | 1995-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835901 | 1995-06-08 | Paper |
| Dynamic labeled 2-structures | 1995-04-06 | Paper |
| Hyperedge channels are abelian | 1995-02-09 | Paper |
| Combinatorial properties of dependence graphs | 1995-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4296300 | 1994-10-09 | Paper |
| A \(k\)-structure generalization of the theory of 2-structures | 1994-09-25 | Paper |
| Incremental construction of 2-structures | 1994-09-15 | Paper |
| Clans and regions in 2-structures | 1994-07-31 | Paper |
| Context-free text grammars | 1994-06-02 | Paper |
| An O(n2) Divide-and-Conquer Algorithm for the Prime Tree Decomposition of Two-Structures and Modular Decomposition of Graphs | 1994-04-21 | Paper |
| Combinatorial properties of texts | 1994-04-19 | Paper |
| Properties of grammatical codes of trees | 1994-04-05 | Paper |
| Semantics of trees | 1994-03-24 | Paper |
| Efficient detection of quasiperiodicities in strings | 1993-11-28 | Paper |
| T-structures, T-functions, and texts | 1993-10-17 | Paper |
| Permutable transformation semigroups | 1993-08-17 | Paper |
| On the structure of recognizable languages of dependence graphs | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4018073 | 1993-01-16 | Paper |
| Angular 2-structures | 1992-06-28 | Paper |
| Grammatical codes of trees | 1992-06-26 | Paper |
| A characterization of set representable labeled partial 2-structures through decompositions | 1992-06-25 | Paper |
| Theory of 2-structures. I: Clans, basic subclasses, and morphisms | 1990-01-01 | Paper |
| Primitivity is hereditary for 2-structures | 1990-01-01 | Paper |
| Partial (set) 2-structures. I: Basic notions and the representation problems | 1990-01-01 | Paper |
| Partial (set) 2-structures. II: State spaces of concurrent systems | 1990-01-01 | Paper |
| Theory of 2-structures. II: Representation through labeled tree families | 1990-01-01 | Paper |
| Learnability and the Vapnik-Chervonenkis dimension | 1989-01-01 | Paper |
| A general lower bound on the number of examples needed for learning | 1989-01-01 | Paper |
| Average sizes of suffix trees and DAWGs | 1989-01-01 | Paper |
| Learning decision trees from random examples | 1989-01-01 | Paper |
| A new distance metric on strings computable in linear time | 1988-01-01 | Paper |
| Recording the use of memory in right-boundary grammars and push-down automata | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3793550 | 1988-01-01 | Paper |
| Occam's razor | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783517 | 1987-01-01 | Paper |
| Quasi-Monotonic Sequences: Theory, Algorithms and Applications | 1987-01-01 | Paper |
| Each regular code is included in a maximal regular code | 1986-01-01 | Paper |
| Coordinated pair systems ; part II : sparse structure of Dyck words and Ogden's lemma | 1986-01-01 | Paper |
| On the membership problem for regular DNLC grammars | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3783606 | 1986-01-01 | Paper |
| Addendum to the paper On the dependence of functions on their variables | 1986-01-01 | Paper |
| Coordinated pair systems ; part I : Dyck works and classical pumping | 1986-01-01 | Paper |
| On the active and full use of memory in right-boundary grammars and push- down automata | 1986-01-01 | Paper |
| On total regulators generated by derivation relations | 1985-01-01 | Paper |
| A combinatorial property of EOL languages | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3738587 | 1985-01-01 | Paper |
| A morphic representation of EOL languages and other ETOL languages | 1985-01-01 | Paper |
| Adding global forbidding context to context-free grammars | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3687737 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3736918 | 1985-01-01 | Paper |
| A new method of proving theorems on chromatic index | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3217631 | 1984-01-01 | Paper |
| On DOS languages and DOS mappings | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3680300 | 1984-01-01 | Paper |
| On inherently ambiguous E0L languages | 1984-01-01 | Paper |
| On regularity of languages generated by copying systems | 1984-01-01 | Paper |
| Restrictions on NLC graph grammars | 1984-01-01 | Paper |
| An easy proof of Greibach normal form | 1984-01-01 | Paper |
| Repetition of subwords in DOL languages | 1983-01-01 | Paper |
| On regularity of context-free languages | 1983-01-01 | Paper |
| On the size of the alphabet and the subword complexity of square-free DOL languages | 1983-01-01 | Paper |
| On the subword complexity of m-free DOL languages | 1983-01-01 | Paper |
| On binary equality sets and a solution to the test set conjecture in the binary case | 1983-01-01 | Paper |
| On the subword complexity of locally catenative DOL languages | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3657454 | 1983-01-01 | Paper |
| Context free normal systems and ETOL systems | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3959451 | 1982-01-01 | Paper |
| Basic formulas and languages. II: Applications to EOL systems and forms | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3959450 | 1982-01-01 | Paper |
| Representation theorems using DOS languages | 1982-01-01 | Paper |
| The (generalized) Post correspondence problem with lists consisting of two words is decidable | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3968470 | 1982-01-01 | Paper |
| On the dependence of functions on their variables | 1982-01-01 | Paper |
| Compositional complexity of Boolean functions | 1982-01-01 | Paper |
| Basic formulas and languages. I: The theory | 1981-01-01 | Paper |
| On the subword complexity of square-free DOL languages | 1981-01-01 | Paper |
| On the subword complexity of DOL languages with a constant distribution | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3339313 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3923624 | 1981-01-01 | Paper |
| On Etol Systems with Finite Tree-Rank | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3940867 | 1981-01-01 | Paper |
| A Morphic Representation of Complements of Recursively Enumerable Sets | 1981-01-01 | Paper |
| Many-to-one simulation in EOL forms is decidable | 1980-01-01 | Paper |
| On a bound for the DOL sequence equivalence problem | 1980-01-01 | Paper |
| On basic properties of DOS systems and languages | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3920667 | 1980-01-01 | Paper |
| On the emptiness of the intersection of two DOS languages problem | 1980-01-01 | Paper |
| On ambiguity in EOL systems | 1980-01-01 | Paper |
| Universal terms of the form \(B^nA^m\) | 1980-01-01 | Paper |
| Continuous grammars | 1980-01-01 | Paper |
| Some problems on the universality of words in groups | 1980-01-01 | Paper |
| Every two equivalent DOL systems have a regular true envelope | 1980-01-01 | Paper |
| The Sequence Equivalence Problem is Decidable for 0S Systems | 1980-01-01 | Paper |
| Avoidable patterns in strings of symbols | 1979-01-01 | Paper |
| Positional strategies for mean payoff games | 1979-01-01 | Paper |
| Finding a homomorphism between two words is NP-complete | 1979-01-01 | Paper |
| Periodicity and unbordered segments of words | 1979-01-01 | Paper |
| Homomorphisms of direct powers of algebras | 1979-01-01 | Paper |
| An infinite solitaire game with a random strategy | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3852197 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3899529 | 1979-01-01 | Paper |
| On ETOL systems with rank | 1979-01-01 | Paper |
| On k-stable functions | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3854647 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3877059 | 1979-01-01 | Paper |
| An observation on scattered grammars | 1979-01-01 | Paper |
| Elementary homomorphisms and a solution of the DOL sequence equivalence problem | 1978-01-01 | Paper |
| Simplifications of homomorphisms | 1978-01-01 | Paper |
| A note on DOL length sets | 1978-01-01 | Paper |
| On the structure of derivations in deterministic ETOL systems | 1978-01-01 | Paper |
| EOL languages are not codings of FPOL languages | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4157957 | 1977-01-01 | Paper |
| Decomposing a transformation with an involution | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3049833 | 1977-01-01 | Paper |
| Complexity measures for regular expressions | 1976-01-01 | Paper |
| On proving that certain languages are not ETOL | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4116625 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4139698 | 1975-01-01 | Paper |
| Practical decidability | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135025 | 1975-01-01 | Paper |
| On axial maps of direct product,s I | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4113829 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773710 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4777278 | 1974-01-01 | Paper |
| Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133124 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4045671 | 1974-01-01 | Paper |
| The equality of EOL languages and codings of ol languages | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4062663 | 1974-01-01 | Paper |
| On families on intersecting sets | 1974-01-01 | Paper |
| The number of occurrences of letters versus their distribution in some EOL languages | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4096453 | 1974-01-01 | Paper |
| A limit theorem for set of subwords in deterministic TOL laguages | 1973-01-01 | Paper |
| Discernible elements in models for Peano arithmetic | 1973-01-01 | Paper |
| Interpolation of functions over a measure space and conjectures about memory | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4049116 | 1973-01-01 | Paper |
| Organization of Memory | 1973-01-01 | Paper |
| Polynomial functions with exponentiation are well ordered | 1973-01-01 | Paper |
| Size direction games over the real line. I | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5670800 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4044558 | 1972-01-01 | Paper |
| A finitely axiomatizable complete theory with atomlessF 1(T) | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5637074 | 1971-01-01 | Paper |
| On Models with Undefinable Elements. | 1971-01-01 | Paper |
| Abbreviating proofs by adding new axioms | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5534224 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5601454 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5509676 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5546782 | 1965-01-01 | Paper |
| A characterization of abelian groups | 1962-01-01 | Paper |
| An application of games to the completeness problem for formalized theories | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3291525 | 1961-01-01 | Paper |
| Representability op recursively enumerable sets in formal theories | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551157 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5343889 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3289861 | 1957-01-01 | Paper |
| Two theories with axioms built by means of pleonasms | 1957-01-01 | Paper |
| On theories categorical in power | 1957-01-01 | Paper |
| Models of axiomatic theories admitting automorphisms | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3239311 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5848911 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5831363 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5826956 | 1954-01-01 | Paper |
