The following pages link to David Šafránek (Q832200):
Displaying 26 items.
- Computing bottom SCCs symbolically using transition guided reduction (Q832201) (← links)
- (Q1744362) (redirect page) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- Parallel parameter synthesis for multi-affine hybrid systems from hybrid CTL specifications (Q2110677) (← links)
- eBCSgen: a software tool for biochemical space language (Q2110688) (← links)
- eBCSgen 2.0: modelling and analysis of regulated rule-based systems (Q2112172) (← links)
- Unfolding of parametric Boolean networks (Q2130572) (← links)
- Aeon 2021: bifurcation decision trees in Boolean networks (Q2142120) (← links)
- AEON: attractor bifurcation analysis of parametrised Boolean networks (Q2225126) (← links)
- Executable biochemical space for specification and analysis of biochemical systems (Q2229140) (← links)
- Symbolic coloured SCC decomposition (Q2233494) (← links)
- On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449) (← links)
- A model checking approach to discrete bifurcation analysis (Q2281628) (← links)
- Parameter space abstraction and unfolding semantics of discrete regulatory networks (Q2422012) (← links)
- STL*: extending signal temporal logic with signal-value freezing operator (Q2453214) (← links)
- Compact representation of photosynthesis dynamics by rule-based models (Q2520664) (← links)
- Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE (Q2870296) (← links)
- On Approximative Reachability Analysis of Biochemical Dynamical Systems (Q4912379) (← links)
- (Q5094123) (← links)
- Digital Bifurcation Analysis of Internet Congestion Control Protocols (Q5138291) (← links)
- Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways (Q5204371) (← links)
- Detecting Attractors in Biological Models with Uncertain Parameters (Q5227313) (← links)
- Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT (Q5239225) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems (Q5376901) (← links)
- SOFSEM 2005: Theory and Practice of Computer Science (Q5711547) (← links)
