Přístupnostní navigace
E-application
Search Search Close
Ing.
Ph.D.
FIT, CVT
+420 54114 1324kocman@fit.vut.cz
Send BUT message
2022
KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A.; NAGY, B. A Jumping 5'->3' Watson-Crick Finite Automata Model. Acta Informatica, 2022, vol. 59, no. 5, p. 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, vol. 25, no. 1, p. 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. p. 0-0. Detail | WWW
2019
BARTÍK, V.; KOCMAN, R.; VOLF, T.; ZENDULKA, J. System architecture and ViAn Server. Brno: 2019. p. 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. p. 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. p. 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, vol. 52, no. 2, p. 185-199. ISSN: 0988-3754.Detail | WWW
2017
KOCMAN, R.; KŘIVKA, Z.; MEDUNA, A. Rule-Homogeneous CD Grammar Systems. AFL 2017. Debrecen: 2017. p. 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. p. 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. p. 195-210. ISBN: 978-3-903035-10-2.Detail | WWW
*) Publications are generated once a 24 hours.