×
Compute Distance To:
Author ID: pastva.samuel Recent zbMATH articles by "Pastva, Samuel"
Published as: Pastva, Samuel
Documents Indexed: 14 Publications since 2015
Co-Authors: 20 Co-Authors with 14 Joint Publications
343 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 19 times in 10 Documents Cited by Year
AEON: attractor bifurcation analysis of parametrised Boolean networks. Zbl 1478.68085
Beneš, Nikola; Brim, Luboš; Kadlecaj, Jakub; Pastva, Samuel; Šafránek, David
4
2020
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
3
2019
A model checking approach to discrete bifurcation analysis. Zbl 1427.68159
Beneš, Nikola; Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
3
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
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
3
2017
Symbolic coloured SCC decomposition. Zbl 1474.68210
Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David
1
2021
Extended dependency graphs and efficient distributed fixed-point computation. Zbl 1393.68098
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2017
A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2018
Symbolic coloured SCC decomposition. Zbl 1474.68210
Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David
1
2021
AEON: attractor bifurcation analysis of parametrised Boolean networks. Zbl 1478.68085
Beneš, Nikola; Brim, Luboš; Kadlecaj, Jakub; Pastva, Samuel; Šafránek, David
4
2020
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
3
2019
A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jensen, Peter G.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2018
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
3
2017
Extended dependency graphs and efficient distributed fixed-point computation. Zbl 1393.68098
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří
1
2017
A model checking approach to discrete bifurcation analysis. Zbl 1427.68159
Beneš, Nikola; Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
3
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

Citations by Year