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

Associate professor, Department of Machine Learning and Data Processing

Office: A411
Botanická 554/68a
602 00 Brno

Show on the map

Phone:	+420 549 49 4476
E‑mail:

social and academic networks:

Basic information

Type

Total number of publications: 116

2015

Compact Representation of Photosynthesis Dynamics by Rule-based Models

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

Article in Proceedings

5th International Workshop on Static Analysis and Systems Biology (SASB 2014), year: 2015
CyanoNetwork workshop - Cyanobacterium in silico 2015

ČERVENÝ Jan MUELLER Stefan ŠAFRÁNEK David

Workshop

Year: 2015, type: Workshop
Fourth International Workshop on Hybrid Systems Biology

ABATE Alessandro ŠAFRÁNEK David

Workshop

Year: 2015, type: Workshop
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems

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

Article in Proceedings

Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers, year: 2015
Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

ALESSANDRO Abate ŠAFRÁNEK David

Year: 2015, type:
Parameter Synthesis by Model Checking in Formal Biochemical Space

ŠAFRÁNEK David

Year: 2015, type:
Parameter Synthesis by Parallel Coloured CTL Model Checking

BRIM Luboš ČEŠKA Milan DEMKO Martin PASTVA Samuel ŠAFRÁNEK David

Article in Proceedings

Computational Methods in Systems Biology, year: 2015

2014

Biochemical Space: A Framework for Systemic Annotation of Biological Models

KLEMENT Matej DĚD Tadeáš ŠAFRÁNEK David ČERVENÝ Jan MUELLER Stefan STEUER Ralf

Article in Proceedings

Proceedings of the 5th International Workshop on Interactions between Computer Science and Biology (CS2Bio’14), year: 2014
From Formal Methods to Systems Biology

ŠAFRÁNEK David

Year: 2014, type:
Model Checking in Systems Biology

ŠAFRÁNEK David

Year: 2014, type: