2005

• Introductory paper: Parallel and Distributed Model Checking

  BRIM Luboš GRUMBERG Orna

  Článek v odborném periodiku

  International Journal on Software Tools for Technology Transfer (STTT), rok: 2005, ročník: 7, vydání: 1

• MACEK: A software package for real structural computations with representable matroids

  HLINĚNÝ Petr

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2005, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

• On Counting the Number of Consistent Genotype Assignments for Pedigrees

  SRBA Jiří

  Článek ve sborníku

  Proceedings of 25th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), rok: 2005

• On Sampled Semantics of Timed Systems

  PELÁNEK Radek KRČÁL Pavel

  Článek ve sborníku

  Foundations of Software Technology and Theoretical Computer Science, rok: 2005

• On the Controller Synthesis for Finite-State Markov Decision Processes

  KUČERA Antonín STRAŽOVSKÝ Oldřich

  Článek ve sborníku

  25th International Conference on Foundations of Software Technology and Theoretical Computer Science, rok: 2005

• On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

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

  Článek ve sborníku

  Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005), rok: 2005

• Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)

  KUČERA Antonín GRUSKA Jozef ČEŠKA Milan

  Odborná kniha

  Rok: 2005, počet stran: 224 s.

• 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

• Reachability Analysis of Multithreaded Software with Asynchronous Communication

  BOUAJJANI Ahmed ESPARZA Javier SCHWOON Stefan STREJČEK Jan

  Článek ve sborníku

  FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, rok: 2005

• Reachability of Hennessy - Milner properties for weakly extended PRS

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Článek ve sborníku

  FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, rok: 2005