RNDr. Samuel Pastva, Ph.D.
Počet publikací: 40
2019
-
Model Checking Approach to the Analysis of Biological Systems
Automated Reasoning for Systems Biology and Medicine, rok: 2019, počet stran: 33 s.
2018
-
A Distributed Fixed-Point Algorithm for Extended Dependency Graphs
Fundamenta Informaticae, rok: 2018, ročník: 161, vydání: 4, DOI
-
Fully Automated Attractor Analysis of Cyanobacteria Models
22nd International Conference on System Theory, Control and Computing, rok: 2018
-
PITHYA
Rok: 2018
2017
-
Detecting Attractors in Biological Models with Uncertain Parameters
Computational Methods in Systems Biology. CMSB 2017, rok: 2017
-
Discrete Bifurcation Analysis of Reactive Systems
Rok: 2017, druh: Další prezentace na konferencích
-
Discrete Bifurcation Analysis with Pithya
15th International Conference on Computational Methods in Systems Biology (CMSB), rok: 2017
-
Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation
Petri Nets 2017, rok: 2017
-
Model Checking Approach to Discrete Bifurcation Analysis
Rok: 2017, druh: Další prezentace na konferencích
-
Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems
Rok: 2017, druh: Další prezentace na konferencích