| Publication | Date of Publication | Type |
|---|
Decomposition of infinite labeled 2-structures
Lecture Notes in Computer Science | 2024-01-29 | Paper |
Reaction Systems, Transition Systems, and Equivalences
Adventures Between Lower Bounds and Higher Altitudes | 2023-06-30 | Paper |
CIRCULARITY AND OTHER INVARIANTS OF GENE ASSEMBLY IN CILIATES
Words, Semigroups, and Transductions | 2022-12-06 | Paper |
Facilitation in reaction systems
Journal of Membrane Computing | 2021-09-14 | Paper |
A model for the origin of internal eliminated segments (IESs) and gene rearrangement in stichotrichous ciliates
Journal of Theoretical Biology | 2020-10-28 | Paper |
Plug-in context providers for reaction systems
Theoretical Computer Science | 2020-08-17 | Paper |
Template-guided recombination for IES elimination and unscrambling of genes in stichotrichous ciliates
Journal of Theoretical Biology | 2020-05-06 | Paper |
Reaction systems with influence on environment
Journal of Membrane Computing | 2020-02-24 | Paper |
Networks of reaction systems
International Journal of Foundations of Computer Science | 2020-02-21 | Paper |
Graph transformation through graph surfing in reaction systems
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
scientific article; zbMATH DE number 7075943 (Why is no real title available?)
| 2019-07-03 | Paper |
Linking reaction systems with rough sets
Fundamenta Informaticae | 2019-05-24 | Paper |
Petri nets for biologically motivated computing
| 2019-02-08 | Paper |
Group based graph transformations and hierarchical representations of graphs
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Theory of 2-structures
Automata, Languages and Programming | 2019-01-10 | Paper |
Reaction systems: a model of computation inspired by the functioning of the living cell
The Role of Theory in Computer Science | 2018-09-20 | Paper |
Graph surfing by reaction systems
| 2018-08-24 | Paper |
Model checking temporal properties of reaction systems
Information Sciences | 2018-05-16 | Paper |
Evolving reaction systems
Theoretical Computer Science | 2017-06-15 | Paper |
Applying regions
Theoretical Computer Science | 2016-12-19 | Paper |
Pancyclicity in switching classes
Information Processing Letters | 2016-06-16 | Paper |
Standard and ordered zoom structures
Theoretical Computer Science | 2015-12-10 | Paper |
Hairpin languages
International Journal of Foundations of Computer Science | 2015-04-30 | Paper |
Zoom structures and reaction systems yield exploration systems
International Journal of Foundations of Computer Science | 2014-11-14 | Paper |
RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
International Journal of Foundations of Computer Science | 2014-03-24 | Paper |
Tree transducers, \(L\) systems and two-way machines (extended abstract)
Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 | 2014-03-14 | Paper |
Membrane systems with marked membranes
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Bridging membrane and reaction systems -- further results and research topics
Fundamenta Informaticae | 2013-11-28 | Paper |
Step semantics of Boolean nets
Acta Informatica | 2013-06-26 | Paper |
In memoriam: Carl Adam Petri
Transactions on Petri Nets and Other Models of Concurrency VII | 2013-05-31 | Paper |
Minimal reaction systems
Lecture Notes in Computer Science | 2013-04-03 | Paper |
Reaction systems: a natural computing approach to the functioning of living cells
A Computable Universe | 2013-02-26 | Paper |
Stability and chaos in reaction systems
International Journal of Foundations of Computer Science | 2013-01-18 | Paper |
Relevance of entities in reaction systems
Lecture Notes in Computer Science | 2012-11-01 | Paper |
Preface
Theoretical Computer Science | 2012-10-11 | Paper |
Preface
Theoretical Computer Science | 2012-10-11 | Paper |
A formal framework for processes inspired by the functioning of living cells
Implementation and Application of Automata | 2012-09-20 | Paper |
A tour of reaction systems
International Journal of Foundations of Computer Science | 2012-08-29 | Paper |
Representing reaction systems by trees
Computation, Physics and Beyond | 2012-06-15 | Paper |
scientific article; zbMATH DE number 5976065 (Why is no real title available?)
| 2011-11-22 | Paper |
Reaction systems with duration
Computation, Cooperation, and Life | 2011-06-24 | Paper |
On aggregation in multiset-based self-assembly of graphs
Natural Computing | 2011-05-23 | Paper |
Functions defined by reaction systems
International Journal of Foundations of Computer Science | 2011-02-23 | Paper |
Reaction Systems: A Model of Computation Inspired by Biochemistry
Developments in Language Theory | 2010-08-31 | Paper |
Combinatorics of life and death for reaction systems
International Journal of Foundations of Computer Science | 2010-06-18 | Paper |
Computing morphisms by spiking neural P systems
International Journal of Foundations of Computer Science | 2010-01-29 | Paper |
Gene assembly in ciliates. II. Formal frameworks.
| 2009-09-15 | Paper |
scientific article; zbMATH DE number 5604098 (Why is no real title available?)
| 2009-09-15 | Paper |
REDUCTION GRAPHS FROM OVERLAP GRAPHS FOR GENE ASSEMBLY IN CILIATES
International Journal of Foundations of Computer Science | 2009-06-23 | Paper |
Aspects of Molecular Computing
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Simple Operations for Gene Assembly
DNA Computing | 2009-04-02 | Paper |
Introducing time in reaction systems
Theoretical Computer Science | 2009-03-02 | Paper |
Summary of the Workshop on Natural Computing and Graph Transformations
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Membrane systems with proteins embedded in membranes
Theoretical Computer Science | 2008-11-06 | Paper |
Patterns of simple gene assembly in ciliates
Discrete Applied Mathematics | 2008-10-17 | Paper |
Graph Transformation Units – An Overview
Concurrency, Graphs and Models | 2008-06-19 | Paper |
Process semantics for membrane systems
| 2008-06-18 | Paper |
Communication membrane systems with active symports
| 2008-06-18 | Paper |
Computer science, informatics, and natural computing -- personal reflections
| 2008-04-29 | Paper |
scientific article; zbMATH DE number 5252391 (Why is no real title available?)
| 2008-03-20 | Paper |
From Micro to Macro: How the Overlap Graph Determines the Reduction Graph in Ciliates
Fundamentals of Computation Theory | 2008-02-26 | Paper |
Natural Computing: A Natural and Timely Trend for Natural Sciences and Science of Computation
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Biochemical Reactions as Computations
Lecture Notes in Computer Science | 2007-11-13 | Paper |
Theory Inspired by Gene Assembly in Ciliates
Implementation and Application of Automata | 2007-09-06 | Paper |
Formalizing Spherical Membrane Structures and Membrane Proteins Populations
Membrane Computing | 2007-09-03 | Paper |
Membrane Systems with External Control
Membrane Computing | 2007-09-03 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Events and modules in reaction systems
Theoretical Computer Science | 2007-05-11 | Paper |
The construction of minimal DNA expressions
Natural Computing | 2007-04-19 | Paper |
Application of mismatch detection methods in DNA computing
Natural Computing | 2007-04-19 | Paper |
Parallelism in gene assembly
Natural Computing | 2007-04-19 | Paper |
Cycles and communicating classes in membrane systems and molecular dynamics
Theoretical Computer Science | 2007-03-27 | Paper |
Reaction systems
| 2007-02-26 | Paper |
Multiset-based self-assembly of graphs
| 2007-02-26 | Paper |
scientific article; zbMATH DE number 5129595 (Why is no real title available?)
| 2007-02-26 | 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 |
Interpreted trajectories
| 2006-11-21 | Paper |
Membrane Computing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-10-19 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-10-19 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-10-19 | Paper |
SPIKE TRAINS IN SPIKING NEURAL P SYSTEMS
International Journal of Foundations of Computer Science | 2006-08-21 | Paper |
Embedding linear orders in grids
Acta Informatica | 2006-05-26 | Paper |
Reducibility of gene patterns in ciliates using the breakpoint graph.
Theoretical Computer Science | 2006-05-18 | Paper |
COVERS FROM TEMPLATES
International Journal of Foundations of Computer Science | 2006-05-10 | Paper |
Developments in Language Theory
Lecture Notes in Computer Science | 2005-12-22 | Paper |
Protein output for DNA computing
Natural Computing | 2005-12-08 | Paper |
Formal Methods in Software and Systems Modeling
Lecture Notes in Computer Science | 2005-12-02 | Paper |
COMPUTING BY COMMUNICATION IN NETWORKS OF MEMBRANES
International Journal of Foundations of Computer Science | 2005-06-22 | Paper |
Computation in living cells. Gene assembly in ciliates
Natural Computing Series | 2005-04-26 | Paper |
DNA computing. New computing paradigms.
Texts in Theoretical Computer Science. An EATCS 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 |
Theory Is Forever
Lecture Notes in Computer Science | 2005-01-18 | Paper |
Zebra factorizations in free semigroups.
Semigroup Forum | 2004-10-01 | 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 |
scientific article; zbMATH DE number 2016091 (Why is no real title available?)
| 2003-12-10 | Paper |
Membrane systems with promoters/inhibitors
Acta Informatica | 2003-09-01 | Paper |
scientific article; zbMATH DE number 1973124 (Why is no real title available?)
| 2003-09-01 | Paper |
scientific article; zbMATH DE number 1948482 (Why is no real title available?)
| 2003-07-13 | Paper |
Forbidding--enforcing systems
Theoretical Computer Science | 2003-05-14 | Paper |
DNA computing by blocking
Theoretical Computer Science | 2003-05-14 | Paper |
scientific article; zbMATH DE number 1844071 (Why is no real title available?)
| 2003-03-12 | Paper |
Formal systems for gene assembly in ciliates.
Theoretical Computer Science | 2003-01-22 | Paper |
A guide to membrane computing.
Theoretical Computer Science | 2003-01-21 | Paper |
Topics in the theory of DNA computing.
Theoretical Computer Science | 2003-01-21 | Paper |
Restricted use of the splicing operation1
International Journal of Computer Mathematics | 2002-12-19 | Paper |
scientific article; zbMATH DE number 1836434 (Why is no real title available?)
| 2002-11-27 | Paper |
scientific article; zbMATH DE number 1735631 (Why is no real title available?)
| 2002-11-14 | Paper |
Models of molecular computing based on molecular reactions
New Generation Computing | 2002-09-30 | Paper |
Gene assembly in ciliates: Computing by folding and recombination
| 2002-09-29 | Paper |
Characterizing the micronuclear gene patterns in ciliates
Theory of Computing Systems | 2002-09-25 | Paper |
How ciliates manipulate their own DNA -- A splendid example of natural computing
Natural Computing | 2002-09-18 | Paper |
String and graph reduction systems for gene assembly in ciliates
Mathematical Structures in Computer Science | 2002-09-11 | Paper |
Sequences of languages in forbidding-enforcing families
Soft Computing | 2002-07-25 | Paper |
Gene assembly through cyclic graph decomposition
Theoretical Computer Science | 2002-07-18 | Paper |
ICALP, EATCS and Maurice Nivat
Theoretical Computer Science | 2002-07-15 | Paper |
scientific article; zbMATH DE number 1738642 (Why is no real title available?)
| 2002-05-07 | Paper |
Formal properties of PA-matching
Theoretical Computer Science | 2002-03-03 | Paper |
Membrane systems with carriers
Theoretical Computer Science | 2002-03-03 | Paper |
scientific article; zbMATH DE number 1342351 (Why is no real title available?)
| 2001-08-07 | Paper |
scientific article; zbMATH DE number 1583872 (Why is no real title available?)
| 2001-07-08 | Paper |
scientific article; zbMATH DE number 1560214 (Why is no real title available?)
| 2001-06-27 | Paper |
scientific article; zbMATH DE number 1568809 (Why is no real title available?)
| 2001-06-21 | Paper |
scientific article; zbMATH DE number 1504829 (Why is no real title available?)
| 2001-04-19 | Paper |
scientific article; zbMATH DE number 1542821 (Why is no real title available?)
| 2001-02-26 | Paper |
A characterization of poly-slender context-free languages
RAIRO - Theoretical Informatics and Applications | 2001-02-06 | Paper |
Permutations, parenthesis words, and Schröder numbers
Discrete Mathematics | 2000-11-02 | Paper |
scientific article; zbMATH DE number 1504827 (Why is no real title available?)
| 2000-09-12 | Paper |
scientific article; zbMATH DE number 1419224 (Why is no real title available?)
| 2000-07-20 | Paper |
scientific article; zbMATH DE number 1419245 (Why is no real title available?)
| 2000-07-20 | Paper |
scientific article; zbMATH DE number 1478125 (Why is no real title available?)
| 2000-07-17 | Paper |
On strongly context-free languages
Discrete Applied Mathematics | 2000-07-11 | Paper |
scientific article; zbMATH DE number 1455628 (Why is no real title available?)
| 2000-06-05 | Paper |
scientific article; zbMATH DE number 1405641 (Why is no real title available?)
| 2000-04-25 | Paper |
scientific article; zbMATH DE number 1408327 (Why is no real title available?)
| 2000-04-03 | Paper |
Contexts on trajectories
International Journal of Computer Mathematics | 2000-01-31 | Paper |
scientific article; zbMATH DE number 1339955 (Why is no real title available?)
| 1999-11-23 | Paper |
scientific article; zbMATH DE number 1342112 (Why is no real title available?)
| 1999-11-21 | Paper |
scientific article; zbMATH DE number 1355188 (Why is no real title available?)
| 1999-10-31 | Paper |
scientific article; zbMATH DE number 1333590 (Why is no real title available?)
| 1999-09-19 | Paper |
scientific article; zbMATH DE number 1302042 (Why is no real title available?)
| 1999-06-16 | Paper |
On representing recursively enumerable languages by internal contextual languages
Theoretical Computer Science | 1999-01-12 | Paper |
Sticker systems
Theoretical Computer Science | 1999-01-12 | Paper |
scientific article; zbMATH DE number 1236223 (Why is no real title available?)
| 1999-01-06 | Paper |
DNA computing, sticker systems, and universality
Acta Informatica | 1998-11-08 | Paper |
Shuffle on trajectories: Syntactic constraints
Theoretical Computer Science | 1998-08-13 | Paper |
Simple splicing systems
Discrete Applied Mathematics | 1998-07-28 | Paper |
Characterizations of re languages starting from internal contextual languages∗
International Journal of Computer Mathematics | 1998-04-27 | Paper |
Invariants of inversive 2-structures on groups of labels
Mathematical Structures in Computer Science | 1998-03-02 | Paper |
scientific article; zbMATH DE number 1101590 (Why is no real title available?)
| 1998-01-07 | Paper |
scientific article; zbMATH DE number 1101389 (Why is no real title available?)
| 1998-01-07 | Paper |
scientific article; zbMATH DE number 992013 (Why is no real title available?)
| 1997-08-07 | Paper |
Geometric Transformations of Language Families: The Power of Symmetry
International Journal of Foundations of Computer Science | 1997-06-16 | Paper |
scientific article; zbMATH DE number 1023020 (Why is no real title available?)
| 1997-06-16 | Paper |
Pattern systems
Theoretical Computer Science | 1997-02-28 | Paper |
Characterization and complexity of uniformly nonprimitive labeled 2-structures
Theoretical Computer Science | 1997-02-28 | Paper |
Computing by splicing
Theoretical Computer Science | 1997-02-27 | Paper |
A note on binary grammatical codes of trees
Theoretical Computer Science | 1997-02-27 | Paper |
The linear landscape of external contextual languages
Acta Informatica | 1996-10-27 | Paper |
scientific article; zbMATH DE number 929620 (Why is no real title available?)
| 1996-09-26 | Paper |
Finite languages for the representation of finite graphs
Journal of Computer and System Sciences | 1996-07-16 | Paper |
scientific article; zbMATH DE number 871247 (Why is no real title available?)
| 1996-04-28 | Paper |
scientific article; zbMATH DE number 809135 (Why is no real title available?)
| 1995-10-25 | Paper |
scientific article; zbMATH DE number 672022 (Why is no real title available?)
| 1995-09-11 | Paper |
Transition systems, event structures, and unfoldings
Information and Computation | 1995-07-10 | Paper |
scientific article; zbMATH DE number 762057 (Why is no real title available?)
| 1995-06-08 | Paper |
Dynamic labeled 2-structures
Mathematical Structures in Computer Science | 1995-04-06 | Paper |
Hyperedge channels are abelian
Theoretical Computer Science | 1995-02-09 | Paper |
Combinatorial properties of dependence graphs
Information and Computation | 1995-01-11 | Paper |
Prescribed teams of grammars
Acta Informatica | 1994-11-23 | Paper |
scientific article; zbMATH DE number 591000 (Why is no real title available?)
| 1994-10-20 | Paper |
scientific article; zbMATH DE number 590998 (Why is no real title available?)
| 1994-10-09 | Paper |
Incremental construction of 2-structures
Discrete Mathematics | 1994-09-15 | Paper |
Clans and regions in 2-structures
Theoretical Computer Science | 1994-07-31 | Paper |
Context-free text grammars
Acta Informatica | 1994-06-02 | Paper |
scientific article; zbMATH DE number 572102 (Why is no real title available?)
| 1994-05-24 | Paper |
Combinatorial properties of texts
RAIRO - Theoretical Informatics and Applications | 1994-04-19 | Paper |
Properties of grammatical codes of trees
Theoretical Computer Science | 1994-04-05 | Paper |
Semantics of trees
Mathematical Systems Theory | 1994-03-24 | Paper |
T-structures, T-functions, and texts
Theoretical Computer Science | 1993-10-17 | Paper |
Permutable transformation semigroups
Semigroup Forum | 1993-08-17 | Paper |
Handle-rewriting hypergraph grammars
Journal of Computer and System Sciences | 1993-06-29 | Paper |
On the structure of recognizable languages of dependence graphs
RAIRO - Theoretical Informatics and Applications | 1993-06-29 | Paper |
scientific article; zbMATH DE number 177438 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177419 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 177449 (Why is no real title available?)
| 1993-05-18 | Paper |
Computation graphs for actor grammars
Journal of Computer and System Sciences | 1993-05-16 | Paper |
Elementary transition systems
Theoretical Computer Science | 1992-09-26 | Paper |
Angular 2-structures
Theoretical Computer Science | 1992-06-28 | Paper |
Grammatical codes of trees
Discrete Applied Mathematics | 1992-06-26 | Paper |
A characterization of set representable labeled partial 2-structures through decompositions
Acta Informatica | 1992-06-25 | Paper |
Elementary transition systems and refinement
Acta Informatica | 1992-01-01 | Paper |
scientific article; zbMATH DE number 4185027 (Why is no real title available?)
| 1991-01-01 | Paper |
Nonterminal separation in graph grammars
Theoretical Computer Science | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4193145 (Why is no real title available?)
| 1991-01-01 | Paper |
Theory of 2-structures. I: Clans, basic subclasses, and morphisms
Theoretical Computer Science | 1990-01-01 | Paper |
Primitivity is hereditary for 2-structures
Theoretical Computer Science | 1990-01-01 | Paper |
Partial (set) 2-structures. I: Basic notions and the representation problems
Acta Informatica | 1990-01-01 | Paper |
Partial (set) 2-structures. II: State spaces of concurrent systems
Acta Informatica | 1990-01-01 | Paper |
Theory of 2-structures. II: Representation through labeled tree families
Theoretical Computer Science | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4174324 (Why is no real title available?)
| 1990-01-01 | Paper |
Edge-label controlled graph grammars
Journal of Computer and System Sciences | 1990-01-01 | Paper |
The complexity of regular DNLC graph languages
Journal of Computer and System Sciences | 1990-01-01 | Paper |
A comparison of boundary graph grammars and context-free hypergraph grammars
Information and Computation | 1990-01-01 | Paper |
On structured graph grammars. II
Information Sciences | 1990-01-01 | Paper |
On structured graph grammars. I
Information Sciences | 1990-01-01 | Paper |
Actor grammars
Mathematical Systems Theory | 1989-01-01 | Paper |
Apex graph grammars and attribute grammars
Acta Informatica | 1988-01-01 | Paper |
Theory of traces
Theoretical Computer Science | 1988-01-01 | Paper |
Recording the use of memory in right-boundary grammars and push-down automata
Acta Informatica | 1988-01-01 | Paper |
scientific article; zbMATH DE number 4037217 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049107 (Why is no real title available?)
| 1987-01-01 | Paper |
Handle NLC grammars and r. e. languages
Journal of Computer and System Sciences | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049022 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4047060 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049104 (Why is no real title available?)
| 1987-01-01 | Paper |
Combinatorial properties of boundary NLC graph languages
Discrete Applied Mathematics | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049105 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4049106 (Why is no real title available?)
| 1987-01-01 | Paper |
Neighborhood-uniform NLC grammars
Computer Vision, Graphics, and Image Processing | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3974304 (Why is no real title available?)
| 1986-01-01 | Paper |
Boundary NLC graph grammars—Basic definitions, normal forms, and complexity
Information and Control | 1986-01-01 | Paper |
The bounded degree problem for NLC grammars is decidable
Journal of Computer and System Sciences | 1986-01-01 | Paper |
On the membership problem for regular DNLC grammars
Discrete Applied Mathematics | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4047161 (Why is no real title available?)
| 1986-01-01 | Paper |
Coordinated pair systems ; part I : Dyck works and classical pumping
RAIRO - Theoretical Informatics and Applications | 1986-01-01 | Paper |
On the active and full use of memory in right-boundary grammars and push- down automata
Theoretical Computer Science | 1986-01-01 | Paper |
Each regular code is included in a maximal regular code
RAIRO - Theoretical Informatics and Applications | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3982529 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3982543 (Why is no real title available?)
| 1986-01-01 | Paper |
Graph theoretic closure properties of the family of boundary NLC graph languages
Acta Informatica | 1986-01-01 | Paper |
Coordinated pair systems ; part II : sparse structure of Dyck words and Ogden's lemma
RAIRO - Theoretical Informatics and Applications | 1986-01-01 | Paper |
Traces, dependency graphs and DNLC grammars
Discrete Applied Mathematics | 1985-01-01 | Paper |
A morphic representation of EOL languages and other ETOL languages
Discrete Applied Mathematics | 1985-01-01 | Paper |
On coordinated selective substitutions: Towards a unified theory of grammars and machines
Theoretical Computer Science | 1985-01-01 | Paper |
On erasing in E0L forms
Discrete Applied Mathematics | 1985-01-01 | Paper |
Adding global forbidding context to context-free grammars
Theoretical Computer Science | 1985-01-01 | Paper |
CTS systems and Petri nets
Theoretical Computer Science | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3970128 (Why is no real title available?)
| 1985-01-01 | Paper |
A combinatorial property of EOL languages
Mathematical Systems Theory | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3972224 (Why is no real title available?)
| 1985-01-01 | Paper |
Restrictions on NLC graph grammars
Theoretical Computer Science | 1984-01-01 | Paper |
Direction independent context-sensitive grammars
Information and Control | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3890743 (Why is no real title available?)
| 1984-01-01 | Paper |
On DOS languages and DOS mappings
Semigroup Forum | 1984-01-01 | Paper |
On simulation and propagating EOL forms
Theoretical Computer Science | 1984-01-01 | Paper |
On inherently ambiguous E0L languages
Theoretical Computer Science | 1984-01-01 | Paper |
Note on node-rewriting graph grammars
Information Processing Letters | 1984-01-01 | Paper |
Commutative one-counter languages are regular
Journal of Computer and System Sciences | 1984-01-01 | Paper |
On regularity of languages generated by copying systems
Discrete Applied Mathematics | 1984-01-01 | Paper |
An easy proof of Greibach normal form
Information and Control | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3915636 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3890755 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3902061 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3827232 (Why is no real title available?)
| 1983-01-01 | Paper |
Repetition of subwords in DOL languages
Information and Control | 1983-01-01 | Paper |
On regularity of context-free languages
Theoretical Computer Science | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3827229 (Why is no real title available?)
| 1983-01-01 | Paper |
Multi grammars
International Journal of Computer Mathematics | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3825214 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3846895 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3808975 (Why is no real title available?)
| 1983-01-01 | Paper |
The goodness of \(\{S,a\}\)-EOL forms is decidable
Discrete Applied Mathematics | 1983-01-01 | Paper |
Subset languages of Petri nets. I: The relationship to string languages and normal forms
Theoretical Computer Science | 1983-01-01 | Paper |
On the size of the alphabet and the subword complexity of square-free DOL languages
Semigroup Forum | 1983-01-01 | Paper |
On the subword complexity of m-free DOL languages
Information Processing Letters | 1983-01-01 | Paper |
On binary equality sets and a solution to the test set conjecture in the binary case
Journal of Algebra | 1983-01-01 | Paper |
On the subword complexity of locally catenative DOL languages
Information Processing Letters | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3808978 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3846896 (Why is no real title available?)
| 1983-01-01 | Paper |
On sequential and parallel node-rewriting graph grammars, II
Computer Vision, Graphics, and Image Processing | 1983-01-01 | Paper |
On the generative power of regular pattern grammars
Acta Informatica | 1983-01-01 | Paper |
Subset languages of Petri nets. II. Closure properties
Theoretical Computer Science | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3823839 (Why is no real title available?)
| 1983-01-01 | Paper |
Context free normal systems and ETOL systems
Journal of Computer and System Sciences | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3932401 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3819107 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3932400 (Why is no real title available?)
| 1983-01-01 | Paper |
Graph grammars with neighbourhood-controlled embedding
Theoretical Computer Science | 1982-01-01 | Paper |
On sequential and parallel node-rewriting graph grammars
Computer Graphics and Image Processing | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3780589 (Why is no real title available?)
| 1982-01-01 | Paper |
Using string languages to describe picture languages
Information and Control | 1982-01-01 | Paper |
Completeness of EOL forms is decidable
Acta Informatica | 1982-01-01 | Paper |
Basic formulas and languages. II: Applications to EOL systems and forms
Discrete Applied Mathematics | 1982-01-01 | Paper |
Studies in uniformity
Information Sciences | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3791617 (Why is no real title available?)
| 1982-01-01 | Paper |
Corrigendum
Information and Control | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3780588 (Why is no real title available?)
| 1982-01-01 | Paper |
Representation theorems using DOS languages
Theoretical Computer Science | 1982-01-01 | Paper |
The (generalized) Post correspondence problem with lists consisting of two words is decidable
Theoretical Computer Science | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3856429 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3799042 (Why is no real title available?)
| 1982-01-01 | Paper |
A note on the similarity depth
Discrete Applied Mathematics | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3808977 (Why is no real title available?)
| 1982-01-01 | Paper |
A characterization of context-free string languages by directed node- label controlled graph grammars
Acta Informatica | 1981-01-01 | Paper |
Decision problems for node label controlled graph grammars
Journal of Computer and System Sciences | 1981-01-01 | Paper |
Basic formulas and languages. I: The theory
Discrete Applied Mathematics | 1981-01-01 | Paper |
On fixed, terminal fixed and nonterminal fixed interpretations of E0L forms
Information and Control | 1981-01-01 | Paper |
On Etol Systems with Finite Tree-Rank
SIAM Journal on Computing | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3757733 (Why is no real title available?)
| 1981-01-01 | Paper |
Sequential, continuous and parallel grammars
Information and Control | 1981-01-01 | Paper |
A Morphic Representation of Complements of Recursively Enumerable Sets
Journal of the ACM | 1981-01-01 | Paper |
Context-free like restrictions on selective rewriting
Theoretical Computer Science | 1981-01-01 | Paper |
A translational theorem for the class of EOL languages
Information and Control | 1981-01-01 | Paper |
On pure, terminal invariant and nonterminal invariant interpretations of EOL forms
Theoretical Computer Science | 1981-01-01 | Paper |
Recursion and pumping in L forms
Information Sciences | 1981-01-01 | Paper |
Sub context-freeLforms†
International Journal of Computer Mathematics | 1981-01-01 | Paper |
On the subword complexity of square-free DOL languages
Theoretical Computer Science | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3755897 (Why is no real title available?)
| 1981-01-01 | Paper |
On the subword complexity of DOL languages with a constant distribution
Information Processing Letters | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3872713 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3767073 (Why is no real title available?)
| 1981-01-01 | Paper |
Table systems with unconditional transfer
Discrete Applied Mathematics | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3731369 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3733285 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3735172 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3735173 (Why is no real title available?)
| 1981-01-01 | Paper |
EOL forms and finite substitutions of ol forms
International Journal of Computer Mathematics | 1981-01-01 | Paper |
scientific article; zbMATH DE number 3737055 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3802813 (Why is no real title available?)
| 1980-01-01 | Paper |
On the structure of node-label-controlled graph languages
Information Sciences | 1980-01-01 | Paper |
Tree transducers, L systems, and two-way machines
Journal of Computer and System Sciences | 1980-01-01 | Paper |
Many-to-one simulation in EOL forms is decidable
Discrete Applied Mathematics | 1980-01-01 | Paper |
Synchronized and desynchronized EOL forms
Discrete Applied Mathematics | 1980-01-01 | Paper |
Restrictions, extensions, and variations of NLC grammars
Information Sciences | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3713195 (Why is no real title available?)
| 1980-01-01 | Paper |
Fixed Point Languages, Equality Languages, and Representation of Recursively Enumerable Languages
Journal of the ACM | 1980-01-01 | Paper |
A study in parallel rewriting systems
Information and Control | 1980-01-01 | Paper |
Context-free grammars with selective rewriting
Acta Informatica | 1980-01-01 | Paper |
Continuous grammars
Information and Control | 1980-01-01 | Paper |
Every two equivalent DOL systems have a regular true envelope
Theoretical Computer Science | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3711430 (Why is no real title available?)
| 1980-01-01 | Paper |
Synchronized, desynchronized and coordinated E0L systems
Information and Control | 1980-01-01 | Paper |
The Sequence Equivalence Problem is Decidable for 0S Systems
Journal of the ACM | 1980-01-01 | Paper |
On a bound for the DOL sequence equivalence problem
Theoretical Computer Science | 1980-01-01 | Paper |
On basic properties of DOS systems and languages
Information and Control | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3733283 (Why is no real title available?)
| 1980-01-01 | Paper |
On the emptiness of the intersection of two DOS languages problem
Information Processing Letters | 1980-01-01 | Paper |
On ambiguity in EOL systems
Theoretical Computer Science | 1980-01-01 | Paper |
scientific article; zbMATH DE number 3755894 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3667999 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3720381 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3720382 (Why is no real title available?)
| 1980-01-01 | Paper |
Finding a homomorphism between two words is NP-complete
Information Processing Letters | 1979-01-01 | Paper |
On acceptors of iteration languages
International Journal of Computer Mathematics | 1979-01-01 | Paper |
Equality languages and fixed point languages
Information and Control | 1979-01-01 | Paper |
On recursion in ETOL systems
Journal of Computer and System Sciences | 1979-01-01 | Paper |
On ETOL systems with rank
Journal of Computer and System Sciences | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3651767 (Why is no real title available?)
| 1979-01-01 | Paper |
Persistent ETOL systems
Information Sciences | 1979-01-01 | Paper |
Parallelism and synchronization in two-level metacontrolled substitution grammars
Information Sciences | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3677226 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3707795 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3637300 (Why is no real title available?)
| 1979-01-01 | Paper |
Programs for instruction machines
Information and Control | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3655378 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3681156 (Why is no real title available?)
| 1979-01-01 | Paper |
An observation on scattered grammars
Information Processing Letters | 1979-01-01 | Paper |
scientific article; zbMATH DE number 3628770 (Why is no real title available?)
| 1979-01-01 | Paper |
scientific article; zbMATH DE number 3602699 (Why is no real title available?)
| 1978-01-01 | Paper |
Elementary homomorphisms and a solution of the DOL sequence equivalence problem
Theoretical Computer Science | 1978-01-01 | Paper |
Increasing the similarity of EOL form interpretations
Information and Control | 1978-01-01 | Paper |
On the structure of derivations in deterministic ETOL systems
Journal of Computer and System Sciences | 1978-01-01 | Paper |
On the effect of the finite index restriction on several families of grammars
Information and Control | 1978-01-01 | Paper |
On ETOL systems of finite index
Information and Control | 1978-01-01 | Paper |
Simplifications of homomorphisms
Information and Control | 1978-01-01 | Paper |
Priorities on context conditions in rewriting systems
Information Sciences | 1978-01-01 | Paper |
Rewriting systems with a clocking mechanism
Information Sciences | 1978-01-01 | Paper |
A note on DOL length sets
Discrete Mathematics | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3646304 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3601127 (Why is no real title available?)
| 1978-01-01 | Paper |
Bibliography of L systems
Theoretical Computer Science | 1978-01-01 | Paper |
EOL languages are not codings of FPOL languages
Theoretical Computer Science | 1978-01-01 | Paper |
Two-level meta-controlled substitution grammars
Acta Informatica | 1978-01-01 | Paper |
scientific article; zbMATH DE number 3594669 (Why is no real title available?)
| 1978-01-01 | Paper |
scientific article; zbMATH DE number 3592987 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3644504 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3551936 (Why is no real title available?)
| 1977-01-01 | Paper |
A note on universal grammars
Information and Control | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3589737 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3596266 (Why is no real title available?)
| 1977-01-01 | Paper |
New squeezing mechanisms for L systems
Information Sciences | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3562550 (Why is no real title available?)
| 1977-01-01 | Paper |
scientific article; zbMATH DE number 3569855 (Why is no real title available?)
| 1976-01-01 | Paper |
More on ETOL systems versus random context grammars
Information Processing Letters | 1976-01-01 | Paper |
On proving that certain languages are not ETOL
Acta Informatica | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3545184 (Why is no real title available?)
| 1976-01-01 | Paper |
A note on a family of acceptors for some families of developmental languages†
International Journal of Computer Mathematics | 1976-01-01 | Paper |
Context-free grammars with graph-controlled tables
Journal of Computer and System Sciences | 1976-01-01 | Paper |
A note on K-iteration grammars
Information Processing Letters | 1976-01-01 | Paper |
On slicing of K-iteration grammars
Information Processing Letters | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3562551 (Why is no real title available?)
| 1976-01-01 | Paper |
Developmental systems with fragmentation
International Journal of Computer Mathematics | 1976-01-01 | Paper |
Description of developmental languages using recurrence systems
Mathematical Systems Theory | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3480114 (Why is no real title available?)
| 1975-01-01 | Paper |
TOL schemes and control sets
Information and Control | 1975-01-01 | Paper |
scientific article; zbMATH DE number 3516597 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3568041 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3562565 (Why is no real title available?)
| 1975-01-01 | Paper |
scientific article; zbMATH DE number 3459900 (Why is no real title available?)
| 1974-01-01 | Paper |
scientific article; zbMATH DE number 3464865 (Why is no real title available?)
| 1974-01-01 | Paper |
The equality of EOL languages and codings of ol languages
International Journal of Computer Mathematics | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3480115 (Why is no real title available?)
| 1974-01-01 | Paper |
On a family of acceptors for some classes of developmental languages
International Journal of Computer Mathematics | 1974-01-01 | Paper |
Nonterminals versus homomorphisms in defining languages for some classes of rewriting systems
Acta Informatica | 1974-01-01 | Paper |
Generative Models for Parallel Processes
The Computer Journal | 1974-01-01 | Paper |
DOL sequences
Discrete Mathematics | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3476618 (Why is no real title available?)
| 1974-01-01 | Paper |
The number of occurrences of letters versus their distribution in some EOL languages
Information and Control | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3518293 (Why is no real title available?)
| 1974-01-01 | Paper |
A limit theorem for set of subwords in deterministic TOL laguages
Information Processing Letters | 1973-01-01 | Paper |
Extension of tabled 0L-systems and languages
International Journal of Computer & Information Sciences | 1973-01-01 | Paper |
TOL systems and languages
Information and Control | 1973-01-01 | Paper |
Development systems with locally catenative formulas
Acta Informatica | 1973-01-01 | Paper |
scientific article; zbMATH DE number 3550202 (Why is no real title available?)
| 1972-01-01 | Paper |
Direct proofs of the undecidability of the equivalence problem for sentential forms of linear context-free grammars and the equivalence problem for OL systems
Information Processing Letters | 1972-01-01 | Paper |
The equivalence problem for deterministic TOL-systems is undecidable
Information Processing Letters | 1972-01-01 | Paper |
scientific article; zbMATH DE number 3430134 (Why is no real title available?)
| 1972-01-01 | Paper |
On 0L-Languages
Information and Control | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3400883 (Why is no real title available?)
| 1971-01-01 | Paper |
Direction controlled programmed grammars
Acta Informatica | 1971-01-01 | Paper |
scientific article; zbMATH DE number 3335028 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3296239 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3307585 (Why is no real title available?)
| 1969-01-01 | Paper |
scientific article; zbMATH DE number 3326482 (Why is no real title available?)
| 1968-01-01 | Paper |
scientific article; zbMATH DE number 3277519 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3253964 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3277518 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3323854 (Why is no real title available?)
| 1967-01-01 | Paper |
