| Publication | Date of Publication | Type |
|---|
Separating Words from Every Start State with Horner Automata
Electronic Proceedings in Theoretical Computer Science | 2024-04-09 | Paper |
| Variations of the separating words problem | 2022-08-16 | Paper |
New results concerning synchronized finite automata
Automata, Languages and Programming | 2019-12-04 | Paper |
New decidability results concerning two-way counter machines and applications
Automata, Languages and Programming | 2019-03-29 | Paper |
| scientific article; zbMATH DE number 6665216 (Why is no real title available?) | 2016-12-16 | Paper |
How to synchronize the heads of a multitape automaton
International Journal of Foundations of Computer Science | 2014-03-10 | Paper |
How to synchronize the heads of a multitape automaton
Implementation and Application of Automata | 2012-09-20 | Paper |
On synchronized multi-tape and multi-head automata
Theoretical Computer Science | 2012-08-13 | Paper |
Multitape NFA: Weak Synchronization of the Input Heads
SOFSEM 2012: Theory and Practice of Computer Science | 2012-06-15 | Paper |
Weak synchronization and synchronizability of multitape pushdown automata and Turing machines
Language and Automata Theory and Applications | 2012-06-08 | Paper |
Characterizations and existence of easy sets without hard subsets
Fundamenta Informaticae | 2011-11-22 | Paper |
On Synchronized Multitape and Multihead Automata
Descriptional Complexity of Formal Systems | 2011-07-29 | Paper |
ON UNIVERSALLY POLYNOMIAL CONTEXT-FREE LANGUAGES
International Journal of Foundations of Computer Science | 2005-06-22 | Paper |
| scientific article; zbMATH DE number 2089974 (Why is no real title available?) | 2004-08-12 | Paper |
Efficient representation and algebraic manipulation of infinite relations in paraconsistent databases
Information Systems | 2003-02-20 | Paper |
| scientific article; zbMATH DE number 1796949 (Why is no real title available?) | 2002-09-05 | Paper |
| scientific article; zbMATH DE number 1555966 (Why is no real title available?) | 2001-01-24 | Paper |
| scientific article; zbMATH DE number 1346513 (Why is no real title available?) | 1999-10-03 | Paper |
| scientific article; zbMATH DE number 1333604 (Why is no real title available?) | 1999-09-19 | Paper |
On the parallel complexity of loops
Theoretical Computer Science | 1998-07-22 | Paper |
On P-immunity of exponential time complete sets
Journal of Computer and System Sciences | 1997-08-03 | Paper |
New Decidability Results Concerning Two-Way Counter Machines
SIAM Journal on Computing | 1996-01-02 | Paper |
On communication-bounded synchronized alternating finite automata
Acta Informatica | 1995-08-17 | Paper |
| scientific article; zbMATH DE number 512842 (Why is no real title available?) | 1994-11-13 | Paper |
Synchronized finite automata and 2DFA reductions
Theoretical Computer Science | 1994-10-19 | Paper |
ON THE EQUIVALENCE OF TWO-WAY PUSHDOWN AUTOMATA AND COUNTER MACHINES OVER BOUNDED LANGUAGES
International Journal of Foundations of Computer Science | 1994-04-27 | Paper |
A note on simple programs with two variables
Theoretical Computer Science | 1993-05-24 | Paper |
On space-bounded synchronized alternating Turing machines
Theoretical Computer Science | 1992-09-27 | Paper |
