VLDB 2026 Research / reviewers in the wild / expert
Zbynek Krivka
dblp:64/6725
· DBLP profile ↗
6ranked-venue papers
5as first author
2since 2021 · last 2022
0000-0001-8309-0280ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 3 · 3 first-authorTheory of computation · 2 · 1 first-author · 2 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-author
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | A jumping $5'\rightarrow 3'$ Watson-Crick finite automata model
Radim Kocman, Zbynek Krivka, Alexander Meduna, Benedek Nagy |
Acta Informatica | 2 |
| 2021 | Scattered Context Grammars with One Non-Context-Free Production are Computationally CompleteabstractThis paper investigates the reduction of scattered context grammars with respect to the number of non-context-free productions. It proves that every recursively enumerable language is generated by a scattered context grammar that has no more than one non-context-free production. An open problem is formulated. Zbynek Krivka, Alexander Meduna |
Fundam. Informaticae | 1 |
| 2019 | Jumping Pure GrammarsabstractThis paper introduces and studies jumping pure grammars, which are conceptualized just like classical pure grammars except that during the applications of their productions, they can jump over symbols in either direction within the rewritten strings. The paper compares the generative power of jumping pure grammars with that of classical pure grammars while distinguishing between their versions with and without erasing productions. Apart from sequential versions, the paper makes an analogical study in terms of parallel versions of jumping pure grammars represented by 0L grammars. Zbynek Krivka, Jirí Kucera, Alexander Meduna |
Comput. J. | 1 |
| 2016 | Phrase-Structure Grammars: Normal Forms and ReductionabstractThis paper establishes two new normal forms for phrase-structure grammars in which both context-free rules and non-context-free rules are in prescribed forms. In addition, a limit is placed on the number of context-free rules. More specifically, the first form has | $2 + n$ | context-free rules, where | $n$ | is the number of terminals. Concerning non-context-free rules, each of them has the form | $AB \rightarrow CD$ | , where | $A, B, C, D$ | are nonterminals. The second normal form has always only two context-free rules— | $S \to S\#$ | and | $\# \to \varepsilon $ | , where | $S$ | is the start symbol, | $\#$ | is a nonterminal, and | $ \varepsilon $ | is the empty string. Regarding non-context-free rules, each of them is of the form | $AB \rightarrow XD$ | , where | $A, B, D$ | are nonterminals and | $X$ | is a nonterminal or a terminal. Zbynek Krivka, Alexander Meduna, Petr Zemek |
Comput. J. | 1 |
| 2014 | A Variant of Pure Two-Dimensional Context-Free Grammars Generating Picture Languages
Zbynek Krivka, Carlos Martín-Vide, Alexander Meduna, K. G. Subramanian 0001 |
IWCIA | 1 |
| 2009 | Design and implementation of back-end for Picoblaze C compiler
Zbynek Krivka, Ota Jirák |
IADIS AC (2) | 1 |