×

Found 8 Documents (Results 1–8)

A global occurrence counting analysis for brane calculi. (English) Zbl 1417.68118

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 179-200 (2015).
MSC:  68Q85 92C42
PDFBibTeX XMLCite
Full Text: DOI Link

An analysis for causal properties of membrane interactions. (English) Zbl 1337.68100

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, 15-31 (2013).
MSC:  68Q05 68Q55 92C37 92C42
PDFBibTeX XMLCite
Full Text: DOI

Approximating probabilistic behaviors of biological systems using abstract interpretation. (English) Zbl 1283.92037

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, 165-182 (2009).
MSC:  92C42 68Q87
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

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software