appearance

MU › Research and development › Overview of publishing activities › Publication details

Skip navigation

Skip the Organizational structure panel
Organizational structure
On selecting a constituent part of MU the "Overview of publishing activities" page will be displayed with information relevant to the selected constituent part. The "Overview of publishing activities" page is not available for non-activated items.

Masaryk University
- Faculties
- Law
- Medicine
- Science
- Arts
- Education
- Economics
- Informatics
- Social Studies
- Sports Studies
- Institutes
- Computer Science
- CEITEC MU
- Politica
- Specialized Units
- Hostels & Canteens
- University Press
- Telč Centre
- UCB Management
- Rector`s Office
- Rectorate
- Other Units
- Archive
- Language Centre
- International Studies
- Disabled Students
- Technology Transfer
- Biostatistics
- Mendel Museum
- CERIT
- Civic Education
- Project Team CEITEC

Masaryk University

Publication details

<< back

Parallel Analysis of Genetic Regulatory Networks

Basic information
Original title:	Parallel Analysis of Genetic Regulatory Networks
Authors:	Jiří Barnat, Luboš Brim, Ivana Černá, Sven Dražan, David Šafránek

Further information
Citation:	BARNAT, Jiří - BRIM, Luboš - ČERNÁ, Ivana - DRAŽAN, Sven - ŠAFRÁNEK, David. Parallel Analysis of Genetic Regulatory Networks. Grenoble : Verimag, 2007. Towards Systems Biology Workshop 2007.
Original language:	English
Field:	Informatika
WWW:	http://www.fi.muni.cz/paradise/ecmoan/presentations/poster_TSB07.pdf
Type:	Conference abstract
Keywords:	parallel model checking; genetic regulatory networks; piece-wise linear approximation

The use of model checking for the analysis of biological networks has attracted much attention recently. However, one of the practical limitations is the size of the model. The primary aim of this work is to demonstrate that such a limitation can be overcome by employing parallel LTL model checking.

Related projects:

top