Radim Kocman
Orcid: 0000-0002-5082-7861
According to our database1,
Radim Kocman
authored at least 6 papers
between 2016 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
O paralelním zpracování ve formálních modelech ; On Parallel Processing in Formal Models: Jumping Automata and Normal Forms.
PhD thesis, 2023
2022
Acta Informatica, 2022
2020
2018
RAIRO Theor. Informatics Appl., 2018
A jumping 5' → 3' Watson-Crick finite automata model.
Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, 2018
2016
On double-jumping finite automata.
Proceedings of the Eighth Workshop on Non-Classical Models of Automata and Applications, 2016