RNDr. Samuel Pastva, Ph.D.
Assistant professor, Department of Computer Systems and Communications
Office: A303
Botanická 554/68a
602 00 Brno
Publications
Total number of publications: 45
2022
-
Exploring attractor bifurcations in Boolean networks
BMC Bioinformatics, year: 2022, volume: 23, edition: 173, DOI
-
Variable Stabilisation in Boolean Monotonic Model Pools
Computational Methods in Systems Biology, year: 2022
2021
-
Aeon 2021: Bifurcation Decision Trees in Boolean Networks
International Conference on Computational Methods in Systems Biology (CMSB 2021), year: 2021
-
Computing Bottom SCCs Symbolically Using Transition Guided Reduction
Computer Aided Verification - 33rd International Conference, CAV 2021, year: 2021
-
Symbolic Coloured SCC Decomposition
Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, year: 2021
2020
-
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
Computer Aided Verification. CAV 2020, year: 2020
-
Digital Bifurcation Analysis of Internet Congestion Control Protocols
International Journal of Bifurcation and Chaos, year: 2020, volume: 30, edition: 13, DOI
-
Parallel parameter synthesis algorithm for hybrid CTL
Science of Computer Programming, year: 2020, volume: 185, edition: 102321, DOI
-
Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications.
Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314, year: 2020
-
Toward Model Selection by Formal Methods
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350, year: 2020