Publications
-
2024
HAVEL Martin, KŘIVKA Zbyněk and MEDUNA Alexander. How to Demonstrate Metalinearness and Regularity by Tree-Restricted General Grammars. In: Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications. Göttingen, 2024, pp. 86-99. ISSN 2075-2180.
DetailMEDUNA Alexander and KŘIVKA Zbyněk. Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing. Boca Raton: CRC Press LLC, 2024. ISBN 978-0-367-62093-6.
Detail -
2023
KOŽÁR Tomáš, KŘIVKA Zbyněk and MEDUNA Alexander. Final sentential forms. In: Proceedings 13th International Workshop on Non-Classical Models of Automata and Applications. Famagusta: School of Computer Science and Engineering, University of New South Wales, 2023, pp. 38-47. ISSN 2075-2180.
Detail -
2022
KOCMAN Radim, KŘIVKA Zbyněk, MEDUNA Alexander and NAGY Benedek. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, vol. 59, no. 5, 2022, pp. 557-584. ISSN 0001-5903.
DetailKŘIVKA Zbyněk, MARTIŠKO Jakub and MEDUNA Alexander. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. International Journal of Foundations of Computer Science, vol. 33, no. 03, 2022, pp. 335-348. ISSN 0129-0541.
DetailKLOBUČNÍKOVÁ Dominika, KŘIVKA Zbyněk and MEDUNA Alexander. Conclusive Tree-Controlled Grammars. In: Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications . Debrecen: School of Computer Science and Engineering, University of New South Wales, 2022, pp. 112-125. ISSN 2075-2180.
DetailHAMMER Jan and KŘIVKA Zbyněk. Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars. In: Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications . Debrecen: School of Computer Science and Engineering, University of New South Wales, 2022, pp. 88-111. ISSN 2075-2180.
Detail -
2021
KÖVÁRI Adam, KŘIVKA Zbyněk and MEDUNA Alexander. Evaluating Yona Language. In: INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021. Lisabon: International Association for Development of the Information Society, 2021, pp. 101-108. ISBN 978-989-8704-34-4.
DetailKŘIVKA Zbyněk and MEDUNA Alexander. Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete. Fundamenta Informaticae, vol. 179, no. 4, 2021, pp. 361-384. ISSN 0169-2968.
Detail -
2020
KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. General CD Grammar Systems and Their Simplification. Journal of Automata, Languages and Combinatorics, vol. 25, no. 1, 2020, pp. 37-54. ISSN 1430-189X.
Detail -
2019
KŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal, vol. 62, no. 1, 2019, pp. 30-41. ISSN 0010-4620.
Detail -
2018
KOCMAN Radim, NAGY Benedek, KŘIVKA Zbyněk and MEDUNA Alexander. A Jumping 5'->3' Watson-Crick Finite Automata Model. In: Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018). books@ocg.at 332. Wien: Austrian Computer Society, 2018, pp. 117-132. ISBN 978-3-903035-21-8.
DetailZENDULKA Jaroslav, BIELIKOVÁ Mária, BURGET Radek and KŘIVKA Zbyněk, ed. Data a Znalosti & WIKT 2018. Brno: Brno University of Technology, 2018. ISBN 978-80-214-5679-2.
DetailKOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata and Their Closure Properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, vol. 52, no. 2, 2018, pp. 185-199. ISSN 0988-3754.
DetailKŘIVKA Zbyněk, KUČERA Jiří and MEDUNA Alexander. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST), vol. 21, no. 3, 2018, pp. 278-287. ISSN 1453-8245.
Detail -
2017
KŘIVKA Zbyněk. Introduction to Graph Algorithms for Shortest-Paths Problems. Sego-Bit, vol. 4, no. 5, 2017. ISSN 2386-866X.
DetailKOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen, 2017.
Detail -
2016
KOCMAN Radim, KŘIVKA Zbyněk and MEDUNA Alexander. On Double-Jumping Finite Automata. In: Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). books@ocg.at 321. Wien: Austrian Computer Society, 2016, pp. 195-210. ISBN 978-3-903035-10-2.
DetailKŘIVKA Zbyněk, MEDUNA Alexander and ZEMEK Petr. Phrase-Structure Grammars: Normal Forms and Reduction. The Computer Journal, vol. 59, no. 8, 2016, pp. 1180-1185. ISSN 0010-4620.
Detail -
2015
KŘIVKA Zbyněk and MEDUNA Alexander. Jumping Grammars. International Journal of Foundations of Computer Science, vol. 26, no. 6, 2015, pp. 709-731. ISSN 0129-0541.
Detail -
2014
KŘIVKA Zbyněk, MARTÍN-VIDE Carlos, MEDUNA Alexander and SUBRAMANIAN K.G. A Variant of Pure Two-dimensional Context-free Grammars generating Picture Languages. In: 16th International Workshop on Combinatorial Image Analysis. Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 8466, vol. 2014. Brno: Springer Verlag, 2014, pp. 123-133. ISBN 978-3-319-07147-3. ISSN 0302-9743.
DetailTESAŘ Radek, KŘIVKA Zbyněk and MEDUNA Alexander. Alan Mathison Turing - život a dílo. Pokroky matematiky, fyziky a astronomie, vol. 59, no. 2, 2014, pp. 89-104. ISSN 0032-2423.
Detail -
2011
KŘIVKA Zbyněk and MASOPUST Tomáš. Cooperating Distributed Grammar Systems with Random Context Grammars as Components. Acta Cybernetica, vol. 20, no. 2, 2011, pp. 269-283. ISSN 0324-721X.
DetailJIRÁK Ota, KŘIVKA Zbyněk and VAŠÍČEK Zdeněk. Integrated Development Environment for Virtual Laboratory. In: International Technology, Education and Development Conference. Valencia: International Association for Technology, Education and Development, 2011, p. 10. ISBN 978-84-614-7423-3.
DetailKOUTNÝ Jiří, KŘIVKA Zbyněk and MEDUNA Alexander. Pumping Properties of Path-Restricted Tree-Controlled Languages. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Brno University of Technology, 2011, pp. 61-69. ISBN 978-80-214-4305-1.
DetailKŘIVKA Zbyněk and VAŠÍČEK Zdeněk. The Virtualization of Development Boards in the Virtual Laboratory of Microprocessor Technology. In: 12th International Carpathian Control Conference (ICCC). Velké Karlovice: VŠB-Technical University of Ostrava, 2011, pp. 424-428. ISBN 978-1-61284-359-9.
DetailDULÍK Tomáš, KŘIVKA Zbyněk, KADLEC Jiří, BLIŽŇÁK Michal, BUDÍKOVÁ Věra, JIRÁK Ota, OLŠAROVÁ Nela, TRBUŠEK Josef and VAŠÍČEK Zdeněk. Virtuální laboratoř pro vývoj aplikací s mikroprocesory a FPGA. Brno: Akademické nakladatelství CERM, 2011. ISBN 978-80-7204-754-3.
Detail -
2010
JIRÁK Ota, KŘIVKA Zbyněk and VAŠÍČEK Zdeněk. Component Interconnection Inference Tool Supporting the Design of Small FPGA-based Embedded Systems. In: Proceedings of the IADIS International Conference Applied Computing 2010. Timisoara: International Association for Development of the Information Society, 2010, pp. 230-234. ISBN 978-972-8939-30-4.
DetailJIRÁK Ota and KŘIVKA Zbyněk. Hardware Design Tool based on Eclipse Modeling Framework. In: Proceedings of the 44th Spring International Conference Modeling and Simulation Systems. Ostrava, 2010, pp. 138-144. ISBN 978-80-86840-51-2.
DetailJIRÁK Ota, KŘIVKA Zbyněk, OLŠAROVÁ Nela and VAŠÍČEK Zdeněk. Odvozování propojení komponent pro podporu návrhu pro malé FPGA čipy. In: DATAKON 2010 Proceedings (Ed. Petr Šaloun). Mikulov: University of Ostrava, 2010, pp. 81-90. ISBN 978-80-7368-424-2.
Detail -
2009
KŘIVKA Zbyněk and MASOPUST Tomáš. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. In: 11th Italian Conference on Theoretical Computer Science. Cremona, 2009, pp. 129-135.
DetailJIRÁK Ota and KŘIVKA Zbyněk. Design and Implementation of Back-end for PicoBlaze C Compiler. In: Proceedings of the IADIS International Conference Applied Computing 2009. Rome: International Association for Development of the Information Society, 2009, pp. 135-138. ISBN 978-972-8924-97-3.
DetailJIRÁK Ota and KŘIVKA Zbyněk. Simulation-based Debugging of 8-bit Softcore Processor. In: Proceedings of XXXIth International Autumn Colloquium Advanced Simulation of Systems. Ostrava, 2009, pp. 68-73. ISBN 978-80-86840-47-5.
Detail -
2008
JIRÁK Ota, KŘIVKA Zbyněk and VAŠÍČEK Zdeněk. Debugging of Small FPGA-Based Embedded System. In: Proceedings of ASIS 2008. Ostrava, 2008, p. 6. ISBN 978-80-86840-42-0.
DetailKŘIVKA Zbyněk. Rewriting Systems with Restricted Configurations. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3722-7.
Detail -
2007
KŘIVKA Zbyněk, LORENC Luboš and SCHÖNECKER Rudolf. A Note on the Parsing of Complete VHDL-2002. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007, pp. 245-248. ISBN 978-807248-006-7.
DetailKOLÁŘ Dušan, KŘIVKA Zbyněk and SCHÖNECKER Rudolf. Component-based Design of Embedded Systems with FPGA Support. In: Proceedings of XXIXth International Autumn Colloquium Advanced Simulation of Systems. Ostrava, 2007, pp. 167-172. ISBN 978-80-86840-34-5.
DetailKŘIVKA Zbyněk. Deterministic #-Rewriting Systems. In: Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007, pp. 386-390. ISBN 978-80214-3410-3.
DetailKŘIVKA Zbyněk and MEDUNA Alexander. Generalized #-Rewriting Systems of Finite Index. In: Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007, pp. 197-204. ISBN 978-807248-006-7.
DetailKŘIVKA Zbyněk, MEDUNA Alexander and SMRČEK Jaromír. n-Right-Linear #-Rewriting Systems. In: Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007, pp. 105-112. ISBN 978-80-7355-077-6.
DetailKŘIVKA Zbyněk, LORENC Luboš and SCHÖNECKER Rudolf. Vývoj vestavěných systémů s FPGA na konceptuální úrovni. In: Sborník příspěvků konference ZVŮLE 2007. Brno: Faculty of Electrical Engineering and Communication BUT, 2007, pp. 176-179. ISBN 978-80-214-3468-4.
Detail -
2006
KŘIVKA Zbyněk, LUKÁŠ Roman and MEDUNA Alexander. Didaktické demonstrace modelů pro popis formálních jazyků. In: Pedagogický software 2006. České Budějovice: Agricultural Faculty, University of South Bohemia, 2006, pp. 54-56. ISBN 80-85645-56-4.
DetailKŘIVKA Zbyněk and MEDUNA Alexander. General Top-Down Parsers Based On Deep Pushdown Expansions. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava, 2006, pp. 11-18. ISBN 80-86840-20-4.
DetailKŘIVKA Zbyněk, MEDUNA Alexander and SCHÖNECKER Rudolf. Generation of Languages by Rewriting Systems that Resemble Automata. International Journal of Foundations of Computer Science, vol. 17, no. 5, 2006, pp. 1223-1229. ISSN 0129-0541.
DetailKŘIVKA Zbyněk and SCHÖNECKER Rudolf. Reducing Deep Pushdown Automata. In: Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4. Brno: Faculty of Information Technology BUT, 2006, pp. 365-369. ISBN 80-214-3163-6.
DetailKŘIVKA Zbyněk, MEDUNA Alexander and SCHÖNECKER Rudolf. Reducing Deep Pushdown Automata and Infinite Hierarchy. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006, pp. 214-221. ISBN 80-214-3287-X.
DetailKŘIVKA Zbyněk and SCHÖNECKER Rudolf. String-Partitioning Systems and An Infinite Hierarchy. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava, 2006, pp. 53-60. ISBN 80-86840-20-4.
Detail -
2005
KŘIVKA Zbyněk and MEDUNA Alexander. Random Context and Programmed Grammars of Finite Index Have The Same Generative Power. In: Proceedings of 8th International Conference ISIM'05 Information Systems Implementation and Modelling. 1st edition. Ostrava, 2005, pp. 67-72. ISBN 80-86840-09-3.
DetailKŘIVKA Zbyněk. Recursive Erasing in Programmed Grammars. In: PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2005, pp. 139-144.
DetailKŘIVKA Zbyněk. String-partitioning Systems. In: Proceedings of 11th Conference and Competition STUDENT EEICT 2005 Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 556-560. ISBN 80-214-2890-2.
DetailKŘIVKA Zbyněk. String-partitioning Systems. In: Proceedings of International Interdisciplinary HONEYWELL EMI 2005. Brno: Faculty of Electrical Engineering and Communication BUT, 2005, pp. 217-221. ISBN 80-214-2942-9.
Detail -
2004
KŘIVKA Zbyněk. Dvoucestné k-lineární N-komponentní gramatické systémy. In: Proceedings of the 10th Conference and Competition STUDENT EEICT 2004 Volume 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 203-205. ISBN 80-214-2634-9.
DetailKŘIVKA Zbyněk. Zefektivnění syntaktické analýzy aritmetických výrazů. In: SVOČ 2004 - Soutěž vysokoškoláků ve vědecké odborné činnosti v matematice. Brno: Faculty of Mechanical Engineering BUT, 2004, pp. 34-34.
Detail -
2003
KŘIVKA Zbyněk. A Reduction of LR Parsing Tables for Arithmetic Expressions. In: Proceedings of the International Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 326-330. ISBN 80-214-2401-X.
DetailKŘIVKA Zbyněk. Redukce LR tabulek pro aritmetické výrazy. In: Proceedings of 9th Conference and Competition STUDENT EEICT 2003 Volume 1. Brno: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 179-181. ISBN 80-214-2377-3.
Detail