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

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 11 times in 7 Documents Cited by Year
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
2
2017
A model checking approach to discrete bifurcation analysis. Zbl 1427.68159
Beneš, Nikola; Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David
2
2016
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
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
AEON: attractor bifurcation analysis of parametrised Boolean networks. Zbl 1478.68085
Beneš, Nikola; Brim, Luboš; Kadlecaj, Jakub; Pastva, Samuel; Šafránek, David
1
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
1
2019
AEON: attractor bifurcation analysis of parametrised Boolean networks. Zbl 1478.68085
Beneš, Nikola; Brim, Luboš; Kadlecaj, Jakub; Pastva, Samuel; Šafránek, David
1
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
1
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
2
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
2
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