×

zbMATH — the first resource for mathematics

Šafránek, David

Compute Distance To:
Author ID: safranek.david Recent zbMATH articles by "Šafránek, David"
Published as: Šafránek, David; Šafránek, D.; Şafránek, David
Documents Indexed: 21 Publications since 2005, including 3 Books

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 17 times in 14 Documents Cited by Year
STL*: extending signal temporal logic with signal-value freezing operator. Zbl 1311.68085
Brim, L.; Dluhoš, P.; Šafránek, D.; Vejpustek, T.
3
2014
High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. Zbl 1412.92115
Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
3
2015
Parallel model checking large-scale genetic regulatory networks with DiVinE. Zbl 1279.68194
Barnat, J.; Brim, L.; Černá, I.; Dražan, S.; Šafránek, D.
3
2008
Compact representation of photosynthesis dynamics by rule-based models. Zbl 1352.92095
Brim, L.; Nižnan, J.; Šafránek, D.
2
2015
A model checking approach to discrete bifurcation analysis. Zbl 1427.68159
Beneš, Nikola; Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
1
2016
Parameter space abstraction and unfolding semantics of discrete regulatory networks. Zbl 1423.68313
Kolčák, Juraj; Šafránek, David; Haar, Stefan; Paulevé, Loïc
1
2019
Detecting attractors in biological models with uncertain parameters. Zbl 1416.92068
Barnat, Jiří; Beneš, Nikola; Brim, Luboš; Demko, Martin; Hajnal, Matej; Pastva, Samuel; Šafránek, David
1
2017
Facetal abstraction for non-linear dynamical systems based on \(\delta\)-decidable SMT. Zbl 07120145
Beneš, Nikola; Brim, Luboš; Dražanová, Jana; Pastva, Samuel; Šafránek, David
1
2019
Model checking of biological systems. Zbl 1380.92024
Brim, Luboš; Češka, Milan; Šafránek, David
1
2013
Formal biochemical space with semantics in Kappa and BNGL. Zbl 1401.92076
Děd, T.; Šafránek, D.; Troják, M.; Klement, M.; Šalagovič, J.; Brim, L.
1
2016
Parameter space abstraction and unfolding semantics of discrete regulatory networks. Zbl 1423.68313
Kolčák, Juraj; Šafránek, David; Haar, Stefan; Paulevé, Loïc
1
2019
Facetal abstraction for non-linear dynamical systems based on \(\delta\)-decidable SMT. Zbl 07120145
Beneš, Nikola; Brim, Luboš; Dražanová, Jana; Pastva, Samuel; Šafránek, David
1
2019
Detecting attractors in biological models with uncertain parameters. Zbl 1416.92068
Barnat, Jiří; Beneš, Nikola; Brim, Luboš; Demko, Martin; Hajnal, Matej; Pastva, Samuel; Šafránek, David
1
2017
A model checking approach to discrete bifurcation analysis. Zbl 1427.68159
Beneš, Nikola; Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
1
2016
Formal biochemical space with semantics in Kappa and BNGL. Zbl 1401.92076
Děd, T.; Šafránek, D.; Troják, M.; Klement, M.; Šalagovič, J.; Brim, L.
1
2016
High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. Zbl 1412.92115
Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
3
2015
Compact representation of photosynthesis dynamics by rule-based models. Zbl 1352.92095
Brim, L.; Nižnan, J.; Šafránek, D.
2
2015
STL*: extending signal temporal logic with signal-value freezing operator. Zbl 1311.68085
Brim, L.; Dluhoš, P.; Šafránek, D.; Vejpustek, T.
3
2014
Model checking of biological systems. Zbl 1380.92024
Brim, Luboš; Češka, Milan; Šafránek, David
1
2013
Parallel model checking large-scale genetic regulatory networks with DiVinE. Zbl 1279.68194
Barnat, J.; Brim, L.; Černá, I.; Dražan, S.; Šafránek, D.
3
2008

Citations by Year