2007

• Relaxed Cycle Condition Improves Partial Order Reduction

  MORAVEC Pavel ŠIMŠA Jiří

  Článek ve sborníku

  3rd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2007), rok: 2007

• Remarks on multiple entry deterministic finite automata

  POLÁK Libor

  Článek v odborném periodiku

  Journal of Automata, Languages and Combinatorics, rok: 2007, ročník: 12, vydání: 1/2

• Scalable Multi-core LTL Model-Checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Model Checking Software, rok: 2007

• Some Hard Problems on Matroid Spikes

  HLINĚNÝ Petr

  Článek v odborném periodiku

  Theory of Computing Systems, rok: 2007, ročník: 41, vydání: 1

• Stochastic Game Logic

  BAIER Christel BRÁZDIL Tomáš GRÖßER Marcus KUČERA Antonín

  Článek ve sborníku

  Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), rok: 2007

• Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

  BRÁZDIL Tomáš FOREJT Vojtěch

  Článek ve sborníku

  Proceedings of 18th International Conference on Concurrency Theory (CONCUR 2007), rok: 2007

• The crossing number of a projective graph is quadratic in the face-width

  HLINĚNÝ Petr GITLER Isidoro SALAZAR Gelasio LEANOS Jesus

  Konferenční abstrakty

  Rok: 2007, druh: Konferenční abstrakty

• The crossing number of a projective graph is quadratic in the face--width (Extended abstract)

  HLINĚNÝ Petr SALAZAR Gelasio GITLER Isidoro LEANOS Jesus

  Článek v odborném periodiku

  Electronic Notes in Discrete Mathematics, rok: 2007, ročník: 29, vydání: C

• The Goldblatt-Thomason theorem for coalgebras

  KURZ A. ROSICKÝ J.

  Článek ve sborníku

  CALCO 2007, rok: 2007

• Tutorial: Parallel Model Checking

  BRIM Luboš BARNAT Jiří

  Článek ve sborníku

  Model Checking Software, rok: 2007