| Publication | Date of Publication | Type |
|---|
On decision problems concerning contextual insertions and deletions
Theoretical Computer Science | 2024-12-12 | Paper |
Unboundedness problems for machines with reversal-bounded counters
Lecture Notes in Computer Science | 2023-11-24 | Paper |
Visit-bounded stack automata
Theory of Computing Systems | 2023-10-30 | Paper |
On the complexity of decision problems for some classes of machines and applications
Information and Computation | 2023-09-27 | Paper |
Space Complexity of Stack Automata Models
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
Generalizations of Checking Stack Automata: Characterizations and Hierarchies
International Journal of Foundations of Computer Science | 2023-08-15 | Paper |
New characterizations of exponential, elementary, and non-elementary time-bounded Turing machines
Information and Computation | 2023-05-19 | Paper |
Space complexity of stack automata models
Developments in Language Theory | 2022-10-13 | Paper |
| On the complexity of decision problems for counter machines with applications to coding theory | 2022-08-11 | Paper |
| Visit-bounded stack automata | 2022-08-11 | Paper |
On finite-index indexed grammars and their restrictions
Information and Computation | 2021-07-21 | Paper |
Semilinearity of families of languages
International Journal of Foundations of Computer Science | 2021-04-19 | Paper |
Relationships between bounded languages, counter machines, finite-index grammars, ambiguity, and commutative regularity
Theoretical Computer Science | 2021-03-09 | Paper |
| On the shuffle automaton size for words | 2021-01-26 | Paper |
State grammars with stores
Descriptional Complexity of Formal Systems | 2020-06-30 | Paper |
Input-Position-Restricted Models of Language Acceptors
Reversibility and Universality | 2020-05-28 | Paper |
On families of full trios containing counter machine languages
Theoretical Computer Science | 2019-11-13 | Paper |
State grammars with stores
Theoretical Computer Science | 2019-11-07 | Paper |
Insertion operations on deterministic reversal-bounded counter machines
Journal of Computer and System Sciences | 2019-06-25 | Paper |
On counting functions and slenderness of languages
Theoretical Computer Science | 2019-06-18 | Paper |
On store languages and applications
Information and Computation | 2019-05-29 | Paper |
| On counting functions of languages | 2018-11-22 | Paper |
| Generalizations of checking stack automata: characterizations and hierarchies | 2018-11-22 | Paper |
| Semilinearity of families of languages | 2018-11-07 | Paper |
| Algorithms for inferring context-sensitive L-systems | 2018-10-18 | Paper |
On store languages of language acceptors
Theoretical Computer Science | 2018-09-24 | Paper |
On the density of languages accepted by Turing machines and other machine models
(available as arXiv preprint) | 2018-09-17 | Paper |
From Helmut Jürgensen's former students: the game of informatics research
(available as arXiv preprint) | 2018-09-17 | Paper |
Variations of checking stack automata: obtaining unexpected decidability properties
Theoretical Computer Science | 2018-06-18 | Paper |
On the density of context-free and counter languages
International Journal of Foundations of Computer Science | 2018-05-15 | Paper |
On the complexity and decidability of some problems involving shuffle
Information and Computation | 2018-03-21 | Paper |
Variations of checking stack automata: obtaining unexpected decidability properties
Lecture Notes in Computer Science | 2017-10-13 | Paper |
Deletion operations on deterministic families of automata
Information and Computation | 2017-09-28 | Paper |
| Descrambling order analysis in ciliates | 2017-08-31 | Paper |
On finite-index indexed grammars and their restrictions
Lecture Notes in Computer Science | 2017-06-01 | Paper |
On bounded semilinear languages, counter machines, and finite-index ET0L
Implementation and Application of Automata | 2016-11-09 | Paper |
On the shuffle automaton size for words
Journal of Automata, Languages and Combinatorics | 2016-09-29 | Paper |
On Families of Full Trios Containing Counter Machine Languages
Developments in Language Theory | 2016-08-30 | Paper |
Insertion operations on deterministic reversal-bounded counter machines
Lecture Notes in Computer Science | 2016-04-08 | Paper |
The effect of end-markers on counter machines and commutativity
Theoretical Computer Science | 2016-04-01 | Paper |
On the density of context-free and counter languages
Developments in Language Theory | 2015-11-10 | Paper |
Deletion operations on deterministic families of automata
Lecture Notes in Computer Science | 2015-09-30 | Paper |
On the complexity and decidability of some problems involving shuffle
Lecture Notes in Computer Science | 2015-08-07 | Paper |
On comparing deterministic finite automata and the shuffle of words
Implementation and Application of Automata | 2014-09-26 | Paper |
Generalized derivations with synchronized context-free grammars
Developments in Language Theory | 2012-11-02 | Paper |
Algorithmic decomposition of shuffle on words
Theoretical Computer Science | 2012-10-11 | Paper |
Theoretical and computational properties of transpositions
Natural Computing | 2011-07-28 | Paper |
Bag automata and stochastic retrieval of biomolecules in solution
Implementation and Application of Automata | 2010-05-07 | Paper |
Modelling programmed frameshifting with frameshift machines
Natural Computing | 2010-05-05 | Paper |
| Homomorphism preserving types of density | 2010-04-08 | Paper |
Algorithmic properties of ciliate sequence alignment
Theoretical Computer Science | 2010-02-19 | Paper |
On the uniqueness of shuffle on words and finite languages
Theoretical Computer Science | 2009-09-10 | Paper |
| The bag automaton: a model of nondeterministic storage | 2009-08-10 | Paper |
On Computational Properties of Template-Guided DNA Recombination
DNA Computing | 2009-04-02 | Paper |
An infinite hierarchy induced by depth synchronization
Theoretical Computer Science | 2007-12-19 | Paper |
Iterated TGR Languages: Membership Problem and Effective Closure Properties
Lecture Notes in Computer Science | 2007-09-10 | Paper |
Useful templates and iterated template-guided DNA recombination in ciliates
Theory of Computing Systems | 2006-10-16 | Paper |
| scientific article; zbMATH DE number 2201368 (Why is no real title available?) | 2005-09-01 | Paper |
Implementation and Application of Automata
Lecture Notes in Computer Science | 2005-08-17 | Paper |
FORMAL MODELLING OF VIRAL GENE COMPRESSION
International Journal of Foundations of Computer Science | 2005-08-01 | Paper |
The generative capacity of block-synchronized context-free grammars
Theoretical Computer Science | 2005-06-30 | Paper |
Template-guided DNA recombination
Theoretical Computer Science | 2005-02-22 | Paper |
| scientific article; zbMATH DE number 2106353 (Why is no real title available?) | 2004-10-05 | Paper |
Families of languages defined by ciliate bio-operations
Theoretical Computer Science | 2004-08-10 | Paper |
