×

Found 20 Documents (Results 1–20)

Attractor identification in asynchronous Boolean dynamics with network reduction. (English) Zbl 07810893

Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 202-219 (2023).
MSC:  92C42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Tackling universal properties of minimal trap spaces of Boolean networks. (English) Zbl 07810890

Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 157-174 (2023).
MSC:  92C42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Approximate constrained lumping of polynomial differential equations. (English) Zbl 07810887

Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 106-123 (2023).
MSC:  92C42 34C60
PDFBibTeX XMLCite
Full Text: DOI

Phenotype control of partially specified Boolean networks. (English) Zbl 07810881

Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 18-35 (2023).
MSC:  92C42 93C29
PDFBibTeX XMLCite
Full Text: DOI

eBCSgen 2.0: modelling and analysis of regulated rule-based systems. (English) Zbl 1505.92083

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 302-309 (2022).
MSC:  92C42 92-04
PDFBibTeX XMLCite
Full Text: DOI

Abstract simulation of reaction networks via Boolean networks. (English) Zbl 1505.92077

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 21-40 (2022).
MSC:  92C42 92C40 94C11
PDFBibTeX XMLCite
Full Text: DOI

Aeon 2021: bifurcation decision trees in Boolean networks. (English) Zbl 1491.92059

Cinquemani, Eugenio (ed.) et al., Computational methods in systems biology. 19th international conference, CMSB 2021, Bordeaux, France, September 22–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12881, 230-237 (2021).
MSC:  92C42 92-04
PDFBibTeX XMLCite
Full Text: DOI

Symbolic coloured SCC decomposition. (English) Zbl 1474.68210

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 64-83 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Static analysis and stochastic search for reachability problem. (English) Zbl 1458.92032

Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 350, 139-158 (2020).
MSC:  92C42 93B03 93A15
PDFBibTeX XMLCite
Full Text: DOI

Executable biochemical space for specification and analysis of biochemical systems. (English) Zbl 1458.92038

Gupta, Ankit (ed.) et al., Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 350, 91-116 (2020).
MSC:  92C42 92C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Formal biochemical space with semantics in Kappa and BNGL. (English) Zbl 1401.92076

Paulevé, Loïc (ed.) et al., Post-proceedings of the 6th international workshop on static analysis and systems biology (SASB 2015), Saint-Malo, France, September 8, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 326, 27-49 (2016).
MSC:  92C40 68Q45 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Compact representation of photosynthesis dynamics by rule-based models. (English) Zbl 1352.92095

Pauleve, Loic (ed.) et al., Post-proceedings of the 5th international workshop on static analysis and systems biology (SASB 2014), Munich, Germany, September 10, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 316, 17-27 (2015).
MSC:  92C80 92C42
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computation tree regular logic for genetic regulatory networks. (English) Zbl 1183.68380

Cha, Sungdeok (Steve) (ed.) et al., Automated technology for verification and analysis. 6th international symposium, ATVA 2008, Seoul, Korea, October 20–23, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-88386-9/pbk). Lecture Notes in Computer Science 5311, 48-63 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software