Login / Signup
Michal Horký
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Hardware Design
Traumatic Brain Injury
Probabilistic Automata
Lattice Gas
Top Venues
ICT4AWE
EUROCAST
</>
Publications
</>
Michal Horký
,
Juraj Síc
,
Lenka Turonová
Automata with Bounded Repetition in RE2.
EUROCAST
(2022)
Roman Moucek
,
Lukás Vareka
,
Petr Bruha
,
Pavel Snejdar
,
Michal Horký
,
Ivana Herejková
BrainIn: A Data-driven Software System for Neurorehabilitation of People with Acquired Brain Injuries.
ICT4AWE
(2022)