Radim Kocman

Publikace

• 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.
  Detail

• 2020

  BARTÍK Vladimír, KOCMAN Radim, VOLF Tomáš a ZENDULKA Jaroslav. Architektura systému, ViAn Server, Snímací uzel a ViAn GUI. Brno, 2020.
  Detail

  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

  BARTÍK Vladimír, KOCMAN Radim, VOLF Tomáš a ZENDULKA Jaroslav. System architecture and ViAn Server. Brno, 2019.
  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.
  Detail

  KOCMAN 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.
  Detail

  BARTÍK Vladimír, KOCMAN Radim, VOLF Tomáš a ZENDULKA Jaroslav. System architecture and ViAn Server. Brno, 2018.
  Detail

• 2017

  KOCMAN 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.
  Detail

  KOCMAN Radim a MEDUNA Alexander. 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, roč. 511. Cham: Springer International Publishing, 2016, s. 142-149. ISBN 978-3-319-46534-0.
  Detail