D. Šafránek

Available identifiers

zbMath Open safranek.davidMaRDI QIDQ832200

List of research outcomes

Publication	Date of Publication	Type
Accelerating parameter synthesis using semi-algebraic constraints	2024-04-19	Paper
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
On Robustness Analysis of Stochastic Biochemical Systems by Probabilistic Model Checking	N/A	Paper

Research outcomes over time

This page was built for person: D. Šafránek