×

Found 13 Documents (Results 1–13)

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

Greening R. Thomas’ framework with environment variables: a divide and conquer approach. (English) Zbl 1491.92062

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, 36-56 (2021).
MSC:  92C42 92D40 92-08
PDFBibTeX XMLCite
Full Text: DOI

Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing. (English) Zbl 1471.68173

Heule, Marijn (ed.) et al., Theory and applications of satisfiability testing – SAT 2015. 18th international conference, Austin, TX, USA, September 24–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9340, 324-342 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modeling and analysis of gene regulatory networks. (English) Zbl 1400.92178

Cazals, Frédéric (ed.) et al., Modeling in computational biology and biomedicine. A multidisciplinary endeavor. Forewords by Olivier Faugeras and Joél Janin. Berlin: Springer (ISBN 978-3-642-31207-6/hbk; 978-3-642-31208-3/ebook). 47-80 (2013).
MSC:  92C40 92C42
PDFBibTeX XMLCite
Full Text: DOI

Model checking of biological systems. (English) Zbl 1380.92024

Bernardo, Marco (ed.) et al., Formal methods for dynamical systems. 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013, Bertinoro, Italy, June 17–22, 2013. Advanced lectures. Berlin: Springer (ISBN 978-3-642-38873-6/pbk). Lecture Notes in Computer Science 7938, 63-112 (2013).
MSC:  92C42 68Q60 92-08
PDFBibTeX XMLCite
Full Text: DOI

Proving stabilization of biological systems. (English) Zbl 1318.92014

Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 134-149 (2011).
MSC:  92C42 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Model revision from temporal logic properties in computational systems biology. (English) Zbl 1137.68534

De Raedt, Luc (ed.) et al., Probabilistic inductive logic programming. Theory and applications. Berlin: Springer (ISBN 978-3-540-78651-1/pbk). Lecture Notes in Computer Science 4911. Lecture Notes in Artificial Intelligence, 287-304 (2008).
MSC:  68T05 68N17 92C40
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