Tomáš Vojnar
发表
Luděk Matyska,
Zdeněk Kotásek,
Antonín Kučera,
2006
.
Michal Kozubek,
Luděk Matyska,
David Antoš,
2011
.
Lijun Zhang,
Tomáš Vojnar,
T. Vojnar,
2019,
Lecture Notes in Computer Science.
Michal Kozubek,
Ludek Matyska,
David Antoš,
2010,
MEMICS.
Peter Schrammel,
Tomáš Vojnar,
Viktor Malik,
2019
.
Tomáš Vojnar,
2001
.
David Šafránek,
Vojtěch Řehák,
Pavel Šimeček,
2006
.
Tomáš Vojnar,
1999
.
Tomáš Vojnar,
Bohuslav Křena,
2001
.
Tomáš Vojnar,
Václav Matyáš,
Petr Hlineny,
2009,
MEMICS.
Lukas Sekanina,
Zdeněk Kotásek,
David Antoš,
2010
.
Luděk Matyska,
Zdeněk Kotásek,
Tomáš Vojnar,
2009
.
Jan Bouda,
Lukas Sekanina,
Zdeněk Kotásek,
2011
.
Vladimír Janousek,
Tomáš Vojnar,
Milan Češka,
2002
.
Jan Kofroň,
Tomáš Vojnar,
2015
.
Vojtech Mrazek,
Tomáš Vojnar,
Milan Češka,
2020,
SAT.
Luděk Matyska,
Zdeněk Kotásek,
David Antoš,
2008
.
Margus Veanes,
Olli Saarikivi,
Tomáš Vojnar,
2020,
Proc. ACM Program. Lang..
Thomas A. Henzinger,
Antonín Kučera,
David Antoš,
2012
.
Tomáš Vojnar,
Radu Iosif,
Lukáš Holík,
2020,
Formal Methods Syst. Des..
David Šafránek,
Tomáš Kratochvíla,
Vojtěch Řehák,
2005
.
Petr Hliněný,
Tomáš Vojnar,
Václav Matyáš,
2009
.
Tomáš Vojnar,
Aleš Smrčka,
Lukáš Charvát,
2020
.
Tomáš Vojnar,
Lukáš Holík,
Milan Češka,
2019,
International Journal on Software Tools for Technology Transfer.
Tomáš Vojnar,
1998
.
Jan Bouda,
Lukas Sekanina,
Zdeněk Kotásek,
2012
.
Tomáš Vojnar,
Petr Peringer,
Michal Kotoun,
2019,
ArXiv.
Tomáš Vojnar,
Lijun Zhang,
2021,
International Journal on Software Tools for Technology Transfer.
Parosh Aziz Abdulla,
Yu-Fang Chen,
Richard Mayr,
2010
.