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


Kancelář: A408
Botanická 554/68a
602 00 Brno

Zobrazit na mapě

Telefon: 549 49 4476
E-mail:
Publikace

2016

A Model Checking Approach to Discrete Bifurcation Analysis

ŠAFRÁNEK David BRIM Luboš BENEŠ Nikola DEMKO Martin PASTVA Samuel

A Model Checking Approach to Dynamical Systems Analysis

BRIM Luboš ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria

TROJÁK Matej ŠAFRÁNEK David HRABEC Jakub ŠALAGOVIČ Jakub ROMANOVSKÁ Františka ČERVENÝ Jan

High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study

BRIM Luboš ŠAFRÁNEK David DEMKO Martin PASTVA Samuel BENEŠ Nikola

Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems

BRIM Luboš ŠAFRÁNEK David DEMKO Martin BENEŠ Nikola PASTVA Samuel

Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways

BRIM Luboš ŠAFRÁNEK David KREJČÍ Pavel DEMKO Martin PASTVA Samuel HAJNAL Matej

2015

Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes

TROJÁK Matej — DĚD Tadeáš — ŠAFRÁNEK David — KLEMENT Matej — ČERVENÝ Jan BRIM Luboš

Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology

BRIM Luboš DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

Compact Representation of Photosynthesis Dynamics by Rule-based Models

BRIM Luboš — NIŽNAN Juraj — ŠAFRÁNEK David

CyanoNetwork workshop - Cyanobacterium in silico 2015

ČERVENÝ Jan — MUELLER Stefan — ŠAFRÁNEK David

Předchozí 1 2 3 4 5 6 7 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info