2007

• Relaxed Cycle Condition Improves Partial Order Reduction

  MORAVEC Pavel ŠIMŠA Jiří

  Article in Proceedings

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

• Remarks on multiple entry deterministic finite automata

  POLÁK Libor

  Article in Periodical

  Journal of Automata, Languages and Combinatorics, year: 2007, volume: 12, edition: 1/2

• Scalable Multi-core LTL Model-Checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Article in Proceedings

  Model Checking Software, year: 2007

• Some Hard Problems on Matroid Spikes

  HLINĚNÝ Petr

  Article in Periodical

  Theory of Computing Systems, year: 2007, volume: 41, edition: 1

• Stochastic Game Logic

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

  Article in Proceedings

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

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

  BRÁZDIL Tomáš FOREJT Vojtěch

  Article in Proceedings

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

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

  HLINĚNÝ Petr GITLER Isidoro SALAZAR Gelasio LEANOS Jesus

  Conference abstract

  Year: 2007, type: Conference abstract

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

  HLINĚNÝ Petr SALAZAR Gelasio GITLER Isidoro LEANOS Jesus

  Article in Periodical

  Electronic Notes in Discrete Mathematics, year: 2007, volume: 29, edition: C

• The Goldblatt-Thomason theorem for coalgebras

  KURZ A. ROSICKÝ J.

  Article in Proceedings

  CALCO 2007, year: 2007

• Tutorial: Parallel Model Checking

  BRIM Luboš BARNAT Jiří

  Article in Proceedings

  Model Checking Software, year: 2007