Jiri Slaby
发表
Jan Strejcek,
Marek Trtík,
Jiri Slaby,
2013,
VMCAI.
Tomás Pitner,
Jiri Slaby,
Tomás Ludík,
2010,
2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
Jan Strejcek,
Marek Chalupa,
Jiri Slaby,
2016,
TACAS.
Jan Strejcek,
Marek Trtík,
Jiri Slaby,
2012,
ArXiv.
Jan Strejcek,
Jiri Slaby,
J. Strejček,
2014,
TACAS.
Marek Trtík,
Jiri Slaby,
Jan Strejček,
2013,
ATVA.
Jan Strejcek,
Marek Trtík,
Jiri Slaby,
2013,
TACAS.
Jan Obdrzálek,
Marek Trtík,
Jiri Slaby,
2011,
MEMICS.
Tomás Pitner,
Jiri Slaby,
Jaroslav Skrabalek,
2011,
ISD.
Jiri Slaby,
Mark J. Carlson,
2016
.
Jan Strejcek,
Marek Chalupa,
Jiri Slaby,
2017,
TACAS.
Jiri Slaby,
Jan Strejček,
Marek Trt ´ ik,
2013
.
Jan Strejcek,
Marek Trtík,
Jiri Slaby,
2012,
FMICS.