Ing.

Radim Kocman

Ph.D.

+420 54114 1324
kocman@fit.vut.cz
C220 Office
128772/BUT personal ID

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

Back to top