| 2024 |
— |
— |
Martin Hruska
|
| 2024 |
— |
conf |
TACAS (2)
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
|
| 2023 |
J |
jnl |
CoRR
David Chocholatý, Tomás Fiedor, Vojtech Havlena, Lukás Holík, Martin Hruska, Ondrej Lengál, Juraj Síc
|
| 2023 |
A |
conf |
CADE
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
|
| 2023 |
J |
jnl |
CoRR
Tomás Fiedor, Lukás Holík, Martin Hruska, Adam Rogalewicz, Juraj Síc, Pavol Vargovcík
|
| 2022 |
— |
conf |
EUROCAST
Tomás Fiedor, Martin Hruska, Ales Smrcka
|
| 2021 |
— |
conf |
NETYS
Martin Hruska, Lukás Holík
|
| 2020 |
J |
jnl |
Sensors
Lesia Piliai, David Tomecek, Martin Hruska, Ivan Khalakhan, Jaroslava Nováková, Premysl Fitl, Roman Yatskiv, Jan Grym, Mykhailo Vorokhta, Iva Matolínová, Martin Vrnata
|
| 2020 |
— |
conf |
TACAS (2)
Marek Chalupa, Tomás Jasek, Lukás Tomovic, Martin Hruska, Veronika Soková, Paulína Ayaziová, Jan Strejcek, Tomás Vojnar
|
| 2019 |
J |
jnl |
CoRR
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
|
| 2018 |
B |
conf |
FMCAD
Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar
|
| 2017 |
B |
conf |
VMCAI
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Tomás Vojnar
|
| 2017 |
— |
conf |
TACAS (2)
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
|
| 2016 |
A |
conf |
TACAS
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
|
| 2015 |
A |
conf |
TACAS
Lukás Holík, Martin Hruska, Ondrej Lengál, Adam Rogalewicz, Jirí Simácek, Tomás Vojnar
|
| 2004 |
J |
jnl |
Informatics Educ.
Stanislav Holec, Martin Hruska, Jana Raganová
|