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

2005

• Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances

  ESPARZA Javier KUČERA Antonín MAYR Richard

  Článek ve sborníku

  Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), rok: 2005

• The stuttering principle revisited

  KUČERA Antonín STREJČEK Jan

  Článek v odborném periodiku

  Acta informatica, rok: 2005, ročník: 41, vydání: 7/8

2004

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

  KUČERA Antonín SCHNOEBELEN Philippe

  Článek ve sborníku

  Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), rok: 2004

• A Generic Framework for Checking Semantic Equivalences between Pushdown Automata and Finite-State Automata

  KUČERA Antonín MAYR Richard

  Článek ve sborníku

  Exploring New Frontiers of Theoretical Informatics : IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), rok: 2004

• Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems

  BRÁZDIL Tomáš KUČERA Antonín STRAŽOVSKÝ Oldřich

  Článek ve sborníku

  Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), rok: 2004

• DP lower bounds for equivalence-checking and model-checking of one-counter automata

  JANČAR Petr KUČERA Antonín MOLLER Faron SAWA Zdeněk

  Článek v odborném periodiku

  Information and Computation, rok: 2004, ročník: 188, vydání: 1

• Model Checking Probabilistic Pushdown Automata

  ESPARZA Javier KUČERA Antonín MAYR Richard

  Článek ve sborníku

  Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004), rok: 2004

2003

• A Logical Viewpoint on Process-algebraic Quotients

  KUČERA Antonín ESPARZA Javier

  Článek v odborném periodiku

  Journal of logic and computation, rok: 2003, ročník: 13, vydání: 6

• Deciding Bisimilarity between BPA and BPP Processes

  JANČAR Petr KUČERA Antonín MOLLER Faron

  Článek ve sborníku

  Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003), rok: 2003

• Model checking LTL with regular valuations for pushdown systems

  ESPARZA Javier KUČERA Antonín SCHWOON Stefan

  Článek v odborném periodiku

  Information and Computation, rok: 2003, ročník: 186, vydání: 2