Antonín Kucera

发表

Tomás Brázdil, Stefan Kiefer, Antonín Kucera, 2010, ICALP.
Antonín Kucera, Richard Mayr, A. Kucera, 2002, Inf. Comput..
Petr Novotný, Tomás Brázdil, Antonín Kucera, 2012, ICALP.
Tomás Brázdil, Antonín Kucera, Jan Obdrzálek, 2009, STACS.
Antonín Kucera, A. Kucera, 2000, ASIAN.
Tomás Brázdil, Antonín Kucera, Oldrich Strazovský, 2005, STACS.
Jan Kretínský, Tomás Brázdil, Vojtech Rehák, 2011, HSCC '11.
Antonín Kucera, A. Kucera, 2000, ICALP.
Antonín Kucera, 2010, Logics and Languages for Reliability and Security.
Tomás Brázdil, Antonín Kucera, Vojtech Forejt, 2014, J. Comput. Syst. Sci..
Tomás Brázdil, Vojtech Rehák, Antonín Kucera, 2018, IJCAI.
Petr Novotný, Tomás Brázdil, Stefan Kiefer, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Javier Esparza, Antonín Kucera, J. Esparza, 2022 .
Javier Esparza, Antonín Kucera, Stefan Schwoon, 2001, Inf. Comput..
Javier Esparza, Antonín Kucera, 2003, J. Log. Comput..
Javier Esparza, Tomás Brázdil, Antonín Kucera, 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).
Tomás Brázdil, Antonín Kucera, Vojtech Forejt, 2008, Inf. Comput..
Petr Hájek, Antonín Kucera, P. Hájek, 1989, J. Symb. Log..
Paul G. Spirakis, Leslie Ann Goldberg, Giuseppe Persiano, 2017, Bull. EATCS.
Antonín Kucera, Theodore A. Slaman, T. Slaman, 2001, SIAM J. Comput..
Antonín Kucera, Petr Jancar, A. Kucera, 1997, INFINITY.
Javier Esparza, Antonín Kucera, Richard Mayr, 2004, LICS.
Petr Novotný, Tomás Brázdil, Antonín Kucera, 2016, CONCUR.
Jan Kretínský, Tomás Brázdil, Antonín Kucera, 2009, FSTTCS.
Tomás Brázdil, Antonín Kucera, Petr Jancar, 2010, ICALP.
Javier Esparza, Antonín Kucera, Michael Blondin, 2018, LICS.
Antonín Kucera, Petr Jancar, A. Kucera, 2002, SOFSEM.
Petr Novotný, Tomás Brázdil, Antonín Kucera, 2014, CAV.
Krishnendu Chatterjee, Petr Novotný, Tomás Brázdil, 2012, CAV.
Faron Moller, Antonín Kucera, Petr Jancar, 2000, STACS.
Tomás Brázdil, Antonín Kucera, Václav Brozek, 2008, LPAR.
Jan Kretínský, Tomás Brázdil, Vojtech Rehák, 2010, CONCUR.
Tomás Brázdil, Antonín Kucera, Oldrich Strazovský, 2004, Acta Informatica.
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).
Antonín Kucera, Oldrich Strazovský, A. Kucera, 2005, Fundam. Informaticae.
Antonín Kucera, Richard Mayr, A. Kucera, 2002, CONCUR.
Ivana Cerná, Antonín Kucera, Mojmír Kretínský, 1999, Acta Informatica.
Sebastiaan Terwijn, Antonín Kucera, 1999, J. Symb. Log..
Kousha Etessami, Tomás Brázdil, Antonín Kucera, 2013, Inf. Comput..
Javier Esparza, Antonín Kucera, Stefan Schwoon, 2001, TACS.
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, 2014, JACM.
Philippe Schnoebelen, Antonín Kucera, A. Kucera, 2006, CONCUR.
Antonín Kucera, 2013, Bull. EATCS.
Antonín Kucera, Antonín Kucera, A. Kucera, 1996, MFCS.
Faron Moller, Antonín Kucera, Petr Jancar, 2004, Inf. Comput..
Tomás Brázdil, Vojtech Rehák, Antonín Kucera, 2015, ArXiv.
Christel Baier, Vojtech Rehák, Antonín Kucera, 2017, QEST.
Antonín Kucera, Jan Strejcek, 2005, Acta Informatica.
Antonín Kucera, A. Kucera, 2003, Theor. Comput. Sci..
Antonín Kucera, A. Kucera, 1997, SOFSEM.
Javier Esparza, Antonín Kucera, Richard Mayr, 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
Krishnendu Chatterjee, Tomás Brázdil, Antonín Kucera, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Krishnendu Chatterjee, Tomás Brázdil, Antonín Kucera, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Javier Esparza, Tomás Brázdil, Stefan Kiefer, 2013, Formal Methods Syst. Des..
Jan Kretínský, Tomás Brázdil, Antonín Kucera, 2013, FSTTCS.
Antonín Kucera, Petr Jancar, A. Kucera, 2002, Theory and Practice of Logic Programming.
Kousha Etessami, Tomás Brázdil, Antonín Kucera, 2009, SODA '10.
Christel Baier, Tomás Brázdil, Marcus Größer, 2007, QEST.
Jan Kretínský, Tomás Brázdil, Antonín Kucera, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Branislav Bosanský, Tomás Brázdil, Vojtech Rehák, 2014, AAMAS.
Vojtech Rehák, Antonín Kucera, David Klaska, 2018, AAMAS.
Petr Novotný, Tomás Brázdil, Antonín Kucera, 2012, MEMICS.
Tomás Brázdil, Antonín Kucera, Vojtech Forejt, 2006, CONCUR.
Tomás Brázdil, Antonín Kucera, Vojtech Forejt, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Tomás Brázdil, Antonín Kucera, Oldrich Strazovský, 2004, CONCUR.
Antonín Kucera, Richard Mayr, 1999, ICALP.
Philippe Schnoebelen, Antonín Kucera, 2006, Theor. Comput. Sci..
Kousha Etessami, Tomás Brázdil, Antonín Kucera, 2011, ICALP.
Tomás Brázdil, Antonín Kucera, Jan Obdrzálek, 2011, Inf. Comput..
André Nies, Antonín Kucera, A. Nies, 2011, Ann. Pure Appl. Log..
Christel Baier, Tomás Brázdil, Marcus Größer, 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).
Krishnendu Chatterjee, Petr Novotný, Tomás Brázdil, 2018, LICS.
Antonín Kucera, A. Kucera, 1997, CONCUR.
Antonín Kucera, Richard Mayr, A. Kucera, 2002, Theor. Comput. Sci..
Ivan Kopecek, Antonín Kucera, Robert Batusek, 2003, TSD.
André Nies, Antonín Kucera, Laurent Bienvenu, 2013, J. Log. Comput..
Antonín Kucera, Theodore A. Slaman, T. Slaman, 2007, The Journal of Symbolic Logic.
Krishnendu Chatterjee, Petr Novotný, Tomás Brázdil, 2017, ArXiv.
Antonín Kucera, A. Kucera, 2012, RP.
Javier Esparza, Antonín Kucera, Michael Blondin, 2018, CONCUR.
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, 2011, CAV.
Joost-Pieter Katoen, Petr Novotný, Tomás Brázdil, 2014, CSL-LICS.
Krishnendu Chatterjee, Tomás Brázdil, Antonín Kucera, 2015, TACAS.
Antonín Kucera, A. Kucera, 2011, Lectures in Game Theory for Computer Scientists.
Ivana Cerná, Antonín Kucera, Mojmír Kretínský, 1996, INFINITY.
Antonín Kucera, A. Kucera, 2000, Theor. Comput. Sci..
Antonín Kucera, Jan Strejcek, A. Kucera, 2005, SOFSEM.
Faron Moller, Antonín Kucera, Petr Jancar, 2003, CONCUR.
Antonín Kucera, Miroslav Klimos, 2015, LPAR.
Petr Novotný, Tomás Brázdil, Antonín Kucera, 2016, ATVA.
Tomás Brázdil, Stefan Kiefer, Antonín Kucera, 2015, J. Comput. Syst. Sci..
André Nies, Antonín Kucera, A. Nies, 2014, The Bulletin of Symbolic Logic.
Antonín Kucera, Petr Jancar, Richard Mayr, 2001, Theor. Comput. Sci..
Vojtech Rehák, Antonín Kucera, David Klaska, 2021, UAI.
Antonín Kucera, Michal Ajdarów, 2021, CONCUR.