Get started
Author

Samuel Pastva

Observed name: Pastva, Samuel
Institution: Masaryk University
ORCID: 0000-0003-1993-0331
Observed ORCID: 0000-0003-1993-0331
OpenAlex ID: A5071042168
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
2020 · Nikola Beneš, Luboš Brim, et al. · Lecture notes in computer science · 30
PDF
AEON.py: Python library for attractor analysis in asynchronous Boolean networks
2022 · Nikola Beneš, Luboš Brim, et al. · Bioinformatics · 28
Boolean network sketches: a unifying framework for logical model inference
2023 · Nikola Beneš, Luboš Brim, et al. · Bioinformatics · 25
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation
2017 · Andreas E. Dalsgaard, Søren Enevoldsen, et al. · Lecture notes in computer science · 17
Parameter Synthesis by Parallel Coloured CTL Model Checking
2015 · Luboš Brim, Milan Češka, et al. · Lecture notes in computer science · 15
Repository of logically consistent real-world Boolean network models
2023 · Samuel Pastva, David Šafránek, et al. · bioRxiv (Cold Spring Harbor Laboratory) · 14
PDF
A Model Checking Approach to Discrete Bifurcation Analysis
2016 · Nikola Beneš, Luboš Brim, et al. · Lecture notes in computer science · 14
High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
2015 · Luboš Brim, Martin Demko, et al. · Lecture notes in computer science · 14
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs*
2018 · Andreas E. Dalsgaard, Søren Enevoldsen, et al. · Fundamenta Informaticae · 13
PDF
Detecting Attractors in Biological Models with Uncertain Parameters
2017 · Jiří Barnat, Nikola Beneš, et al. · Lecture notes in computer science · 13
Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-affine Systems
2016 · Nikola Beneš, Luboš Brim, et al. · Lecture notes in computer science · 13
Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks
2019 · Nikola Beneš, Luboš Brim, et al. · Lecture notes in computer science · 11
Temporary and permanent control of partially specified Boolean networks
2022 · Luboš Brim, Samuel Pastva, et al. · Biosystems · 10
Computing Bottom SCCs Symbolically Using Transition Guided Reduction
2021 · Nikola Beneš, Luboš Brim, et al. · Lecture notes in computer science · 10
PDF
Exploring attractor bifurcations in Boolean networks
2022 · Nikola Beneš, Luboš Brim, et al. · BMC Bioinformatics · 8
PDF
Parallel One-Step Control of Parametrised Boolean Networks
2021 · Luboš Brim, Samuel Pastva, et al. · Mathematics · 8
PDF
Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems
2017 · Nikola Beneš, Luboš Brim, et al. · Lecture notes in computer science · 8
Mapping the attractor landscape of Boolean networks with biobalm
2025 · Van-Giang Trinh, Kyu Hyong Park, et al. · Bioinformatics · 7
PDF
Phenotype Control of Partially Specified Boolean Networks
2023 · Nikola Beneš, Luboš Brim, et al. · Lecture notes in computer science · 6
Parallel parameter synthesis algorithm for hybrid CTL
2019 · Nikola Beneš, Luboš Brim, et al. · Science of Computer Programming · 6
An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?
2025 · Samuel Pastva, Kyu Hyong Park, et al. · Journal of Mathematical Biology · 5
PDF
Aeon 2021: Bifurcation Decision Trees in Boolean Networks
2021 · Nikola Beneš, Luboš Brim, et al. · Lecture notes in computer science · 5
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
2016 · Martin Demko, Nikola Beneš, et al. · Lecture notes in computer science · 5
Trap spaces of multi-valued networks: definition, computation, and applications
2023 · Van-Giang Trinh, Belaid Benhamou, et al. · Bioinformatics · 4
PDF
Rule-based modelling of biological systems using regulated rewriting
2023 · Matej Troják, David Šafránek, et al. · Biosystems · 4
PDF
Works count: 93
Citation count: 328
H-index: 11
I10-index: 14
Year
Topic
Type