2008

• A convenient category for directed homotopy

  FAJSTRUP L. ROSICKÝ J.

  Článek v odborném periodiku

  Theory and Applications of Categories, rok: 2008, ročník: 21, vydání: 1

• Approaching tree-width of graphs from matroidal perspective

  HLINĚNÝ Petr

  Vyžádané přednášky

  Rok: 2008, druh: Vyžádané přednášky

• Automata Approach to Graphs of Bounded Rank-width

  HLINĚNÝ Petr GANIAN Robert

  Článek ve sborníku

  International Workshop on Combinatorial Algorithms IWOCA 2008, rok: 2008

• Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems

  MORAVCOVÁ VAŘEKOVÁ Pavlína VAŘEKOVÁ Ivana ČERNÁ Ivana

  Článek ve sborníku

  Proceedings of the International Workshop on Formal Aspects of Component Software (FACS'08), rok: 2008

• Can Flash Memory Help in Model Checking?

  BARNAT Jiří BRIM Luboš EDELKAMP Stefan SULEWSKI Damian ŠIMEČEK Pavel

  Článek ve sborníku

  13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), rok: 2008

• Complementarity of Error Detection Techniques

  PELÁNEK Radek ROSECKÝ Václav MORAVEC Pavel

  Článek ve sborníku

  Parallel and Distributed Methods in verifiCation (PDMC 2008), rok: 2008

• Component-Interaction Automata Approach (CoIn)

  ZIMMEROVÁ Barbora VAŘEKOVÁ Pavlína BENEŠ Nikola ČERNÁ Ivana BRIM Luboš SOCHOR Jiří

  Kapitola v knize

  The Common Component Modeling Example: Comparing Software Component Models, rok: 2008, počet stran: 31 s.

• Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives

  BRÁZDIL Tomáš FOREJT Vojtěch KUČERA Antonín

  Článek ve sborníku

  Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II., rok: 2008

• Deciding probabilistic bisimilarity over infinite-state probabilistic systems

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

  Článek v odborném periodiku

  Acta informatica, rok: 2008, ročník: 45, vydání: 2

• Discounted Properties of Probabilistic Pushdown Automata

  BRÁZDIL Tomáš BROŽEK Václav HOLEČEK Jan KUČERA Antonín

  Článek ve sborníku

  Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, rok: 2008