Edit Profile Pastva, Samuel Compute Distance To: Compute Author ID: pastva.samuel Published as: Pastva, Samuel Documents Indexed: 10 Publications since 2015 all top 5 Co-Authors 0 single-authored 7 Brim, Luboš 7 Šafránek, David 5 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 7 Computer science (68-XX) 5 Biology and other natural sciences (92-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Combinatorics (05-XX) 1 Ordinary differential equations (34-XX) Publications by Year Citations contained in zbMATH 5 Publications have been cited 7 times in 4 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 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 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 1 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 1 2016 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 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 1 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 1 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 top 5 Cited by 16 Authors 2 Pastva, Samuel 1 Beneš, Nikola 1 Brim, Luboš 1 Cleaveland, Rance 1 Fenton, Flavio H. 1 Grosu, Radu 1 Hajnal, Matej 1 Islam, Md. Ariful 1 Jensen, Lasse S. 1 Jones, Paul L. 1 Kaufmann, Isabella 1 Larsen, Kim Guldstrand 1 Nielsen, Søren M. 1 Šafránek, David 1 Smolka, Scott A. 1 Srba, Jiří Cited in 3 Serials 1 Theoretical Computer Science 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Journal of Logical and Algebraic Methods in Programming Cited in 5 Fields 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 Mathematical logic and foundations (03-XX) 1 Ordinary differential equations (34-XX) 1 Computer science (68-XX) Citations by Year