Publications

• 2024

  MEDUNA, A.; KŘIVKA, Z. Jumping Computation: Updating Automata and Grammars for Discontinuous Information Processing. Boca Raton: CRC Press LLC, 2024. 293 p. ISBN: 978-0-367-62093-6.
  Detail

• 2023

  KOŽÁR, T.; MEDUNA, A.; KŘIVKA, Z. Final sentential forms. In Proceedings 13th International Workshop on Non-Classical Models of Automata and Applications. Electronic Proceedings in Theoretical Computer Science, EPTCS. Famagusta: School of Computer Science and Engineering, University of New South Wales, 2023. p. 38-47. ISSN: 2075-2180.
  Detail | WWW

• 2022

  MARTIŠKO, J.; KŘIVKA, Z.; MEDUNA, A. CD Grammar Systems with Two Propagating Scattered Context Components Characterize the Family of Context Sensitive Languages. International Journal of Foundations of Computer Science, 2022, vol. 33, no. 03, p. 335-348. ISSN: 0129-0541.
  Detail | WWW

  KLOBUČNÍKOVÁ, D.; KŘIVKA, Z.; MEDUNA, A. Conclusive Tree-Controlled Grammars. In Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications. Electronic Proceedings in Theoretical Computer Science, EPTCS. Debrecen: School of Computer Science and Engineering, University of New South Wales, 2022. p. 112-125. ISSN: 2075-2180.
  Detail | WWW

  HAMMER, J.; KŘIVKA, Z. Practical Aspects of Membership Problem of Watson-Crick Context-free Grammars. In Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications. Electronic Proceedings in Theoretical Computer Science, EPTCS. Debrecen: School of Computer Science and Engineering, University of New South Wales, 2022. p. 88-111. ISSN: 2075-2180.
  Detail | WWW

  KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A.; NAGY, B. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, 2022, vol. 59, no. 5, p. 557-584. ISSN: 0001-5903.
  Detail | WWW

• 2021

  KÖVÁRI, A.; KŘIVKA, Z.; MEDUNA, A. Evaluating Yona Language. In INTERNATIONAL CONFERENCES ON WWW/INTERNET 2021 AND APPLIED COMPUTING 2021. Lisabon: International Association for Development of the Information Society, 2021. p. 101-108. ISBN: 978-989-8704-34-4.
  Detail | WWW

  KÖVÁRI, A.; KŘIVKA, Z.; MEDUNA, A. Burden-free parallel programming on GraalVM with Yona. Springer's Lecture Notes in Computer Science. Advanced Research in Computing and Software Science. Bolzano: 2021. p. 0-0.
  Detail

  KŘIVKA, Z.; MEDUNA, A. Scattered Context Grammars with One Non-Context-Free Production are Computationally Complete. Fundamenta Informaticae, 2021, vol. 179, no. 4, p. 361-384. ISSN: 0169-2968.
  Detail | WWW

• 2020

  KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. General CD Grammar Systems and Their Simplification. Journal of Automata, Languages and Combinatorics, 2020, vol. 25, no. 1, p. 37-54. ISSN: 1430-189X.
  Detail | WWW

• 2019

  MEDUNA, A.; KŘIVKA, Z.; KUČERA, J. Jumping Pure Grammars. COMPUTER JOURNAL, 2019, vol. 62, no. 1, p. 30-41. ISSN: 0010-4620.
  Detail | WWW

• 2018

  KOCMAN, R.; NAGY, B.; KŘIVKA, Z.; MEDUNA, A. A Jumping 5'->3' Watson-Crick Finite Automata Model. Tenth Workshop on Non-Classical Models of Automata and Applications (NCMA 2018). books@ocg.at 332. Wien: Austrian Computer Society, 2018. p. 117-132. ISBN: 978-3-903035-21-8.
  Detail | WWW

  KUČERA, J.; KŘIVKA, Z.; MEDUNA, A. On k#$-Rewriting Systems. Romanian Journal of Information Science and Technology (ROMJIST), 2018, vol. 21, no. 3, p. 278-287. ISSN: 1453-8245.
  Detail | WWW

  ZENDULKA, J.; BIELIKOVÁ, M.; BURGET, R.; KŘIVKA, Z. Data a Znalosti & WIKT 2018. Brno: Vysoké učení technické v Brně, 2018. p. 1-291. ISBN: 978-80-214-5679-2.
  Detail | WWW

  KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. On Double-Jumping Finite Automata and Their Closure Properties. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2018, vol. 52, no. 2, p. 185-199. ISSN: 0988-3754.
  Detail | WWW

• 2017

  KŘIVKA, Z. Introduction to Graph Algorithms for Shortest-Paths Problems. 2017. p. 41-48. ISSN: 2386-866X.
  Detail | WWW

  KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen: 2017. p. 0-0.
  Detail | WWW

