Jan Kretínský

发表

Jan Kretínský, Guillermo A. Pérez, Jean-François Raskin, 2018, CONCUR.

Jan Kretínský, Tobias Meggendorfer, Jan Křetínský, 2019, CONCUR.

Krishnendu Chatterjee, Jan Kretínský, Tomás Brázdil, 2014, ATVA.

Axel Legay, Ulrich Fahrenberg, Jan Kretínský, 2014, FACS.

Jan Kretínský, Tobias Meggendorfer, Jan Křetínský, 2017, ATVA.

Jan Kretínský, Pranav Ashok, Mathias Jackermeier, 2021, International Conference on Tools and Algorithms for Construction and Analysis of Systems.

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, 2018, ATVA.

Krishnendu Chatterjee, Jan Kretínský, Tobias Meggendorfer, 2017, CAV.

Jan Kretínský, Tomás Brázdil, Vojtech Rehák, 2011, HSCC '11.

Holger Hermanns, Jan Kretínský, Tomás Brázdil, 2012, FSTTCS.

Ivana Cerná, Jan Kretínský, Nikola Benes, 2011, ATVA.

Jan Kretínský, Pranav Ashok, Maximilian Weininger, 2019, CAV.

Kim G. Larsen, Jirí Srba, Jan Kretínský, 2015, Acta Informatica.

Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger, 2017, TACAS.

Jan Kretínský, Salomon Sickert, Jan Křetínský, 2013, ICTAC.

Jan Kretínský, Javier Esparza, Stefan Jaax, 2016, CAV.

Jan Kretínský, Salomon Sickert, 2013, ATVA.

Jan Kretínský, Milan Ceska, Jan Křetínský, 2019, CAV.

Jan Kretínský, Tomás Brázdil, Antonín Kucera, 2009, FSTTCS.

Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov, 2016, CONCUR.

Jan Kretínský, Pushpak Jagtap, Majid Zamani, 2020, HSCC.

Jan Kretínský, Nikola Benes, Jan Křetínský, 2012, ICTAC.

Jan Kretínský, Tomás Brázdil, Vojtech Rehák, 2013, ICPE '13.

Kim G. Larsen, Jan Kretínský, Jakob Haahr Taankvist, 2019, QEST.

Holger Hermanns, Jan Kretínský, Jan Krcál, 2014, CONCUR.

Krishnendu Chatterjee, Jan Kretínský, Zuzana Komárková, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.

Jan Kretínský, Edon Kelmendi, Maximilian Weininger, 2018, CAV.

Krishnendu Chatterjee, Jan Kretínský, Tomás Brázdil, 2018, TACAS.

Jan Kretínský, Javier Esparza, 2012, CAV.

Axel Legay, Ulrich Fahrenberg, Jan Kretínský, 2014, FACS.

Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov, 2016, TACAS.

Jan Kretínský, Tomás Brázdil, Vojtech Rehák, 2010, CONCUR.

Holger Hermanns, Jan Kretínský, Jan Krcál, 2013, CONCUR.

Jan Kretínský, Javier Esparza, Jan Křetínský, 2014, CAV.

Kim G. Larsen, Jirí Srba, Jan Kretínský, 2009, Theor. Comput. Sci..

Jan Kretínský, Javier Esparza, Salomon Sickert, 2018, LICS.

Jan Kretínský, Vojtech Forejt, Jan Krcál, 2015, ArXiv.

Jan Kretínský, Javier Esparza, Salomon Sickert, 2014, Formal Methods Syst. Des..

Dejan Nickovic, Thomas A. Henzinger, Jan Kretínský, 2015, 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).

Jan Kretínský, Tomás Brázdil, Pranav Ashok, 2018, ISoLA.

Kim G. Larsen, Jirí Srba, Jan Kretínský, 2011, ATVA.

Jan Kretínský, Pranav Ashok, Maximilian Weininger, 2020, ISoLA.

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, 2018, ArXiv.

Jan Kretínský, Salomon Sickert, Jan Křetínský, 2016, ATVA.

Jan Kretínský, Pranav Ashok, Vahid Hashemi, 2020, ATVA.

Jan Kretínský, Tomás Brázdil, Antonín Kucera, 2013, FSTTCS.

Jan Kretínský, Javier Esparza, Andreas Gaiser, 2012, ATVA.

Jan Kretínský, Vojtech Forejt, Jan Krcál, 2015, LPAR.

Christoph H. Lampert, Krishnendu Chatterjee, Jan Kretínský, 2019, QEST.

Jan Kretínský, Jean-François Raskin, Javier Esparza, 2017, TACAS.

Jan Kretínský, Tomás Brázdil, Antonín Kucera, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.

Krishnendu Chatterjee, Jan Kretínský, Andreas Gaiser, 2013, CAV.

Jan Kretínský, Ruslán Ledesma-Garza, 2013, ATVA.

Jan Kretínský, Javier Esparza, Stefan Kiefer, 2020, ArXiv.

Jan Kretínský, Tomás Brázdil, Vojtech Rehák, 2011, CONCUR.

Krishnendu Chatterjee, Andreas Fellner, Jan Kretínský, 2015, CAV.

Kim G. Larsen, Jirí Srba, Jan Kretínský, 2012, Inf. Comput..

Jan Kretínský, Maximilian Weininger, Emanuel Ramneantu, 2020, GandALF.

Jan Kretínský, Tobias Meggendorfer, Salomon Sickert, 2018, CAV.

Kim G. Larsen, Jirí Srba, Jan Kretínský, 2009, ICTAC.

Jan Kretínský, Joachim Klein, Alexandre Duret-Lutz, 2015, CAV.

Kim G. Larsen, Jirí Srba, Jan Kretínský, 2012, LPAR.

Thomas A. Henzinger, Jan Kretínský, Tatjana Petrov, 2015, TACAS.

Jan Kretínský, Jan Křetínský, 2017, Models, Algorithms, Logics and Tools.

Holger Hermanns, Jan Kretínský, Pranav Ashok, 2018, ATVA.

Jan Kretínský, Zuzana Komárková, Jan Křetínský, 2014, ATVA.

Jan Kretínský, Tobias Meggendorfer, Alexander Manta, 2019, ATVA.

Jan Kretínský, Nikola Benes, 2010, MEMICS.

Jan Kretínský, Vahid Hashemi, Stefanie Mohr, 2021, RV.

Jan Kretínský, Jan Křetínský, 2021, IJCAI.