RNDr. Mgr. Jana Dražanová, Ph.D.

2019

• Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT

  BENEŠ Nikola BRIM Luboš DRAŽANOVÁ Jana PASTVA Samuel ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, rok: 2019

2014

• Epsilon-Semantics computations on biological systems

  CASAGRANDE Alberto DREOSSI Tommaso FABRIKOVÁ Jana PIAZZA Carla

  Článek v odborném periodiku

  Information and computation, rok: 2014, ročník: 236, vydání: 1, DOI

2013

• Robustness Analysis for Value-Freezing Signal Temporal Logic

  BRIM Luboš VEJPUSTEK Tomáš ŠAFRÁNEK David FABRIKOVÁ Jana

  Článek ve sborníku

  Proceedings HSB 2013, rok: 2013

2012

• On Approximative Reachability Analysis of Biochemical Dynamical Systems

  BRIM Luboš FABRIKOVÁ Jana DRAŽAN Sven ŠAFRÁNEK David

  Článek ve sborníku

  Transactions on Computational Systems Biology XIV, rok: 2012

2011

• Abstraction of Biochemical Reaction Systems on Polytopes

  COLLINS Pieter HABETS Luc VAN SCHUPPEN Jan ČERNÁ Ivana FABRIKOVÁ Jana ŠAFRÁNEK David

  Článek ve sborníku

  Proceedings of the 18th IFAC World Congress, rok: 2011

• Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation

  BRIM Luboš FABRIKOVÁ Jana DRAŽAN Sven ŠAFRÁNEK David

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: Neuveden, vydání: 67, DOI

2009

• BioDiVinE: A Framework for Parallel Analysis of Biological Models

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana LÁNÍK Jan ŠAFRÁNEK David HONGWU Ma

  Článek ve sborníku

  Proceedings of 2nd International Workshop on Computational Models for Cell Processes, rok: 2009

• BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana LÁNÍK Jan ŠAFRÁNEK David

  Článek ve sborníku

  Computational Mehotds in Systems Biology: Abstract of the Posters, rok: 2009

• Computational Analysis of Large-Scale Multi-Affine ODE Models

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana ŠAFRÁNEK David

  Článek ve sborníku

  International Workshop on High Performance Computational Systems Biology, rok: 2009

• On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana ŠAFRÁNEK David

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2009, ročník: 2009, vydání: 410