Publication Records

2009

1. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking

   BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ and David ŠAFRÁNEK. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. 2009, vol. 2009, No 410, p. 3128-3148, 20 pp. ISSN 0304-3975.

   URL

   Name in Czech: Algoritmická analýza transkripční regulace s využitím metody ověřování modelů
   RIV/00216224:14330/09:00029225 Article in a journal. Informatics. English. Czech Republic.
   Barnat, Jiří (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Dražan, Sven (203 Czech Republic, belonging to the institution) -- Fabriková, Jana (203 Czech Republic, belonging to the institution) -- Šafránek, David (203 Czech Republic, guarantor, belonging to the institution)
   Keywords in English: Genetic regulatory network; Piecewise-linear approximation; Model checking
   International impact: yes
   Reviewed: yes
   Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 2/2/2011 09:33.

   More: https://is.muni.cz/publication/824056/en