prof. RNDr. Antonín Kučera, Ph.D.

2010

• 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010)

  HLINĚNÝ Petr KUČERA Antonín

  Uspořádání konference

  Rok: 2010, druh: Uspořádání konference

• 4th International Workshop on Reachability Problems

  KUČERA Antonín POTAPOV Igor

  Uspořádání workshopu

  Rok: 2010, druh: Uspořádání workshopu

• Effective Analysis of Infinite State Stochastic Processes and Games

  KUČERA Antonín ESPARZA Javier SPANFELNER Bernd GRUMBERG Orna

  Kapitola v knize

  Logics and Languages for Reliability and Security, rok: 2010, počet stran: 25 s.

• Mathematical Foundations of Computer Science 2010

  HLINĚNÝ Petr KUČERA Antonín

  Editorství tématického sborníku

  Rok: 2010, druh: Editorství tématického sborníku

• On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes

  KUČERA Antonín MAYR Richard

  Článek v odborném periodiku

  Information and Computation, rok: 2010, ročník: 208, vydání: February

• One-Counter Markov Decision Processes

  BRÁZDIL Tomáš BROŽEK Václav ETESSAMI Kousha KUČERA Antonín WOJTCZAK Dominik

  Článek ve sborníku

  Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, rok: 2010

• Reachability Games on Extended Vector Addition Systems with States

  BRÁZDIL Tomáš JANČAR Petr KUČERA Antonín

  Článek ve sborníku

  Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), rok: 2010

• Reachability Problems

  KUČERA Antonín POTAPOV Igor

  Editorství tématického sborníku

  Rok: 2010, druh: Editorství tématického sborníku

• Stochastic Real-Time Games with Qualitative Timed Automata Objectives

  BRÁZDIL Tomáš KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín ŘEHÁK Vojtěch

  Článek ve sborníku

  CONCUR 2010 - Concurrency Theory, rok: 2010

2009

• Continuous-Time Stochastic Games with Time-Bounded Reachability

  BRÁZDIL Tomáš FOREJT Vojtěch KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín

  Článek ve sborníku

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), rok: 2009