Filtrování

    2007

    1. Clique-Width and Parity Games
      OBDRŽÁLEK, Jan. Clique-Width and Parity Games. In Computer Science Logic 2007, proceedings. Berlin: Springer-Verlag, 2007, s. 54-68. ISBN 978-3-540-74914-1.
      Název česky: Kliková šířka a paritní hry
      RIV/00216224:14330/07:00022579 Stať ve sborníku. Informatika. angličtina. Německo.
      Obdržálek, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: parity games; mu-calculus; clique-width
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 24. 3. 2010 15:19.
      Podrobněji: https://is.muni.cz/publication/725120/cs

    2003

    1. Fast Mu-calculus Model Checking when Tree-width is Bounded
      OBDRŽÁLEK, Jan. Fast Mu-calculus Model Checking when Tree-width is Bounded. In CAV 2003. Berlin Heidelberg: Springer-Verlag, 2003, s. 80-92. ISBN 3-540-40524-0.
      RIV/00216224:14330/03:00008708 Stať ve sborníku. Informatika. angličtina. Německo.
      Obdržálek, Jan (203 Česká republika, garant)
      Klíčová slova anglicky: parity games; mu-calculus; model-checking; tree-width
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 26. 5. 2004 11:18.
      Podrobněji: https://is.muni.cz/publication/555218/cs