David Šafránek

Available identifiers

zbMath Open safranek.davidMaRDI QIDQ832200

List of research outcomes

Publication	Date of Publication	Type
Phenotype control of partially specified Boolean networks	2024-02-28	Paper
Digital bifurcation analysis of TCP dynamics	2023-11-24	Paper
eBCSgen 2.0: modelling and analysis of regulated rule-based systems	2023-01-18	Paper
Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications	2022-12-22	Paper
eBCSgen: a software tool for biochemical space language	2022-12-22	Paper
https://portal.mardi4nfdi.de/entity/Q5094123	2022-08-02	Paper
Aeon 2021: bifurcation decision trees in Boolean networks	2022-05-25	Paper
Unfolding of parametric Boolean networks	2022-04-25	Paper
Computing bottom SCCs symbolically using transition guided reduction	2022-03-25	Paper
Symbolic coloured SCC decomposition	2021-10-18	Paper
Executable biochemical space for specification and analysis of biochemical systems	2021-02-22	Paper
AEON: attractor bifurcation analysis of parametrised Boolean networks	2021-02-04	Paper
Digital Bifurcation Analysis of Internet Congestion Control Protocols	2020-12-03	Paper
A model checking approach to discrete bifurcation analysis	2020-01-03	Paper
Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways	2019-12-04	Paper
Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT	2019-10-22	Paper
Detecting Attractors in Biological Models with Uncertain Parameters	2019-07-25	Paper
Parameter space abstraction and unfolding semantics of discrete regulatory networks	2019-06-18	Paper
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems	2019-05-21	Paper
Formal biochemical space with semantics in Kappa and BNGL	2018-04-23	Paper
Compact representation of photosynthesis dynamics by rule-based models	2016-12-16	Paper
STL*: extending signal temporal logic with signal-value freezing operator	2014-06-06	Paper
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE	2014-01-17	Paper
Model Checking of Biological Systems	2013-06-28	Paper
On Approximative Reachability Analysis of Biochemical Dynamical Systems	2013-04-03	Paper
On algorithmic analysis of transcriptional regulation by LTL model checking	2009-08-07	Paper
SOFSEM 2005: Theory and Practice of Computer Science	2005-12-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: David Šafránek