| Publication | Date of Publication | Type |
|---|
Functional equivalence and a cover relation for reaction systems
Theoretical Computer Science | 2024-06-19 | Paper |
Identities and transductions
Lecture Notes in Computer Science | 2024-01-29 | Paper |
The interlace polynomial and the Tutte–Martin polynomial
Handbook of the Tutte Polynomial and Related Topics | 2023-04-28 | Paper |
MSO definable text languages
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Extracting reaction systems from function behavior
Journal of Membrane Computing | 2021-09-14 | Paper |
Comparing reactions in reaction systems
Theoretical Computer Science | 2021-08-11 | Paper |
Companions and an essential motion of a reaction system
Fundamenta Informaticae | 2021-05-20 | Paper |
XML navigation and transformation by tree-walking automata and transducers with visible and invisible pebbles
Theoretical Computer Science | 2020-12-16 | Paper |
Counterexamples to a conjecture of Las Vergnas
European Journal of Combinatorics | 2020-09-15 | Paper |
Graphs associated with DNA rearrangements and their polynomials
Algebraic and Combinatorial Computational Biology | 2019-03-11 | Paper |
Enforcing regular languages
Fundamenta Informaticae | 2018-01-19 | Paper |
A graph isomorphism condition and equivalence of reaction systems
Theoretical Computer Science | 2017-12-06 | Paper |
A graph isomorphism condition and equivalence of reaction systems
Theoretical Computer Science | 2017-12-06 | Paper |
| Finite language forbidding-enforcing systems | 2017-08-04 | Paper |
Graph Polynomials Motivated by Gene Rearrangements in Ciliates
Language, Life, Limits | 2015-02-25 | Paper |
Interlace polynomials for multimatroids and delta-matroids
European Journal of Combinatorics | 2014-08-28 | Paper |
The adjacency matroid of a graph
The Electronic Journal of Combinatorics | 2014-08-14 | Paper |
The adjacency matroid of a graph
The Electronic Journal of Combinatorics | 2014-08-14 | Paper |
The Algebra of Gene Assembly in Ciliates
Discrete and Topological Models in Molecular Biology | 2014-06-23 | Paper |
Nullity and loop complementation for delta-matroids
SIAM Journal on Discrete Mathematics | 2013-06-27 | Paper |
Making DNA expressions minimal
Fundamenta Informaticae | 2013-06-27 | Paper |
A minimal normal form for DNA expressions
Fundamenta Informaticae | 2013-06-27 | Paper |
| Quaternary matroids are vf-safe | 2013-02-18 | Paper |
| Quaternary Bicycle Matroids and the Penrose Polynomial for Delta-Matroids | 2012-10-29 | Paper |
Pivots, determinants, and perfect matchings of graphs
Theoretical Computer Science | 2012-10-11 | Paper |
Binary symmetric matrix inversion through local complementation
Fundamenta Informaticae | 2012-06-20 | Paper |
Asynchronous extended spiking neural P systems with astrocytes
Membrane Computing | 2012-06-08 | Paper |
Preface
Theoretical Computer Science | 2012-05-30 | Paper |
Spiking neural P systems with astrocytes
Neural Computation | 2012-05-21 | Paper |
The group structure of pivot and loop complementation on graphs and set systems
European Journal of Combinatorics | 2011-11-29 | Paper |
Limited asynchronous spiking neural P systems
Fundamenta Informaticae | 2011-11-22 | Paper |
On aggregation in multiset-based self-assembly of graphs
Natural Computing | 2011-05-23 | Paper |
Nullity invariance for pivot and the interlace polynomial
Linear Algebra and its Applications | 2011-04-11 | Paper |
P systems and topology: some suggestions for research
International Journal of Foundations of Computer Science | 2011-02-23 | Paper |
Spiking Neural P Systems with Neuron Division
Membrane Computing | 2011-01-21 | Paper |
Maximal pivots on graphs with an application to gene assembly
Discrete Applied Mathematics | 2010-11-25 | Paper |
Spiking Neural P Systems with Weights
Neural Computation | 2010-11-24 | Paper |
Pivot and loop complementation on graphs and set systems
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Languages defined by generalized equality sets.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Combining overlap and containment for gene assembly in ciliates
Theoretical Computer Science | 2010-02-19 | Paper |
P SYSTEMS WITH SINGLE PASSENGER CARRIERS
International Journal of Foundations of Computer Science | 2010-01-29 | Paper |
Tetris and decidability
Information Processing Letters | 2009-07-09 | Paper |
REDUCTION GRAPHS FROM OVERLAP GRAPHS FOR GENE ASSEMBLY IN CILIATES
International Journal of Foundations of Computer Science | 2009-06-23 | Paper |
Perfectly quilted rectangular snake tilings
Theoretical Computer Science | 2009-04-16 | Paper |
Computing by Only Observing
Developments in Language Theory | 2009-03-26 | Paper |
Extending the Overlap Graph for Gene Assembly in Ciliates
Language and Automata Theory and Applications | 2008-11-20 | Paper |
Strategies of loop recombination in ciliates
Discrete Applied Mathematics | 2008-09-10 | Paper |
The fibers and range of reduction graphs in ciliates
Acta Informatica | 2008-08-19 | Paper |
| scientific article; zbMATH DE number 5286862 (Why is no real title available?) | 2008-06-11 | Paper |
Nested Pebbles and Transitive Closure
STACS 2006 | 2008-03-19 | Paper |
From Micro to Macro: How the Overlap Graph Determines the Reduction Graph in Ciliates
Fundamentals of Computation Theory | 2008-02-26 | Paper |
| Finitary compositions of two-way finite-state transductions | 2008-01-02 | Paper |
Characterizing Reduction Graphs for Gene Assembly in Ciliates
Developments in Language Theory | 2007-11-28 | Paper |
High Spies (or How to Win a Programming Contest)
Lecture Notes in Computer Science | 2007-11-15 | Paper |
Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
Logical Methods in Computer Science | 2007-10-11 | Paper |
The construction of minimal DNA expressions
Natural Computing | 2007-04-19 | Paper |
DNA Computing
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Reducibility of gene patterns in ciliates using the breakpoint graph.
Theoretical Computer Science | 2006-05-18 | Paper |
| scientific article; zbMATH DE number 2245556 (Why is no real title available?) | 2006-01-10 | Paper |
| scientific article; zbMATH DE number 2150277 (Why is no real title available?) | 2005-03-30 | Paper |
P systems with symport/antiport simulating counter automata
Acta Informatica | 2005-02-09 | Paper |
TETRIS IS HARD, EVEN TO APPROXIMATE
International Journal of Computational Geometry & Applications | 2004-09-29 | Paper |
| scientific article; zbMATH DE number 2087232 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087504 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1951589 (Why is no real title available?) | 2003-07-21 | Paper |
| scientific article; zbMATH DE number 1948493 (Why is no real title available?) | 2003-07-13 | Paper |
MSO definable string transductions and two-way finite-state transducers
ACM Transactions on Computational Logic | 2003-06-25 | Paper |
| scientific article; zbMATH DE number 1836433 (Why is no real title available?) | 2003-05-12 | Paper |
Sequences of languages in forbidding-enforcing families
Soft Computing | 2002-07-25 | Paper |
| scientific article; zbMATH DE number 1735637 (Why is no real title available?) | 2002-04-29 | Paper |
| scientific article; zbMATH DE number 1568809 (Why is no real title available?) | 2001-06-21 | Paper |
Fair sticker languages
Acta Informatica | 2001-01-03 | Paper |
| scientific article; zbMATH DE number 1405653 (Why is no real title available?) | 2000-10-17 | Paper |
| scientific article; zbMATH DE number 1408335 (Why is no real title available?) | 2000-02-29 | Paper |
| scientific article; zbMATH DE number 1354852 (Why is no real title available?) | 1999-10-31 | Paper |
The code problem for traces -- improving the boundaries
Theoretical Computer Science | 1998-07-23 | Paper |
Monadic second-order definable text languages
Theory of Computing Systems | 1997-07-28 | Paper |
| scientific article; zbMATH DE number 871246 (Why is no real title available?) | 1996-04-28 | Paper |
Combinatorial properties of dependence graphs
Information and Computation | 1995-01-11 | Paper |
\(X\)-automata on \(\omega\)-words
Theoretical Computer Science | 1993-08-30 | Paper |
On the structure of recognizable languages of dependence graphs
RAIRO - Theoretical Informatics and Applications | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 4193145 (Why is no real title available?) | 1991-01-01 | Paper |
Characterizations of the decidability of some problems for regular trace languages
Mathematical Systems Theory | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4143462 (Why is no real title available?) | 1989-01-01 | Paper |
Recording the use of memory in right-boundary grammars and push-down automata
Acta Informatica | 1988-01-01 | Paper |
Prefix and equality languages of rational functions are co-context-free
Information Processing Letters | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4035114 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3982543 (Why is no real title available?) | 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 |
Coordinated pair systems ; part II : sparse structure of Dyck words and Ogden's lemma
RAIRO - Theoretical Informatics and Applications | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3972224 (Why is no real title available?) | 1985-01-01 | Paper |
