Zbynek Krivka

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 12

Top Topics

Syntactic Pattern Recognition

Picture Languages

Grammatical Inference

Finite Automata

Top Venues

Int. J. Found. Comput. Sci.

Fundam. Informaticae

Publications

Tomás Kozár, Zbynek Krivka, Alexander Meduna
Final Sentential Forms. NCMA (2023)
Radim Kocman, Zbynek Krivka, Alexander Meduna, Benedek Nagy
A jumping $5'\rightarrow 3'$ Watson-Crick finite automata model. Acta Informatica 59 (5) (2022)
Jan Hammer, Zbynek Krivka
Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars. NCMA (2022)
Jakub Martisko, Alexander Meduna, Zbynek Krivka
CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. Int. J. Found. Comput. Sci. 33 (3&4) (2022)
Dominika Klobucníková, Zbynek Krivka, Alexander Meduna
Conclusive Tree-Controlled Grammars. NCMA (2022)
Zbynek Krivka, Alexander Meduna
Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete. Fundam. Informaticae 179 (4) (2021)
Radim Kocman, Zbynek Krivka, Alexander Meduna
General CD Grammar Systems and Their Simplification. J. Autom. Lang. Comb. 25 (1) (2020)
Zbynek Krivka, Jirí Kucera, Alexander Meduna
Jumping Pure Grammars. Comput. J. 62 (1) (2019)
Radim Kocman, Benedek Nagy, Zbynek Krivka, Alexander Meduna
A jumping 5' → 3' Watson-Crick finite automata model. NCMA (2018)
Radim Kocman, Zbynek Krivka, Alexander Meduna
On double-jumping finite automata and their closure properties. RAIRO Theor. Informatics Appl. 52 (2-3-4) (2018)
Radim Kocman, Zbynek Krivka, Alexander Meduna
On double-jumping finite automata. NCMA (2016)
Zbynek Krivka, Alexander Meduna, Petr Zemek
Phrase-Structure Grammars: Normal Forms and Reduction. Comput. J. 59 (8) (2016)
Zbynek Krivka, Alexander Meduna
Jumping Grammars. Int. J. Found. Comput. Sci. 26 (6) (2015)
Zbynek Krivka, Carlos Martín-Vide, Alexander Meduna, K. G. Subramanian
A Variant of Pure Two-Dimensional Context-Free Grammars Generating Picture Languages. IWCIA (2014)
Zbynek Krivka, Tomás Masopust
Cooperating Distributed Grammar Systems with Random Context Grammars as Components. Acta Cybern. 20 (2) (2011)
Zbynek Krivka, Tomás Masopust
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. ICTCS (2009)
Zbynek Krivka, Ota Jirák
Design and implementation of back-end for Picoblaze C compiler. IADIS AC (2) (2009)
Zbynek Krivka, Alexander Meduna
Generalized #-Rewriting Systems of Finite Index. Workshop on Formal Models (2007)
Lubos Lorenc, Rudolf Schönecker, Zbynek Krivka
A Note on the Parsing of Complete VHDL-2002. Workshop on Formal Models (2007)
Zbynek Krivka, Alexander Meduna, Rudolf Schönecker
Generation of Languages by Rewriting Systems that Resemble Automata. Int. J. Found. Comput. Sci. 17 (5) (2006)