2006

• Computing by commuting

  KARHUMÄKI Juhani KUNC Michal OKHOTIN Alexander

  Článek v odborném periodiku

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

• Computing the Tutte Polynomial on Graphs of Bounded Clique-Width

  GIMENEZ Omer HLINĚNÝ Petr NOY Marc

  Článek v odborném periodiku

  SIAM Journal on Discrete Mathematics, rok: 2006, ročník: 20, vydání: 4

• Distributed breadth-first search LTL model checking

  BARNAT Jiří ČERNÁ Ivana

  Článek v odborném periodiku

  Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2

• Distributed Qualitative LTL Model Checking of Markov Decision Processes

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

  Článek ve sborníku

  Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2006

• Distributed Verification: Exploring the Power of Raw Computing Power

  BRIM Luboš

  Článek ve sborníku

  5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), rok: 2006

• DiVinE -- A Tool for Distributed Verification

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ROČKAI Petr ŠIMEČEK Pavel

  Článek ve sborníku

  Computer Aided Verification, rok: 2006

• Equivalence-free exhaustive generation of matroid representations

  HLINĚNÝ Petr

  Článek v odborném periodiku

  Discrete Applied Mathematics, rok: 2006, ročník: 154, vydání: 8

• 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

• Experimental Comparison of Algorithms Checking Proviso for Partial Order Reduction

  MORAVEC Pavel

  Článek ve sborníku

  2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), rok: 2006

• Factorization systems and classification problems

  ROSICKÝ J.

  Článek ve sborníku

  Applied and Computational Category Theory ACCAT 2006, rok: 2006