Edit Profile (opens in new tab) Pastva, Samuel Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 0 single-authored 8 Brim, Luboš 8 Šafránek, David 6 Beneš, Nikola 4 Demko, Martin 3 Hajnal, Matej 2 Dalsgaard, Andreas Engelbredt 2 Enevoldsen, Søren 2 Fogh, Peter 2 Jensen, Lasse S. 2 Jepsen, Tobias S. 2 Kaufmann, Isabella 2 Larsen, Kim Guldstrand 2 Nielsen, Søren M. 2 Olesen, Mads Christian 2 Srba, Jiří 1 Barnat, Jiří 1 Dražanová, Jana 1 Jensen, Peter Gjøl 1 Kadlecaj, Jakub 1 Krejčí, Pavel Serials 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Fundamenta Informaticae all top 5 Fields 8 Computer science (68-XX) 6 Biology and other natural sciences (92-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Combinatorics (05-XX) 2 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Ordinary differential equations (34-XX) Publications by Year all cited Publications top 5 cited Publications 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.92115Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David 3 2015 Detecting attractors in biological models with uncertain parameters. Zbl 1416.92068Barnat, 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.68159Beneš, Nikola; Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David 2 2016 A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070Dalsgaard, 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.68098Dalsgaard, 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.68085Beneš, 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 07120145Beneš, Nikola; Brim, Luboš; Dražanová, Jana; Pastva, Samuel; Šafránek, David 1 2019 AEON: attractor bifurcation analysis of parametrised Boolean networks. Zbl 1478.68085Beneš, 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 07120145Beneš, Nikola; Brim, Luboš; Dražanová, Jana; Pastva, Samuel; Šafránek, David 1 2019 A distributed fixed-point algorithm for extended dependency graphs. Zbl 1396.68070Dalsgaard, 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.92068Barnat, 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.68098Dalsgaard, 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.68159Beneš, Nikola; Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David 2 2016 High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. Zbl 1412.92115Brim, Luboš; Demko, Martin; Pastva, Samuel; Šafránek, David 3 2015 all cited Publications top 5 cited Publications all top 5 Cited by 22 Authors 3 Pastva, Samuel 2 Beneš, Nikola 2 Brim, Luboš 2 Larsen, Kim Guldstrand 2 Šafránek, David 2 Srba, Jiří 1 Cleaveland, Rance 1 Enevoldsen, Søren 1 Fenton, Flavio H. 1 Grosu, Radu 1 Hajnal, Matej 1 Islam, Md. Ariful 1 Jensen, Lasse S. 1 Jensen, Mathias Claus 1 Jones, Paul L. 1 Kaufmann, Isabella 1 Mariegaard, Anders 1 Nielsen, Søren M. 1 Pérez-Verona, Isabel Cristina 1 Smolka, Scott A. 1 Tribastone, Mirco 1 Vandin, Andrea Cited in 3 Serials 2 Theoretical Computer Science 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 6 Fields 4 Computer science (68-XX) 3 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Ordinary differential equations (34-XX) Citations by Year