| Publication | Date of Publication | Type |
|---|
| Advocating ownership | 2024-07-05 | Paper |
Towards optimal locality in mesh-indexings
Fundamentals of Computation Theory | 2022-12-09 | Paper |
On the synchronization of semi-traces
Fundamentals of Computation Theory | 2022-12-09 | Paper |
Strict sequential P-completeness
Lecture Notes in Computer Science | 2022-11-09 | Paper |
Empty alternation
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
scientific article; zbMATH DE number 7104930 (Why is no real title available?)
(available as arXiv preprint) | 2019-09-13 | Paper |
Regular languages are Church-Rosser congruential
Journal of the ACM | 2018-08-02 | Paper |
Regular languages are Church-Rosser congruential
Journal of the ACM | 2018-08-02 | Paper |
On codings of traces
STACS 95 | 2017-12-04 | Paper |
Optimal average case sorting on arrays
STACS 95 | 2017-12-04 | Paper |
| scientific article; zbMATH DE number 6741952 (Why is no real title available?) | 2017-07-11 | Paper |
Undecidability of the emptiness problem for context-free picture languages
Theoretical Computer Science | 2017-06-19 | Paper |
New results on the minimum amount of useful space
International Journal of Foundations of Computer Science | 2016-06-23 | Paper |
Reachability in Petri nets with inhibitor arcs
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
The minimum amount of useful space: new results and new directions
Developments in Language Theory | 2014-10-14 | Paper |
scientific article; zbMATH DE number 6292740 (Why is no real title available?)
Chicago Journal of Theoretical Computer Science | 2014-05-07 | Paper |
Regular languages are Church-Rosser congruential
Automata, Languages, and Programming | 2012-11-01 | Paper |
A tree-height hierarchy of context-free languages
International Journal of Foundations of Computer Science | 2010-01-29 | Paper |
Few Product Gates But Many Zeros
Mathematical Foundations of Computer Science 2009 | 2009-10-16 | Paper |
The Simple Reachability Problem in Switch Graphs
Lecture Notes in Computer Science | 2009-02-03 | Paper |
| Refining the nonterminal complexity of graph-controlled, programmed, and matrix grammars | 2008-08-12 | Paper |
Decidability of code properties
RAIRO - Theoretical Informatics and Applications | 2007-11-14 | Paper |
Decidability of code properties
RAIRO - Theoretical Informatics and Applications | 2007-11-14 | Paper |
Decidability of code properties
RAIRO - Theoretical Informatics and Applications | 2007-11-14 | Paper |
A quadratic distance bound on sliding between crossing-free spanning trees
Computational Geometry | 2007-06-04 | Paper |
SOFSEM 2006: Theory and Practice of Computer Science
Lecture Notes in Computer Science | 2006-11-14 | Paper |
| scientific article; zbMATH DE number 2013201 (Why is no real title available?) | 2003-12-04 | Paper |
The Complexity of Translating Logic to Finite Automata
Lecture Notes in Computer Science | 2003-07-16 | Paper |
| Decidability of code properties | 2003-07-09 | Paper |
Towards optimal locality in mesh-indexings
Discrete Applied Mathematics | 2002-05-15 | Paper |
| scientific article; zbMATH DE number 1688390 (Why is no real title available?) | 2002-01-09 | Paper |
Optimal deterministic sorting and routing on grids and tori with diagonals
Algorithmica | 2000-05-28 | Paper |
| scientific article; zbMATH DE number 1335883 (Why is no real title available?) | 2000-05-04 | Paper |
Making Nondeterminism Unambiguous
SIAM Journal on Computing | 2000-03-19 | Paper |
Isolation, matching, and counting uniform and nonuniform upper bounds
Journal of Computer and System Sciences | 2000-03-02 | Paper |
| scientific article; zbMATH DE number 1390085 (Why is no real title available?) | 2000-01-17 | Paper |
| scientific article; zbMATH DE number 1222108 (Why is no real title available?) | 1999-06-21 | Paper |
On confluent semi-commutations: Decidability and complexity results
Information and Computation | 1994-05-05 | Paper |
| scientific article; zbMATH DE number 176737 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 19775 (Why is no real title available?) | 1992-06-26 | Paper |
