doc. RNDr. David Šafránek, Ph.D.

2010

• E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis

  KLEMENT Matej ŠAFRÁNEK David ČERVENÝ Jan BRIM Luboš NEDBAL Ladislav

  Software

  Rok: 2010

• High-performance analysis of biological systems dynamics with the DiVinE model checker

  BARNAT Jiří BRIM Luboš ŠAFRÁNEK David

  Článek v odborném periodiku

  Briefings in Bioinformatics, rok: 2010, ročník: 11, vydání: 3

• Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

  BARNAT Jiří BRIM Luboš ŠAFRÁNEK David VEJNÁR Martin

  Článek ve sborníku

  Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, rok: 2010

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

2008

• From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks

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

  Článek ve sborníku

  Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, rok: 2008

• Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

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

  Článek ve sborníku

  Electronic Notes in Theoretical Computer Science, rok: 2008

2007

• SystemVerilog verification of VHDL design

  ŠAFRÁNEK David KOBIERSKÝ Petr PUŠ Viktor MÁLEK Tom

  Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)

  Rok: 2007, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)