Zbynek Krivka
Orcid: 0000-0001-8309-0280
According to our database1,
Zbynek Krivka
authored at least 21 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars.
CoRR, 2024
2023
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
Proceedings of the Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, 2022
Proceedings of the Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, 2022
Acta Informatica, 2022
2021
Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete.
Fundam. Informaticae, 2021
2020
2019
2018
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
On double-jumping finite automata.
Proceedings of the Eighth Workshop on Non-Classical Models of Automata and Applications, 2016
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
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
Proceedings of the 2nd International Workshop on Formal Models WFM'07, 2007
Proceedings of the 2nd International Workshop on Formal Models WFM'07, 2007
2006
Int. J. Found. Comput. Sci., 2006