Publication Records

ČEŠKA, Milan, David ŠAFRÁNEK, Sven DRAŽAN and Luboš BRIM. Robustness Analysis of Stochastic Biochemical Systems. Plos One. SAN FRANCISCO: PUBLIC LIBRARY SCIENCE, 2014, vol. 9, No 4, p. 1-23. ISSN 1932-6203. Available from: https://dx.doi.org/10.1371/journal.pone.0094553.

BRIM, Luboš, Milan ČEŠKA, Sven DRAŽAN and David ŠAFRÁNEK. Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. In 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Berlin: Springer Berlin Heidelberg, 2013, p. 107-123. ISBN 978-3-642-39798-1. Available from: https://dx.doi.org/10.1007/978-3-642-39799-8_7.

BRIM, Luboš, Milan ČEŠKA, Sven DRAŽAN and David ŠAFRÁNEK. Robustness Analysis of Stochastic Systems. Online. In Electronic Proceedings in Theoretical Computer Science, Volume 116. Turku: Open Publishing Association, 2013, p. 33-34. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.116.5.

BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN and David ŠAFRÁNEK. On Approximative Reachability Analysis of Biochemical Dynamical Systems. In Corrado Priami et al. Transactions on Computational Systems Biology XIV. Heidelberg: Springer, 2012, p. 77-101. ISBN 978-3-642-35523-3. Available from: https://dx.doi.org/10.1007/978-3-642-35524-0_4.

BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN and David ŠAFRÁNEK. Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. Electronic Proceedings in Theoretical Computer Science. 2011, Neuveden, No 67, p. 97-112, 15 pp. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.67.9.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ, Jan LÁNÍK, David ŠAFRÁNEK and Ma HONGWU. BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proceedings of 2nd International Workshop on Computational Models for Cell Processes. Neuveden: EPTCS, 2009, p. 31-45. ISSN 2075-2180.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ, Jan LÁNÍK and David ŠAFRÁNEK. BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models. In Computational Mehotds in Systems Biology: Abstract of the Posters. Pisa: University of Pisa, 2009, p. 1-5, 4 pp.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ and David ŠAFRÁNEK. Computational Analysis of Large-Scale Multi-Affine ODE Models. In International Workshop on High Performance Computational Systems Biology. Los Alamitos (California): IEEE Computer Society, 2009, p. 81-90. ISBN 978-0-7695-3809-9.

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.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN and 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, p. 83-96, 15 pp. ISSN 1571-0661.

BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN and David ŠAFRÁNEK. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE. In Electronic Notes in Theoretical Computer Science. Vol. 194/3. Elsevier: Elsevier Science, 2008, p. 35-50, 15 pp. ISSN 1571-0661.