David Šafránek - Publications, H-index & Citations

David Šafránek

masaryk university

15H指数

139论文数

800被引数

收录论文 7

发表时间

Control-Guided Refinement of Partially Specified Boolean Networks: Applications to RTK Signalling 部分指定布尔网络的控制引导式细化：在RTK信号通路中的应用

Bioinformatics

IF5.4

2026-05-24

OAAI

Eva Šmijáková; Luboš Brim; Samuel Pastva; David Šafránek; null

Sketchbook: logical model inference from Boolean network sketches 草图簿：从布尔网络草图进行逻辑模型推理

Bioinformatics Advances

IF2.8

2026-01-01

PREAI

Huvar, Ondrej; Benes, Nikola; Brim, Lubos; Pastva, Samuel; Safranek, David

AEON 2025: Robust Control of Partially-Specified Boolean Networks AEON 2025: 不完全指定布尔网络的鲁棒控制

COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY, CMSB 2025

IF0

2026-01-01

PREAI

Vesely, Vojtech; Smijakova, Eva; Pastva, Samuel; Benes, Nikola; Safranek, David

Polyhydroxyalkanoates synthesis by halophiles and thermophiles: towards sustainable production of microbial bioplastics

BIOTECHNOLOGY ADVANCES

IF12.5

2022-09-01

PREAI

Obruca, Stanislav; Dvorak, Pavel; Sedlacek, Petr; Koller, Martin; Sedlar, Karel; Pernicova, Iva; Safranek, David

Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway

MICROORGANISMS

IF4.2

2019-11-11

OAAI

Demko, Martin; Chrast, Lukas; Dvorak, Pavel; Damborsky, Jiri; Safranek, David

On Parameter Synthesis by Parallel Model Checking

IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS

IF3.4

2012-05-01

PREAI

Barnat, Jiri; Brim, Lubos; Krejci, Adam; Streck, Adam; Safranek, David; Vejnar, Martin; Vejpustek, Tomas

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

BRIEFINGS IN BIOINFORMATICS

IF7.7

2010-04-28

OAAI

Barnat, Jiri; Brim, Lubos; Safranek, Dravid

研究方向