Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2019

  1. Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT
    BENEŠ, Nikola, Luboš BRIM, Jana DRAŽANOVÁ, Samuel PASTVA a 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. s. 99-108. ISBN 978-1-4503-6282-5. doi:10.1145/3302504.3311793.
    Podrobněji: https://is.muni.cz/publication/1521178/cs

    2. 2014

  2. Epsilon-Semantics computations on biological systems
    CASAGRANDE, Alberto, Tommaso DREOSSI, Jana FABRIKOVÁ a Carla PIAZZA. Epsilon-Semantics computations on biological systems. Information and computation. Academic Press, 2014, roč. 236, č. 1, s. 35-51. ISSN 0890-5401. doi:10.1016/j.ic.2014.01.011.
    Podrobněji: https://is.muni.cz/publication/1179484/cs

    3. 2013

  3. Robustness Analysis for Value-Freezing Signal Temporal Logic
    BRIM, Luboš, Tomáš VEJPUSTEK, David ŠAFRÁNEK a Jana FABRIKOVÁ. Robustness Analysis for Value-Freezing Signal Temporal Logic. In Proceedings HSB 2013. Neuveden: Neuveden, 2013. s. 20-36. ISSN 2075-2180. doi:10.4204/EPTCS.125.
    Podrobněji: https://is.muni.cz/publication/1132231/cs

    4. 2012

  4. On Approximative Reachability Analysis of Biochemical Dynamical Systems
    BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN a 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. s. 77-101. ISBN 978-3-642-35523-3. doi:10.1007/978-3-642-35524-0_4.
    Podrobněji: https://is.muni.cz/publication/1076230/cs

    5. 2011

  5. Abstraction of Biochemical Reaction Systems on Polytopes
    COLLINS, Pieter, Luc HABETS, Jan VAN SCHUPPEN, Ivana ČERNÁ, Jana FABRIKOVÁ a David ŠAFRÁNEK. Abstraction of Biochemical Reaction Systems on Polytopes. In Proceedings of the 18th IFAC World Congress. Milano: IFAC, 2011. s. 14869-14875. ISBN 978-1-1234-7890-2.
    Podrobněji: https://is.muni.cz/publication/933271/cs
  6. Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
    BRIM, Luboš, Jana FABRIKOVÁ, Sven DRAŽAN a David ŠAFRÁNEK. Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation. Electronic Proceedings in Theoretical Computer Science. 2011, Neuveden, č. 67, s. 97-112, 15 s. ISSN 2075-2180. doi:10.4204/EPTCS.67.9.
    Podrobněji: https://is.muni.cz/publication/947015/cs

    7. 2009

  7. BioDiVinE: A Framework for Parallel Analysis of Biological Models
    BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ, Jan LÁNÍK, David ŠAFRÁNEK a 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. s. 31-45. ISSN 2075-2180.
    Podrobněji: https://is.muni.cz/publication/850846/cs
  8. BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models
    BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ, Jan LÁNÍK a 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. s. 1-5, 4 s.
    Podrobněji: https://is.muni.cz/publication/843066/cs
  9. Computational Analysis of Large-Scale Multi-Affine ODE Models
    BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ a 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. s. 81-90. ISBN 978-0-7695-3809-9.
    Podrobněji: https://is.muni.cz/publication/850840/cs
  10. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking
    BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ a David ŠAFRÁNEK. On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking. Theoretical Computer Science. 2009, roč. 2009, č. 410, s. 3128-3148, 20 s. ISSN 0304-3975.
    Podrobněji: https://is.muni.cz/publication/824056/cs
Zobrazit podrobně
Zobrazeno: 28. 3. 2023 07:02