RNDr. Samuel Pastva, Ph.D.
Total number of publications: 40
2019
-
Model Checking Approach to the Analysis of Biological Systems
Automated Reasoning for Systems Biology and Medicine, year: 2019, number of pages: 33 s.
2018
-
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs
Fundamenta Informaticae, year: 2018, volume: 161, edition: 4, DOI
-
Fully Automated Attractor Analysis of Cyanobacteria Models
22nd International Conference on System Theory, Control and Computing, year: 2018
-
PITHYA
Year: 2018
2017
-
Detecting Attractors in Biological Models with Uncertain Parameters
Computational Methods in Systems Biology. CMSB 2017, year: 2017
-
Discrete Bifurcation Analysis of Reactive Systems
Year: 2017, type: Appeared in Conference without Proceedings
-
Discrete Bifurcation Analysis with Pithya
15th International Conference on Computational Methods in Systems Biology (CMSB), year: 2017
-
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation
Petri Nets 2017, year: 2017
-
Model Checking Approach to Discrete Bifurcation Analysis
Year: 2017, type: Appeared in Conference without Proceedings
-
Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems
Year: 2017, type: Appeared in Conference without Proceedings