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

• Verifying VHDL Designs with Multiple Clocks in SMV

  SMRČKA Aleš ŘEHÁK Vojtěch VOJNAR Tomáš ŠAFRÁNEK David MATOUŠEK Petr ŘEHÁK Zdeněk

  Článek ve sborníku

  Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, rok: 2007