×

zbMATH — the first resource for mathematics

Pastva, Samuel

Compute Distance To:
Author ID: pastva.samuel Recent zbMATH articles by "Pastva, Samuel"
Published as: Pastva, Samuel
Documents Indexed: 10 Publications since 2015

Publications by Year

Citations contained in zbMATH Open

4 Publications have been cited 6 times in 4 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
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
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
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
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
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