| 2022 |
— |
conf |
CAV (2)
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
|
| 2022 |
J |
jnl |
CoRR
Alexandre Duret-Lutz, Etienne Renault, Maximilien Colange, Florian Renkin, Alexandre Gbaguidi Aisse, Philipp Schlehuber-Caissier, Thomas Medioni, Antoine Martin, Jérôme Dubois, Clément Gillard, Henrich Lauko
|
| 2022 |
— |
conf |
TACAS (2)
Henrich Lauko, Petr Rockai
|
| 2022 |
J |
jnl |
CoRR
Henrich Lauko, Lukás Korencik, Peter Goodman
|
| 2022 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
Henrich Lauko, Lukás Korencik, Petr Rockai
|
| 2020 |
C |
conf |
QRS
Lukás Korencik, Petr Rockai, Henrich Lauko, Jiri Barnat
|
| 2019 |
— |
conf |
TACAS (3)
Henrich Lauko, Vladimír Still, Petr Rockai, Jiri Barnat
|
| 2019 |
— |
conf |
SPIN
Agostino Cortesi, Henrich Lauko, Martina Olliaro, Petr Rockai
|
| 2018 |
C |
conf |
ICTAC
Henrich Lauko, Petr Rockai, Jiri Barnat
|
| 2018 |
J |
jnl |
CoRR
Henrich Lauko, Petr Rockai, Jiri Barnat
|
| 2017 |
B |
conf |
ATVA
Zuzana Baranová, Jiri Barnat, Katarína Kejstová, Tadeás Kucera, Henrich Lauko, Jan Mrázek, Petr Rockai, Vladimír Still
|
| 2017 |
— |
conf |
TACAS (2)
Jan Mrázek, Martin Jonás, Vladimír Still, Henrich Lauko, Jiri Barnat
|
| 2016 |
— |
conf |
SPIN
Jan Mrázek, Petr Bauch, Henrich Lauko, Jiri Barnat
|