• 2016

  KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. On Double-Jumping Finite Automata. Eighth Workshop on Non-Classical Models of Automata and Applications (NCMA 2016). books@ocg.at 321. Wien: Austrian Computer Society, 2016. p. 195-210. ISBN: 978-3-903035-10-2.
  Detail | WWW

  KŘIVKA, Z.; MEDUNA, A.; ZEMEK, P. Phrase-Structure Grammars: Normal Forms and Reduction. COMPUTER JOURNAL, 2016, vol. 59, no. 8, p. 1180-1185. ISSN: 0010-4620.
  Detail | WWW

• 2015

  KŘIVKA, Z.; MEDUNA, A. Jumping Grammars. International Journal of Foundations of Computer Science, 2015, vol. 26, no. 6, p. 709-731. ISSN: 0129-0541.
  Detail | WWW

• 2014

  TESAŘ, R.; KŘIVKA, Z.; MEDUNA, A. Alan Mathison Turing - život a dílo. Pokroky matematiky, fyziky a astronomie, 2014, vol. 59, no. 2, p. 89-104. ISSN: 0032-2423.
  Detail | WWW

  KŘIVKA, Z.; SUBRAMANIAN, K.; MARTÍN-VIDE, C.; MEDUNA, A. 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. Lecture Notes in Computer Science, ISSN 0302-9743, Vol. 8466. Brno: Springer Verlag, 2014. p. 123-133. ISBN: 978-3-319-07147-3. ISSN: 0302-9743.
  Detail | WWW

• 2011

  KŘIVKA, Z.; MASOPUST, T. Cooperating Distributed Grammar Systems with Random Context Grammars as Components. Acta Cybernetica, 2011, vol. 20, no. 2, p. 269-283. ISSN: 0324-721X.
  Detail | WWW

  DULÍK, T.; KŘIVKA, Z.; KADLEC, J.; BLIŽŇÁK, M.; BUDÍKOVÁ, V.; JIRÁK, O.; OLŠAROVÁ, N.; TRBUŠEK, J.; VAŠÍČEK, Z. Virtuální laboratoř pro vývoj aplikací s mikroprocesory a FPGA. Brno: Akademické nakladatelství CERM sro., 2011. 82 p. ISBN: 978-80-7204-754-3.
  Detail | WWW

  KOUTNÝ, J.; KŘIVKA, Z.; MEDUNA, A. Pumping Properties of Path-Restricted Tree-Controlled Languages. 7th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Brno University of Technology, 2011. p. 61-69. ISBN: 978-80-214-4305-1.
  Detail

  KŘIVKA, Z.; VAŠÍČEK, Z. 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. p. 424-428. ISBN: 978-1-61284-359-9.
  Detail

  KŘIVKA, Z.; JIRÁK, O.; VAŠÍČEK, Z. Integrated Development Environment for Virtual Laboratory. International Technology, Education and Development Conference. Valencia: International Association for Technology, Education and Development, 2011. p. 6109-6118. ISBN: 978-84-614-7423-3.
  Detail

• 2010

  JIRÁK, O.; KŘIVKA, Z. Hardware Design Tool based on Eclipse Modeling Framework. Proceedings of the 44th Spring International Conference Modeling and Simulation Systems. Ostrava: 2010. p. 138-144. ISBN: 978-80-86840-51-2.
  Detail

  KŘIVKA, Z.; JIRÁK, O.; VAŠÍČEK, Z. Component Interconnection Inference Tool Supporting the Design of Small FPGA-based Embedded Systems. Proceedings of the IADIS International Conference Applied Computing 2010. Timisoara: International Association for Development of the Information Society, 2010. p. 230-234. ISBN: 978-972-8939-30-4.
  Detail

  KŘIVKA, Z.; OLŠAROVÁ, N.; VAŠÍČEK, Z.; JIRÁK, O. Odvozování propojení komponent pro podporu návrhu pro malé FPGA čipy. DATAKON 2010 Proceedings (Ed. Petr Šaloun). Mikulov: Ostravská univerzita, 2010. p. 81-90. ISBN: 978-80-7368-424-2.
  Detail

• 2009

  KŘIVKA, Z.; MASOPUST, T. A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking. 11th Italian Conference on Theoretical Computer Science. Cremona: 2009. p. 129-135.
  Detail | WWW

  KŘIVKA, Z.; JIRÁK, O. Design and Implementation of Back-end for PicoBlaze C Compiler. Proceedings of the IADIS International Conference Applied Computing 2009. Rome: International Association for Development of the Information Society, 2009. p. 135-138. ISBN: 978-972-8924-97-3.
  Detail

• 2008

  KŘIVKA, Z.; JIRÁK, O.; VAŠÍČEK, Z. Debugging of Small FPGA-Based Embedded System. Proceedings of ASIS 2008. Ostrava: 2008. p. 1-6. ISBN: 978-80-86840-42-0.
  Detail

  KŘIVKA, Z. Rewriting Systems with Restricted Configurations. Brno: Faculty of Information Technology BUT, 2008. 131 p. ISBN: 978-80-214-3722-7.
  Detail | WWW

