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

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

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

Formal Biochemical Space with Semantics in Kappa and BNGL

DĚD Tadeáš — ŠAFRÁNEK David TROJÁK Matej — KLEMENT Matej — ŠALAGOVIČ Jakub BRIM Luboš

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

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

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

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

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

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

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

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