Jan Strejcek

发表

Javier Esparza, Ahmed Bouajjani, Stefan Schwoon, 2005, FSTTCS.
Radek Pelánek, Jan Strejcek, Radek Pelánek, 2005, CIAA.
Jan Strejcek, Marek Trtík, Jiri Slaby, 2013, VMCAI.
Jan Strejcek, Marek Trtík, 2014, ATVA.
Jan Strejcek, Martin Jonás, 2018, Inf. Process. Lett..
Jan Strejcek, Marek Trtík, Pavel Cadek, 2016, ATVA.
Jan Strejcek, Martin Jonás, J. Strejček, 2019, CAV.
Vojtech Rehák, Jan Strejcek, Mojmír Kretínský, 2005, INFINITY.
Vojtech Rehák, Laura Bozzelli, Jan Strejcek, 2009, Acta Informatica.
Jan Strejcek, Mojmír Kretínský, Frantisek Blahoudek, 2014, SPIN.
Loïc Hélouët, Vojtech Rehák, Petr Slovák, 2010, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Jan Strejcek, Marek Trtík, Jiri Slaby, 2012, ArXiv.
Vojtech Rehák, Jan Strejcek, Mojmír Kretínský, 2003, INFINITY.
Jan Strejcek, Marek Chalupa, Martina Vitovská, 2018, TACAS.
Vojtech Rehák, Jan Strejcek, Tomás Babiak, 2012, TACAS.
Sven Schewe, Ming-Hsien Tsai, Matthias Heizmann, 2016, TACAS.
Jan Strejcek, Marek Chalupa, Martina Vitovská, 2018, ArXiv.
Jan Strejcek, Jiri Slaby, J. Strejček, 2014, TACAS.
Jan Strejcek, Martin Jonás, J. Strejček, 2016, SAT.
Vojtech Rehák, Jan Strejcek, Mojmír Kretínský, 2009, INFINITY.
Jan Strejcek, Marek Chalupa, Martina Vitovská, 2018, SPIN.
Vojtech Rehák, Jan Strejcek, Tomás Babiak, 2012, Math. Struct. Comput. Sci..
Jan Strejcek, Mojmír Kretínský, Frantisek Blahoudek, 2013, LPAR.
Antonín Kucera, Jan Strejcek, 2005, Acta Informatica.
Jan Strejcek, Tomás Babiak, Mojmír Kretínský, 2013, ATVA.
Jan Strejcek, Marek Trtík, 2012, ISSTA 2012.
Vojtech Rehák, Laura Bozzelli, Jan Strejcek, 2006, FSTTCS.
Jan Strejcek, Frantisek Blahoudek, Alexandre Duret-Lutz, 2015, SPIN.
Vojtech Rehák, Jan Strejcek, Mojmír Kretínský, 2008, Theor. Comput. Sci..
Jan Strejcek, Marek Chalupa, Jiri Slaby, 2017, TACAS.
Vojtech Rehák, Jan Strejcek, Mojmír Kretínský, 2004, CONCUR.
Vojtech Rehák, Jan Strejcek, Mojmír Kretínský, 2005, FSTTCS.
Tayssir Touili, Ahmed Bouajjani, Jan Strejcek, 2006, EXPRESS.
Antonín Kucera, Jan Strejcek, A. Kucera, 2005, SOFSEM.
Jan Strejcek, 2001, EXPRESS.