Radim Kocman

Publications

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

• 2020

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

  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

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

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

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

• 2017

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

  KOCMAN Radim and 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, vol. 511. Cham: Springer International Publishing, 2016, pp. 142-149. ISBN 978-3-319-46534-0.
  Detail