Zbynek Krivka

Orcid: 0000-0001-8309-0280

According to our database1, Zbynek Krivka authored at least 20 papers between 2006 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Final Sentential Forms.
Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, 2023

2022
CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages.
Int. J. Found. Comput. Sci., 2022

Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars.
Proceedings of the Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, 2022

Conclusive Tree-Controlled Grammars.
Proceedings of the Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, 2022

A jumping $5'\rightarrow 3'$ Watson-Crick finite automata model.
Acta Informatica, 2022

2021
Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete.
Fundam. Informaticae, 2021

2020
General CD Grammar Systems and Their Simplification.
J. Autom. Lang. Comb., 2020

2019
Jumping Pure Grammars.
Comput. J., 2019

2018
On double-jumping finite automata and their closure properties.
RAIRO Theor. Informatics Appl., 2018

A jumping 5' → 3' Watson-Crick finite automata model.
Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, 2018

2016
Phrase-Structure Grammars: Normal Forms and Reduction.
Comput. J., 2016

On double-jumping finite automata.
Proceedings of the Eighth Workshop on Non-Classical Models of Automata and Applications, 2016

2015
Jumping Grammars.
Int. J. Found. Comput. Sci., 2015

2014
A Variant of Pure Two-Dimensional Context-Free Grammars Generating Picture Languages.
Proceedings of the Combinatorial Image Analysis - 16th International Workshop, 2014

2011
Cooperating Distributed Grammar Systems with Random Context Grammars as Components.
Acta Cybern., 2011

2009
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Design and implementation of back-end for Picoblaze C compiler.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009

2007
A Note on the Parsing of Complete VHDL-2002.
Proceedings of the 2nd International Workshop on Formal Models WFM'07, 2007

Generalized #-Rewriting Systems of Finite Index.
Proceedings of the 2nd International Workshop on Formal Models WFM'07, 2007

2006
Generation of Languages by Rewriting Systems that Resemble Automata.
Int. J. Found. Comput. Sci., 2006


  Loading...