Publikace

• 2022

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

• 2020

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

  BARTÍK, V.; KOCMAN, R.; VOLF, T.; ZENDULKA, J. Architektura systému, ViAn Server, Snímací uzel a ViAn GUI. Brno: 2020. s. 0-0.
  Detail | WWW

• 2019

  BARTÍK, V.; KOCMAN, R.; VOLF, T.; ZENDULKA, J. System architecture and ViAn Server. Brno: 2019. s. 0-0.
  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. s. 117-132. ISBN: 978-3-903035-21-8.
  Detail | WWW

  BARTÍK, V.; KOCMAN, R.; VOLF, T.; ZENDULKA, J. System architecture and ViAn Server. Brno: 2018. s. 0-0.
  Detail | WWW

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

• 2017

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

• 2016

  KOCMAN, R.; MEDUNA, A. On Parallel Versions of Jumping Finite Automata. In Proceedings of the 2015 Federated Conference on Software Development and Object Technologies. Advances in Intelligent Systems and Computing. Cham: Springer International Publishing, 2016. s. 142-149. ISBN: 978-3-319-46534-0.
  Detail | WWW

  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. s. 195-210. ISBN: 978-3-903035-10-2.
  Detail | WWW

*) Citace publikací se generují jednou za 24 hodin.