• 2007

  KŘIVKA, Z. Přepisující systémy s omezenými konfiguracemi. Brno: 2007. p. 0-0.
  Detail | WWW

  KŘIVKA, Z. Deterministic #-Rewriting Systems. Proceedings of the 13th Conference STUDENT EEICT 2007, Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2007. p. 386-390. ISBN: 978-80214-3410-3.
  Detail | WWW

  KŘIVKA, Z.; MEDUNA, A.; SMRČEK, J. n-Right-Linear #-Rewriting Systems. Third Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007). Znojmo: Ing. Zdeněk Novotný, CSc., 2007. p. 105-112. ISBN: 978-80-7355-077-6.
  Detail | WWW

  KŘIVKA, Z.; MEDUNA, A. Generalized #-Rewriting Systems of Finite Index. Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007. p. 197-204. ISBN: 978-807248-006-7.
  Detail | WWW

  LORENC, L.; KŘIVKA, Z.; SCHÖNECKER, R. A Note on the Parsing of Complete VHDL-2002. Information Systems and Formal Models (Proceedings of 2nd International Workshop on Formal Models (WFM'07)). Opava: Silesian University, 2007. p. 245-248. ISBN: 978-807248-006-7.
  Detail | WWW

  KŘIVKA, Z.; LORENC, L.; SCHÖNECKER, R. Vývoj vestavěných systémů s FPGA na konceptuální úrovni. Sborník příspěvků konference ZVŮLE 2007. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2007. p. 176-179. ISBN: 978-80-214-3468-4.
  Detail | WWW

  KŘIVKA, Z.; KOLÁŘ, D.; SCHÖNECKER, R. Component-based Design of Embedded Systems with FPGA Support. Proceedings of XXIXth International Autumn Colloquium Advanced Simulation of Systems. Ostrava: 2007. p. 167-172. ISBN: 978-80-86840-34-5.
  Detail | WWW

• 2006

  KŘIVKA, Z.; MEDUNA, A.; SCHÖNECKER, R. Generation of Languages by Rewriting Systems that Resemble Automata. International Journal of Foundations of Computer Science, 2006, vol. 17, no. 5, p. 1223-1229. ISSN: 0129-0541.
  Detail | WWW

  KŘIVKA, Z.; SCHÖNECKER, R. String-Partitioning Systems and An Infinite Hierarchy. Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: 2006. p. 53-60. ISBN: 80-86840-20-4.
  Detail | WWW

  SCHÖNECKER, R.; KŘIVKA, Z.; MEDUNA, A. Reducing Deep Pushdown Automata and Infinite Hierarchy. MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006. p. 214-221. ISBN: 80-214-3287-X.
  Detail

  KŘIVKA, Z.; MEDUNA, A. General Top-Down Parsers Based On Deep Pushdown Expansions. Proceedings of 1st International Workshop on Formal Models (WFM'06). Ostrava: 2006. p. 11-18. ISBN: 80-86840-20-4.
  Detail

• 2005

  KŘIVKA, Z. String-partitioning Systems. Proceedings of International Interdisciplinary HONEYWELL EMI 2005. Brno: Faculty of Electrical Engineering and Communication BUT, 2005. p. 217-221. ISBN: 80-214-2942-9.
  Detail | WWW

  KŘIVKA, Z.; MEDUNA, A. Random Context and Programmed Grammars of Finite Index Have The Same Generative Power. Proceedings of 8th International Conference ISIM'05 Information Systems Implementation and Modelling. 1st edition. Ostrava: 2005. p. 67-72. ISBN: 80-86840-09-3.
  Detail

  KŘIVKA, Z. Recursive Erasing in Programmed Grammars. PRE-PROCEEDINGS of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Znojmo: Faculty of Informatics MU, 2005. p. 139-144.
  Detail

  KŘIVKA, Z. String-partitioning Systems. Proceedings of 11th Conference and Competition STUDENT EEICT 2005 Volume 3. Brno: Faculty of Electrical Engineering and Communication BUT, 2005. p. 556-560. ISBN: 80-214-2890-2.
  Detail | WWW

• 2004

  KŘIVKA, Z. Dvoucestné k-lineární N-komponentní gramatické systémy. Proceedings of the 10th Conference and Competition STUDENT EEICT 2004 Volume 1. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004. p. 203-205. ISBN: 80-214-2634-9.
  Detail | WWW

  KŘIVKA, Z. Zefektivnění syntaktické analýzy aritmetických výrazů. SVOČ 2004 - Soutěž vysokoškoláků ve vědecké odborné činnosti v matematice. Brno: Fakulta strojního inženýrství VUT, 2004. p. 34-34.
  Detail | WWW

• 2003

  KŘIVKA, Z. Redukce LR tabulek pro aritmetické výrazy. Proceedings of 9th Conference and Competition STUDENT EEICT 2003 Volume 1. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003. p. 179-181. ISBN: 80-214-2377-3.
  Detail | WWW

  KŘIVKA, Z. A Reduction of LR Parsing Tables for Arithmetic Expressions. Proceedings of the International Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 326-330. ISBN: 80-214-2401-X.
  Detail | WWW

*) Publications are generated once a 24 hours.