VLDB 2026 Research / reviewers in the wild / expert
Katja Meckel
dblp:70/9958
· DBLP profile ↗
4ranked-venue papers
0as first author
1since 2021 · last 2021
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | The descriptional power of queue automata of constant lengthabstractAbstract We consider the notion of a constant length queue automaton—i.e., a traditional queue automaton with a built-in constant limit on the length of its queue—as a formalism for representing regular languages. We show that the descriptional power of constant length queue automata greatly outperforms that of traditional finite state automata, of constant height pushdown automata, and of straight line programs for regular expressions, by providing optimal exponential and double-exponential size gaps. Moreover, we prove that constant height pushdown automata can be simulated by constant length queue automata paying only by a linear size increase, and that removing nondeterminism in constant length queue automata requires an optimal exponential size blow-up, against the optimal double-exponential cost for determinizing constant height pushdown automata. Finally, we investigate the size cost of implementing Boolean language operations on deterministic and nondeterministic constant length queue automata. Sebastian Jakobi, Katja Meckel, Carlo Mereghetti, Beatrice Palano |
Acta Informatica | 2 |
| 2014 | Parameterized Prefix Distance between Regular Languages
Martin Kutrib, Katja Meckel, Matthias Wendlandt |
SOFSEM | 2 |
| 2012 | Nondeterministic state complexity of star-free languages
Markus Holzer 0001, Martin Kutrib, Katja Meckel |
Theor. Comput. Sci. | 3 |
| 2011 | Nondeterministic State Complexity of Star-Free Languages
Markus Holzer 0001, Martin Kutrib, Katja Meckel |
CIAA | 3 |