×

Found 53 Documents (Results 1–53)

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

On estimating derivatives of input signals in biochemistry. (English) Zbl 07810885

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, 78-96 (2023).
MSC:  92C40 92C42
PDFBibTeX XMLCite
Full Text: DOI arXiv

End-to-end statistical model checking for parametric ODE models. (English) Zbl 1522.68325

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 85-106 (2022).
MSC:  68Q60 65L05 92-10
PDFBibTeX XMLCite
Full Text: DOI

Abstraction-based segmental simulation of chemical reaction networks. (English) Zbl 1505.92074

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, 41-60 (2022).
MSC:  92C42 92C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

ppsim: a software package for efficiently simulating and visualizing population protocols. (English) Zbl 1489.92003

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, 245-253 (2021).
MSC:  92-04 92C42 92C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Population design for synthetic gene circuits. (English) Zbl 1491.92066

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, 181-197 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Automated design and verification of localized DNA computation circuits. (English) Zbl 1404.68076

Phillips, Andrew (ed.) et al., DNA computing and molecular programming. 21st international conference, DNA 21, Boston and Cambridge, MA, USA, August 17–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21998-1/pbk; 978-3-319-21999-8/ebook). Lecture Notes in Computer Science 9211, 168-180 (2015).
MSC:  68Q60 68Q05 92D20
PDFBibTeX XMLCite
Full Text: DOI

Analyzing oscillatory behavior with formal methods. (English) Zbl 1427.92016

Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 1-25 (2014).
MSC:  92B25 92C40 92D25
PDFBibTeX XMLCite
Full Text: DOI

An algorithm for the identification of components in biochemical pathways. (English) Zbl 1337.92066

Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 69-84 (2013).
MSC:  92C40 68Q45 68Q85
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

Probabilistic model checking of the PDGF signaling pathway. (English) Zbl 1381.92033

Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XIV. Special issue on computational models for cell processes. Berlin: Springer (ISBN 978-3-642-35523-3/pbk). Lecture Notes in Computer Science 7625. Lecture Notes in Bioinformatics. Journal Subline, 151-180 (2012).
MSC:  92C40 92-08
PDFBibTeX XMLCite
Full Text: DOI

Modular verification of interactive systems with an application to biology. (English) Zbl 1283.68204

Krivine, Jean (ed.) et al., Proceedings of the 1st international workshop on interactions between computer science and biology (CS2Bio’10), Amsterdam, The Netherlands, June 10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 268, 61-75 (2010).
MSC:  68Q60 68Q45 92C42
PDFBibTeX XMLCite
Full Text: DOI

A model and analysis of the AKAP scaffold. (English) Zbl 1283.92014

Krivine, Jean (ed.) et al., Proceedings of the 1st international workshop on interactions between computer science and biology (CS2Bio’10), Amsterdam, The Netherlands, June 10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 268, 3-15 (2010).
MSC:  92C17 68Q60 92C40
PDFBibTeX XMLCite
Full Text: DOI

Biomodel engineering – from structure to behavior. (English) Zbl 1275.92022

Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XII. Special issue on modeling methodologies. Berlin: Springer (ISBN 978-3-642-11711-4/pbk). Lecture Notes in Computer Science 5945. Lecture Notes in Bioinformatics. Journal Subline, 1-12 (2010).
MSC:  92C42 68Q85 92-08
PDFBibTeX XMLCite
Full Text: DOI

Translating stochastic CLS into Maude. (English) Zbl 1347.68340

Ciobanu, Gabriel (ed.), Proceedings of the 2nd international meeting on membrane computing and biologically inspired process calculi (MeCBIC 2008), Iaşi, Romania, September 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 227, 37-58 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Analysing biochemical oscillation through probabilistic model checking. (English) Zbl 1283.92023

Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 3-19 (2009).
MSC:  92C40 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic model checking of biological systems with uncertain kinetic rates. (English) Zbl 1260.68226

Bournez, Olivier (ed.) et al., Reachability problems. 3rd international workshop, RP 2009, Palaiseau, France, September 23–25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04419-9/pbk). Lecture Notes in Computer Science 5797, 64-78 (2009).
MSC:  68Q60 68Q87 92C42
PDFBibTeX XMLCite
Full Text: DOI

Process algebra modelling styles for biomolecular processes. (English) Zbl 1260.92030

Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XI. Berlin: Springer (ISBN 978-3-642-04185-3/pbk). Lecture Notes in Computer Science 5750. Lecture Notes in Bioinformatics. Journal Subline, 1-25 (2009).
MSC:  92C45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Modelling intracellular fate of FGF receptors with BioAmbients. (English) Zbl 1286.68360

Aldini, Alessandro (ed.) et al., Proceedings of the 6th workshop on quantitative aspects of programming languages (QAPL 2008), Budapest, Hungary, March 29–30, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 3, 181-197 (2008).
MSC:  68Q85 68Q87 92C42
PDFBibTeX XMLCite
Full Text: DOI

Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. (English) Zbl 1375.92015

Fisher, Jasmin (ed.), Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4–5, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68410-7/pbk). Lecture Notes in Computer Science 5054. Lecture Notes in Bioinformatics, 63-76 (2008).
MSC:  92C30 92C42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Bounded asynchrony: concurrency for modeling cell-cell interactions. (English) Zbl 1375.92018

Fisher, Jasmin (ed.), Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4–5, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68410-7/pbk). Lecture Notes in Computer Science 5054. Lecture Notes in Bioinformatics, 17-32 (2008).
MSC:  92C37 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software