Publikace
-
2024
HAVEL Martin, KŘIVKA Zbyněk a 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: Oesterrichische Computer Gesellschaft, 2024, s. 1-14.
DetailMEDUNA Alexander a 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 a 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, s. 38-47. ISSN 2075-2180.
Detail -
2022
KOCMAN Radim, KŘIVKA Zbyněk, MEDUNA Alexander a NAGY Benedek. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, roč. 59, č. 5, 2022, s. 557-584. ISSN 0001-5903.
DetailKŘIVKA Zbyněk, MARTIŠKO Jakub a 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, roč. 33, č. 03, 2022, s. 335-348. ISSN 0129-0541.
DetailKLOBUČNÍKOVÁ Dominika, KŘIVKA Zbyněk a 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, s. 112-125. ISSN 2075-2180.
DetailHAMMER Jan a 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, s. 88-111. ISSN 2075-2180.
Detail -
2021
KÖVÁRI Adam, KŘIVKA Zbyněk a 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, s. 101-108. ISBN 978-989-8704-34-4.
DetailKŘIVKA Zbyněk a MEDUNA Alexander. Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete. Fundamenta Informaticae, roč. 179, č. 4, 2021, s. 361-384. ISSN 0169-2968.
Detail -
2020
KOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. General CD Grammar Systems and Their Simplification. Journal of Automata, Languages and Combinatorics, roč. 25, č. 1, 2020, s. 37-54. ISSN 1430-189X.
Detail -
2019
KŘIVKA Zbyněk, KUČERA Jiří a MEDUNA Alexander. Jumping Pure Grammars. The Computer Journal, roč. 62, č. 1, 2019, s. 30-41. ISSN 0010-4620.
Detail -
2018
KOCMAN Radim, NAGY Benedek, KŘIVKA Zbyněk a 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: Osterreichische Computer Gesellschaft, 2018, s. 117-132. ISBN 978-3-903035-21-8.
DetailZENDULKA Jaroslav, BIELIKOVÁ Mária, BURGET Radek a KŘIVKA Zbyněk, ed. Data a Znalosti & WIKT 2018. Brno: Vysoké učení technické v Brně, 2018. ISBN 978-80-214-5679-2.
DetailKOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. On Double-Jumping Finite Automata and Their Closure Properties. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, roč. 52, č. 2, 2018, s. 185-199. ISSN 0988-3754.
DetailKŘIVKA Zbyněk, KUČERA Jiří a MEDUNA Alexander. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST), roč. 21, č. 3, 2018, s. 278-287. ISSN 1453-8245.
Detail -
2017
KŘIVKA Zbyněk. Introduction to Graph Algorithms for Shortest-Paths Problems. Sego-Bit, roč. 4, č. 5, 2017. ISSN 2386-866X.
DetailKOCMAN Radim, KŘIVKA Zbyněk a MEDUNA Alexander. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen, 2017.
Detail -
2016
KOCMAN Radim, KŘIVKA Zbyněk a 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: Osterreichische Computer Gesellschaft, 2016, s. 195-210. ISBN 978-3-903035-10-2.
DetailKŘIVKA Zbyněk, MEDUNA Alexander a ZEMEK Petr. Phrase-Structure Grammars: Normal Forms and Reduction. The Computer Journal, roč. 59, č. 8, 2016, s. 1180-1185. ISSN 0010-4620.
Detail -
2015
KŘIVKA Zbyněk a MEDUNA Alexander. Jumping Grammars. International Journal of Foundations of Computer Science, roč. 26, č. 6, 2015, s. 709-731. ISSN 0129-0541.
Detail -
2014
KŘIVKA Zbyněk, MARTÍN-VIDE Carlos, MEDUNA Alexander a 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, roč. 2014. Brno: Springer Verlag, 2014, s. 123-133. ISBN 978-3-319-07147-3. ISSN 0302-9743.
DetailTESAŘ Radek, KŘIVKA Zbyněk a MEDUNA Alexander. Alan Mathison Turing - život a dílo. Pokroky matematiky, fyziky a astronomie, roč. 59, č. 2, 2014, s. 89-104. ISSN 0032-2423.
Detail -
2011
KŘIVKA Zbyněk a MASOPUST Tomáš. Cooperating Distributed Grammar Systems with Random Context Grammars as Components. Acta Cybernetica, roč. 20, č. 2, 2011, s. 269-283. ISSN 0324-721X.
DetailJIRÁK Ota, KŘIVKA Zbyněk a 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, s. 10. ISBN 978-84-614-7423-3.
DetailKOUTNÝ Jiří, KŘIVKA Zbyněk a MEDUNA Alexander. Pumping Properties of Path-Restricted Tree-Controlled Languages. In: 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Vysoké učení technické v Brně, 2011, s. 61-69. ISBN 978-80-214-4305-1.
DetailKŘIVKA Zbyněk a 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 Technická univerzita Ostrava, 2011, s. 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 a VAŠÍČEK Zdeněk. Virtuální laboratoř pro vývoj aplikací s mikroprocesory a FPGA. Brno: Akademické nakladatelství CERM sro., 2011. ISBN 978-80-7204-754-3.
Detail -
2010
JIRÁK Ota, KŘIVKA Zbyněk a 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, s. 230-234. ISBN 978-972-8939-30-4.
DetailJIRÁK Ota a 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: MARQ, 2010, s. 138-144. ISBN 978-80-86840-51-2.
DetailJIRÁK Ota, KŘIVKA Zbyněk, OLŠAROVÁ Nela a VAŠÍČEK Zdeněk. Odvozování propojení komponent pro podporu návrhu pro malé FPGA čipy. In: DATAKON 2010 Proceedings (Ed. Petr Šaloun). Mikulov: Ostravská univerzita, 2010, s. 81-90. ISBN 978-80-7368-424-2.
Detail -
2009
KŘIVKA Zbyněk a MASOPUST Tomáš. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. In: 11th Italian Conference on Theoretical Computer Science. Cremona, 2009, s. 129-135.
DetailJIRÁK Ota a 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, s. 135-138. ISBN 978-972-8924-97-3.
DetailJIRÁK Ota a KŘIVKA Zbyněk. Simulation-based Debugging of 8-bit Softcore Processor. In: Proceedings of XXXIth International Autumn Colloquium Advanced Simulation of Systems. Ostrava: MARQ, 2009, s. 68-73. ISBN 978-80-86840-47-5.
Detail -
2008
JIRÁK Ota, KŘIVKA Zbyněk a VAŠÍČEK Zdeněk. Debugging of Small FPGA-Based Embedded System. In: Proceedings of ASIS 2008. Ostrava: MARQ, 2008, s. 6. ISBN 978-80-86840-42-0.
DetailKŘIVKA Zbyněk. Rewriting Systems with Restricted Configurations. Brno: Fakulta informačních technologií VUT v Brně, 2008. ISBN 978-80-214-3722-7.
Detail -
2007
KŘIVKA Zbyněk, LORENC Luboš a 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: Slezská univerzita v Opavě, 2007, s. 245-248. ISBN 978-807248-006-7.
DetailKOLÁŘ Dušan, KŘIVKA Zbyněk a SCHÖNECKER Rudolf. Component-based Design of Embedded Systems with FPGA Support. In: Proceedings of XXIXth International Autumn Colloquium Advanced Simulation of Systems. Ostrava: MARQ, 2007, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007, s. 386-390. ISBN 978-80214-3410-3.
DetailKŘIVKA Zbyněk a 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: Slezská univerzita v Opavě, 2007, s. 197-204. ISBN 978-807248-006-7.
DetailKŘIVKA Zbyněk, MEDUNA Alexander a 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, s. 105-112. ISBN 978-80-7355-077-6.
DetailKŘIVKA Zbyněk, LORENC Luboš a 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007, s. 176-179. ISBN 978-80-214-3468-4.
Detail -
2006
KŘIVKA Zbyněk, LUKÁŠ Roman a MEDUNA Alexander. Didaktické demonstrace modelů pro popis formálních jazyků. In: Pedagogický software 2006. České Budějovice: Zemědělská fakulta, Jihočeská univerzita, 2006, s. 54-56. ISBN 80-85645-56-4.
DetailKŘIVKA Zbyněk a MEDUNA Alexander. General Top-Down Parsers Based On Deep Pushdown Expansions. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: MARQ, 2006, s. 11-18. ISBN 80-86840-20-4.
DetailKŘIVKA Zbyněk, MEDUNA Alexander a SCHÖNECKER Rudolf. Generation of Languages by Rewriting Systems that Resemble Automata. International Journal of Foundations of Computer Science, roč. 17, č. 5, 2006, s. 1223-1229. ISSN 0129-0541.
DetailKŘIVKA Zbyněk a SCHÖNECKER Rudolf. Reducing Deep Pushdown Automata. In: Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4. Brno: Fakulta informačních technologií VUT v Brně, 2006, s. 365-369. ISBN 80-214-3163-6.
DetailKŘIVKA Zbyněk, MEDUNA Alexander a 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: Fakulta informačních technologií VUT v Brně, 2006, s. 214-221. ISBN 80-214-3287-X.
DetailKŘIVKA Zbyněk a SCHÖNECKER Rudolf. String-Partitioning Systems and An Infinite Hierarchy. In: Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: MARQ, 2006, s. 53-60. ISBN 80-86840-20-4.
Detail -
2005
KŘIVKA Zbyněk a 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: MARQ, 2005, s. 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: Fakulta informatiky MU, 2005, s. 139-144.
DetailKŘIVKA Zbyněk. String-partitioning Systems. In: Proceedings of 11th Conference and Competition STUDENT EEICT 2005 Volume 3. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2005, s. 556-560. ISBN 80-214-2890-2.
DetailKŘIVKA Zbyněk. String-partitioning Systems. In: Proceedings of International Interdisciplinary HONEYWELL EMI 2005. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2005, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004, s. 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: Fakulta strojního inženýrství VUT, 2004, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 179-181. ISBN 80-214-2377-3.
Detail