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

• DiVinE Library

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMEČEK Pavel CHALOUPKA Jakub

  Software

  Rok: 2006

• Do Gridu snadno a rychle - prostředí VOCE

  KOUŘIL Daniel KMUNÍČEK Jan

  Článek v odborném periodiku

  Zpravodaj ÚVT MU, rok: 2006, ročník: 16, vydání: 3

• Entanglement vs. local operations

  ZIMAN Mário

  Vyžádané přednášky

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

• Entanglement, purity and energy: Two qubits vs Two modes

  MCHUGH Derek ZIMAN Mário BUŽEK Vladimír

  Článek v odborném periodiku

  Physical Review A, rok: 2006, ročník: Vol. 74, vydání: No. 4

• Environmental Modelling with Uncertainty

  HŘEBÍČEK Jiří HEJČ Michal

  Článek ve sborníku

  20th International Conference on Informatics for Environmental Protection. Managing Environmental Knowledge, 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

• Escape-width: Measuring "width" of digraphs

  HLINĚNÝ Petr OBDRŽÁLEK Jan

  Konferenční abstrakty

  Rok: 2006, druh: Konferenční abstrakty