Vojtěch Havlena
发表
Andrea Turrini,
Yong Li,
Barbora Smahlíková,
2023,
TACAS.
Vojtech Havlena,
Ondřej Lengál,
Barbora Smahlíková,
2022,
ArXiv.
Yu-Fang Chen,
L. Holík,
Ondřej Lengál,
2022,
ArXiv.
Vojtěch Havlena,
Petr Matoušek,
Lukáš Holı́k,
2021,
2021 IFIP/IEEE International Symposium on Integrated Network Management (IM).
Ondrej Rysavý,
Vojtech Havlena,
Matej Grégr,
2020,
J. Inf. Secur. Appl..
Lukás Holík,
Tomás Vojnar,
Vojtech Havlena,
2020,
LPAR.
Lukás Holík,
Tomás Vojnar,
Vojtech Havlena,
2019,
Journal of Automated Reasoning.
Yu-Fang Chen,
Vojtech Havlena,
Ondrej Lengál,
2020,
APLAS.
Yu-Fang Chen,
Vojtech Havlena,
Ondrej Lengál,
2019,
APLAS.
Vojtěch Havlena,
Ondřej Lengál,
Barbora Šmahlíková,
2021,
NETYS.
L. Holík,
Vojtěch Havlena,
P. Habermehl,
2024,
CAV.