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 |
Theory of 2-structures | 2019-01-10 | Paper |
Group based graph transformations and hierarchical representations of graphs | 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/Q3425569 | 2007-02-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3425581 | 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 |
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. I: Clans, basic subclasses, and morphisms | 1990-01-01 | Paper |
Theory of 2-structures. II: Representation through labeled tree families | 1990-01-01 | Paper |
Primitivity is hereditary for 2-structures | 1990-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 general lower bound on the number of examples needed for learning | 1989-01-01 | Paper |
Learnability and the Vapnik-Chervonenkis dimension | 1989-01-01 | Paper |
Recording the use of memory in right-boundary grammars and push-down automata | 1988-01-01 | Paper |
A new distance metric on strings computable in linear time | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3793550 | 1988-01-01 | Paper |
Occam's razor | 1987-01-01 | Paper |
Quasi-Monotonic Sequences: Theory, Algorithms and Applications | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3783517 | 1987-01-01 | Paper |
Addendum to the paper On the dependence of functions on their variables | 1986-01-01 | Paper |
On the membership problem for regular DNLC grammars | 1986-01-01 | Paper |
On the active and full use of memory in right-boundary grammars and push- down automata | 1986-01-01 | Paper |
Each regular code is included in a maximal regular code | 1986-01-01 | Paper |
Coordinated pair systems ; part I : Dyck works and classical pumping | 1986-01-01 | Paper |
Coordinated pair systems ; part II : sparse structure of Dyck words and Ogden's lemma | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3783606 | 1986-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 |
On total regulators generated by derivation relations | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3687737 | 1985-01-01 | Paper |
A combinatorial property of EOL languages | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3736918 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3738587 | 1985-01-01 | Paper |
On DOS languages and DOS mappings | 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 |
A new method of proving theorems on chromatic index | 1984-01-01 | Paper |
Restrictions on NLC graph grammars | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3217631 | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3680300 | 1984-01-01 | Paper |
An easy proof of Greibach normal form | 1984-01-01 | Paper |
On the subword complexity of m-free 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 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 |
Context free normal systems and ETOL systems | 1983-01-01 | Paper |
Repetition of subwords in DOL languages | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3657454 | 1983-01-01 | Paper |
Compositional complexity of Boolean functions | 1982-01-01 | Paper |
Basic formulas and languages. II: Applications to EOL systems and forms | 1982-01-01 | Paper |
The (generalized) Post correspondence problem with lists consisting of two words is decidable | 1982-01-01 | Paper |
On the dependence of functions on their variables | 1982-01-01 | Paper |
Representation theorems using DOS languages | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3959450 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3959451 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3968470 | 1982-01-01 | Paper |
On the subword complexity of DOL languages with a constant distribution | 1981-01-01 | Paper |
On the subword complexity of square-free DOL languages | 1981-01-01 | Paper |
Basic formulas and languages. I: The theory | 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 |
Universal terms of the form \(B^nA^m\) | 1980-01-01 | Paper |
Many-to-one simulation in EOL forms is decidable | 1980-01-01 | Paper |
On ambiguity in EOL systems | 1980-01-01 | Paper |
On a bound for the DOL sequence equivalence problem | 1980-01-01 | Paper |
On the emptiness of the intersection of two DOS languages problem | 1980-01-01 | Paper |
Every two equivalent DOL systems have a regular true envelope | 1980-01-01 | Paper |
Some problems on the universality of words in groups | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3920667 | 1980-01-01 | Paper |
On basic properties of DOS systems and languages | 1980-01-01 | Paper |
The Sequence Equivalence Problem is Decidable for 0S Systems | 1980-01-01 | Paper |
Continuous grammars | 1980-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 |
Avoidable patterns in strings of symbols | 1979-01-01 | Paper |
On ETOL systems with rank | 1979-01-01 | Paper |
On k-stable functions | 1979-01-01 | Paper |
Positional strategies for mean payoff games | 1979-01-01 | Paper |
An observation on scattered grammars | 1979-01-01 | Paper |
Homomorphisms of direct powers of algebras | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3852197 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3854647 | 1979-01-01 | Paper |
An infinite solitaire game with a random strategy | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3877059 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3899529 | 1979-01-01 | Paper |
A note on DOL length sets | 1978-01-01 | Paper |
EOL languages are not codings of FPOL languages | 1978-01-01 | Paper |
On the structure of derivations in deterministic ETOL systems | 1978-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 |
Decomposing a transformation with an involution | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3049833 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4157957 | 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 |
Practical decidability | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4135025 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4139698 | 1975-01-01 | Paper |
Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems | 1974-01-01 | Paper |
On families on intersecting sets | 1974-01-01 | Paper |
On axial maps of direct product,s I | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4045671 | 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/Q4062663 | 1974-01-01 | Paper |
The equality of EOL languages and codings of ol languages | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4096453 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4113829 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4133124 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4773710 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4777278 | 1974-01-01 | Paper |
A limit theorem for set of subwords in deterministic TOL laguages | 1973-01-01 | Paper |
Polynomial functions with exponentiation are well ordered | 1973-01-01 | Paper |
Interpolation of functions over a measure space and conjectures about memory | 1973-01-01 | Paper |
Size direction games over the real line. I | 1973-01-01 | Paper |
Organization of Memory | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4049116 | 1973-01-01 | Paper |
Discernible elements in models for Peano arithmetic | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5670800 | 1972-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4044558 | 1972-01-01 | Paper |
Abbreviating proofs by adding new axioms | 1971-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5637074 | 1971-01-01 | Paper |
On Models with Undefinable Elements. | 1971-01-01 | Paper |
A finitely axiomatizable complete theory with atomlessF 1(T) | 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 |
https://portal.mardi4nfdi.de/entity/Q5551157 | 1961-01-01 | Paper |
Representability op recursively enumerable sets in formal theories | 1961-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 |
https://portal.mardi4nfdi.de/entity/Q5343889 | 1960-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 |
https://portal.mardi4nfdi.de/entity/Q3289861 | 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/Q5826956 | 1954-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5831363 | 1954-01-01 | Paper |