![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
RNDr. Samuel Pastva, Ph.D.
Počet publikací: 40
2023
-
Boolean network sketches: a unifying framework for logical model inference
Bioinformatics, rok: 2023, ročník: 39, vydání: 4, DOI
-
Phenotype Control of Partially Specified Boolean Networks
Computational Methods in Systems Biology, rok: 2023
-
Rule-based Modelling of Biological Systems Using Regulated Rewriting
Biosystems, rok: 2023, ročník: 225, vydání: 104843, DOI
-
Temporary and Permanent Control of Partially Specified Boolean Networks
BIOSYSTEMS, rok: 2023, ročník: 223, vydání: JAN, DOI
2022
-
AEON.py: Python library for attractor analysis in asynchronous Boolean networks
BIOINFORMATICS, rok: 2022, ročník: 38, vydání: 21, DOI
-
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Logical Methods in Computer Science, rok: 2022, ročník: 18, vydání: 1, DOI
-
Exploring attractor bifurcations in Boolean networks
BMC Bioinformatics, rok: 2022, ročník: 23, vydání: 173, DOI
2021
-
Aeon 2021: Bifurcation Decision Trees in Boolean Networks
International Conference on Computational Methods in Systems Biology (CMSB 2021), rok: 2021
-
Computing Bottom SCCs Symbolically Using Transition Guided Reduction
Computer Aided Verification - 33rd International Conference, CAV 2021, rok: 2021
-
Symbolic Coloured SCC Decomposition
Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021, rok: 2021