Výpis publikací

2008

1. From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks

   BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN a David ŠAFRÁNEK. From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks. In Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation. Budapest: Ivana Cerna and Gerald Luettgen, 2008, s. 83-96, 15 s. ISSN 1571-0661.

   Název česky: Od jednoduchých regulačních motivů k ověřování komplexních transkripčních sítí
   RIV/00216224:14330/08:00024175 Stať ve sborníku. Informatika. angličtina. Česká republika.
   Barnat, Jiří (203 Česká republika) -- Brim, Luboš (203 Česká republika) -- Černá, Ivana (203 Česká republika) -- Dražan, Sven (203 Česká republika) -- Šafránek, David (203 Česká republika, garant)
   Klíčová slova anglicky: transcriptional networks; model checking; B. subtilis
   Druh sborníku: předkonferenční sborník
   Mezinárodní význam: ano
   Recenzováno: ano
   Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 31. 3. 2010 15:34.

   Podrobněji: https://is.muni.cz/publication/763157/cs