Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2009

    1. BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ a David ŠAFRÁNEK. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. roč. 2009, č. 410, s. 3128-3148, 20 s. ISSN 0304-3975. 2009.
      URL
      Název česky: Algoritmická analýza transkripční regulace s využitím metody ověřování modelů
      RIV/00216224:14330/09:00029225 Článek v odborném periodiku. Informatika. angličtina. Česká republika.
      Barnat, Jiří (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Dražan, Sven (203 Česká republika, domácí) -- Fabriková, Jana (203 Česká republika, domácí) -- Šafránek, David (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Genetic regulatory network; Piecewise-linear approximation; Model checking
      Mezinárodní význam: ano
      Recenzováno: ano

      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 2. 2. 2011 09:33.
Zobrazeno: 29. 3. 2024 11:00