Tutorial: The CoLoMoTo Interactive Notebook, Accessible and Reproducible Computational Analyses for Qualitative Biological Networks

von Paulevé, Loïc
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

Variable-Depth Simulation of Most Permissive Boolean Networks

von Roncalli, Théo
Veröffentlicht in CMSB (20. : 2022 : Bukarest) Computational methods in systems biology (2022)

SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers

von Audemard, Gilles
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Drawing the Line: Basin Boundaries in Safe Petri Nets

von Haar, Stefan
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

Computational Methods in Systems Biology : 19th International Conference, CMSB 2021, Bordeaux, France, September 22–24, 2021, proceedings

Veröffentlicht 2021

Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision

von Chevalier, Stéphanie
Veröffentlicht in CMSB (18. : 2020 : Online) Computational methods in systems biology (2020)

Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study

von Thuillier, Kerian
Veröffentlicht in CMSB (19. : 2021 : Bordeaux) Computational Methods in Systems Biology (2021)

Formal verification and static analysis of molecular devices and biological systems

Veröffentlicht 2019