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

  Year: 2007, type:

• Mathematical Foundations of Computer Science 2007

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

  Year: 2007, type:

• Mathematical Foundations of Computer Science 2007

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

  Monograph

  Year: 2007, number of pages: 764 s.

• Stochastic Game Logic

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

  Article in Proceedings

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

2006

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

  KUČERA Antonín SCHNOEBELEN Philippe

  Article in Periodical

  Theoretical Computer Science, year: 2006, volume: 358, edition: 2-3

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

  KUČERA Antonín JANČAR Petr

  Article in Periodical

  Theory and practice of logic programming, year: 2006, volume: 6, edition: 3

• Formální jazyky a automaty I

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

  Article in Periodical

  Elportál, year: 2006

• Methods for Quantitative Analysis of Probabilistic Pushdown Automata

  KUČERA Antonín

  Article in Periodical

  Electronic Notes in Theoretical Computer Science, year: 2006, volume: 149, edition: 1

• Model Checking Probabilistic Pushdown Automata

  ESPARZA Javier KUČERA Antonín MAYR Richard

  Article in Periodical

  Logical Methods in Computer Science, year: 2006, volume: 2, edition: 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

  Year: 2006, type: