Ing.

Radim Kocman

Ph.D.

+420 54114 1324
kocman@fit.vut.cz
C220 Kancelář
128772/osobní číslo VUT

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

Nahoru