Vojtech Rehák
发表
Tomás Brázdil,
Antonín Kucera,
Vojtech Rehák,
2018,
ArXiv.
Vojtech Rehák,
Jan Strejcek,
Tomás Babiak,
2010,
ArXiv.
Jan Kretínský,
Tomás Brázdil,
Vojtech Rehák,
2011,
HSCC '11.
Holger Hermanns,
Jan Kretínský,
Tomás Brázdil,
2012,
FSTTCS.
Vojtech Rehák,
Jan Krcál,
Lubos Korenciak,
2014,
EPEW.
Tomás Brázdil,
Vojtech Rehák,
Antonín Kucera,
2018,
IJCAI.
Vojtech Rehák,
Jan Strejcek,
Mojmír Kretínský,
2005,
INFINITY.
Vojtech Rehák,
Laura Bozzelli,
Jan Strejcek,
2009,
Acta Informatica.
Jan Kretínský,
Tomás Brázdil,
Vojtech Rehák,
2013,
ICPE '13.
Loïc Hélouët,
Vojtech Rehák,
Petr Slovák,
2010,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Vojtech Rehák,
Jan Strejcek,
Mojmír Kretínský,
2003,
INFINITY.
Jan Kretínský,
Tomás Brázdil,
Vojtech Rehák,
2010,
CONCUR.
Vojtech Rehák,
Antonín Kucera,
Lubos Korenciak,
2016,
2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS).
Vojtech Rehák,
Jan Strejcek,
Tomás Babiak,
2012,
TACAS.
Petr Novotný,
Tomás Brázdil,
Vojtech Rehák,
2014,
QEST.
Vojtech Rehák,
Jan Strejcek,
Mojmír Kretínský,
2009,
INFINITY.
Tomás Brázdil,
Vojtech Rehák,
Antonín Kucera,
2015,
ArXiv.
Vojtech Rehák,
Jan Strejcek,
Tomás Babiak,
2012,
Math. Struct. Comput. Sci..
Christel Baier,
Vojtech Rehák,
Antonín Kucera,
2017,
QEST.
David Safránek,
Vojtech Rehák,
Tomás Vojnar,
2006,
FMICS/PDMC.
Vojtech Rehák,
Laura Bozzelli,
Jan Strejcek,
2006,
FSTTCS.
Vojtech Rehák,
Jan Strejcek,
Mojmír Kretínský,
2008,
Theor. Comput. Sci..
Branislav Bosanský,
Tomás Brázdil,
Vojtech Rehák,
2014,
AAMAS.
Vojtech Rehák,
Jan Strejcek,
Mojmír Kretínský,
2004,
CONCUR.
Vojtech Rehák,
Antonín Kucera,
David Klaska,
2018,
AAMAS.
Vojtech Rehák,
Lubos Korenciak,
Adrian Farmadin,
2016,
IFM.
Jan Kretínský,
Tomás Brázdil,
Vojtech Rehák,
2011,
CONCUR.
Vojtech Rehák,
Jan Strejcek,
Mojmír Kretínský,
2005,
FSTTCS.
Vojtech Rehák,
Lubos Korenciak,
Martin Bezdeka,
2012,
2012 12th International Conference on Application of Concurrency to System Design.
Vojtech Rehák,
Antonín Kucera,
David Klaska,
2021,
UAI.