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

2007

• 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007)

  KUČERA Luděk KUČERA Antonín

  Editorství tématického sborníku

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

• Mathematical Foundations of Computer Science 2007

  KUČERA Luděk KUČERA Antonín

  Editorství tématického sborníku

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

• Mathematical Foundations of Computer Science 2007

  KUČERA Luděk KUČERA Antonín

  Odborná kniha

  Rok: 2007, počet stran: 764 s.

• Stochastic Game Logic

  BAIER Christel BRÁZDIL Tomáš GRÖßER Marcus KUČERA Antonín

  Článek ve sborníku

  Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), rok: 2007

2006

• A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications

  KUČERA Antonín SCHNOEBELEN Philippe

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2006, ročník: 358, vydání: 2-3

• Equivalence-Checking on Infinite-State Systems: Techniques and Results

  KUČERA Antonín JANČAR Petr

  Článek v odborném periodiku

  Theory and practice of logic programming, rok: 2006, ročník: 6, vydání: 3

• Formální jazyky a automaty I

  ČERNÁ Ivana KŘETÍNSKÝ Mojmír KUČERA Antonín

  Článek v odborném periodiku

  Elportál, rok: 2006

• Methods for Quantitative Analysis of Probabilistic Pushdown Automata

  KUČERA Antonín

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2006, ročník: 149, vydání: 1

• Model Checking Probabilistic Pushdown Automata

  ESPARZA Javier KUČERA Antonín MAYR Richard

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2006, ročník: 2, vydání: 1-2

• Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006)

  MATYSKA Luděk KUČERA Antonín VOJNAR Tomáš KOTÁSEK Zdeněk ANTOŠ David KRAJÍČEK Ondřej

  Účelové publikace

  Rok: 2006, druh: Účelové publikace