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


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

Zobrazit na mapě

Telefon: 549 49 4476
E-mail: xsafran1@fi.muni.cz
Publikace

2016

A Model Checking Approach to Discrete Bifurcation Analysis

ŠAFRÁNEK DavidBRIM LubošBENEŠ NikolaDEMKO MartinPASTVA Samuel

A Model Checking Approach to Dynamical Systems Analysis

BRIM LubošŠAFRÁNEK DavidBENEŠ NikolaDEMKO MartinPASTVA SamuelHAJNAL Matej

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

BRIM LubošŠAFRÁNEK DavidDEMKO MartinPASTVA SamuelBENEŠ Nikola

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

BRIM LubošŠAFRÁNEK DavidDEMKO MartinBENEŠ NikolaPASTVA Samuel

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

BRIM LubošŠAFRÁNEK DavidKREJČÍ PavelDEMKO MartinPASTVA SamuelHAJNAL 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Ý JanBRIM Luboš

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

BRIM LubošDEMKO MartinPASTVA 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

E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria

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

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