Zbynek Krivka

24 papers C 1Journal 11Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Input-Erasing Two-Way Finite Automata.
CoRR
Alexander Meduna, Dominik Nejedlý, Zbynek Krivka
2025 — conf
Orchestration of Music by Grammar Systems.
NCMA
Jozef Makis, Alexander Meduna, Zbynek Krivka
2025 — conf
Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals Are Computationally Complete.
DCFS
Martin Havel, Alexander Meduna, Zbynek Krivka
2024 — conf
How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars.
NCMA
Martin Havel, Zbynek Krivka, Alexander Meduna
2023 — conf
Final Sentential Forms.
NCMA
Tomás Kozár, Zbynek Krivka, Alexander Meduna
2022 J jnl
A jumping $5'\rightarrow 3'$ Watson-Crick finite automata model.
Acta Informatica
Radim Kocman, Zbynek Krivka, Alexander Meduna, Benedek Nagy
2022 J jnl
CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages.
Int. J. Found. Comput. Sci.
Jakub Martisko, Alexander Meduna, Zbynek Krivka
2022 — conf
Conclusive Tree-Controlled Grammars.
NCMA
Dominika Klobucníková, Zbynek Krivka, Alexander Meduna
2022 — conf
Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars.
NCMA
Jan Hammer, Zbynek Krivka
2021 J jnl
Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete.
Fundam. Informaticae
Zbynek Krivka, Alexander Meduna
2020 J jnl
General CD Grammar Systems and Their Simplification.
J. Autom. Lang. Comb.
Radim Kocman, Zbynek Krivka, Alexander Meduna
2019 J jnl
Jumping Pure Grammars.
Comput. J.
Zbynek Krivka, Jirí Kucera, Alexander Meduna
2018 — conf
A jumping 5' → 3' Watson-Crick finite automata model.
NCMA
Radim Kocman, Benedek Nagy, Zbynek Krivka, Alexander Meduna
2018 J jnl
On double-jumping finite automata and their closure properties.
RAIRO Theor. Informatics Appl.
Radim Kocman, Zbynek Krivka, Alexander Meduna
2016 — conf
On double-jumping finite automata.
NCMA
Radim Kocman, Zbynek Krivka, Alexander Meduna
2016 J jnl
Phrase-Structure Grammars: Normal Forms and Reduction.
Comput. J.
Zbynek Krivka, Alexander Meduna, Petr Zemek
2015 J jnl
Jumping Grammars.
Int. J. Found. Comput. Sci.
Zbynek Krivka, Alexander Meduna
2014 C conf
A Variant of Pure Two-Dimensional Context-Free Grammars Generating Picture Languages.
IWCIA
Zbynek Krivka, Carlos Martín-Vide, Alexander Meduna, K. G. Subramanian
2011 J jnl
Cooperating Distributed Grammar Systems with Random Context Grammars as Components.
Acta Cybern.
Zbynek Krivka, Tomás Masopust
2009 — conf
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking.
ICTCS
Zbynek Krivka, Tomás Masopust
2009 — conf
Design and implementation of back-end for Picoblaze C compiler.
IADIS AC (2)
Zbynek Krivka, Ota Jirák
2007 — conf
A Note on the Parsing of Complete VHDL-2002.
Workshop on Formal Models
Lubos Lorenc, Rudolf Schönecker, Zbynek Krivka
2007 — conf
Generalized #-Rewriting Systems of Finite Index.
Workshop on Formal Models
Zbynek Krivka, Alexander Meduna
2006 J jnl
Generation of Languages by Rewriting Systems that Resemble Automata.
Int. J. Found. Comput. Sci.
Zbynek Krivka, Alexander Meduna, Rudolf Schönecker