Publication Records

BENEŠ, Nikola, Luboš BRIM, Jana DRAŽANOVÁ, Samuel PASTVA and David ŠAFRÁNEK. Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT. In Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2019, p. 99-108. ISBN 978-1-4503-6282-5. Available from: https://dx.doi.org/10.1145/3302504.3311793.

CASAGRANDE, Alberto, Tommaso DREOSSI, Jana FABRIKOVÁ and Carla PIAZZA. Epsilon-Semantics computations on biological systems. Information and computation. Academic Press, 2014, vol. 236, No 1, p. 35-51. ISSN 0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2014.01.011.

BRIM, Luboš, Tomáš VEJPUSTEK, David ŠAFRÁNEK and Jana FABRIKOVÁ. Robustness Analysis for Value-Freezing Signal Temporal Logic. Online. In Proceedings HSB 2013. Neuveden: Neuveden, 2013, p. 20-36. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.125.

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.

COLLINS, Pieter, Luc HABETS, Jan VAN SCHUPPEN, Ivana ČERNÁ, Jana FABRIKOVÁ and David ŠAFRÁNEK. Abstraction of Biochemical Reaction Systems on Polytopes. In Proceedings of the 18th IFAC World Congress. Milano: IFAC, 2011, p. 14869-14875. ISBN 978-1-1234-7890-2.

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.