zbMATH — the first resource for mathematics

Proceedings of SASB 2018, the 9th international workshop on static analysis and systems biology, Freiburg, Germany, August 28, 2018. (English) Zbl 1448.92002
Electronic Notes in Theoretical Computer Science 350. Amsterdam: Elsevier. 158 p., electronic only, open access (2020).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the 7th workshop see [Zbl 1391.92004].
Indexed articles:
Beica, Andreea; Feret, Jérôme; Petrov, Tatjana, Tropical abstraction of biochemical reaction networks with guarantees, 3-32 [Zbl 1458.92031]
Boutillier, Pierre; Faure de Pebeyre, Aurélie; Feret, Jérôme, Proving the absence of unbounded polymers in rule-based models, 33-56 [Zbl 1458.92027]
Hajnal, Matej; Pastva, Samuel, Toward model selection by formal methods, 57-71 [Zbl 1458.92035]
Kaltenbach, Hans-Michael, A unified view on bipartite species-reaction graphs and their relation to interaction graphs and qualitative dynamics of chemical reaction networks, 73-90 [Zbl 1458.92037]
Troják, Matej; Šafránek, David; Brim, Luboš; Šalagovič, Jakub; Červený, Jan, Executable biochemical space for specification and analysis of biochemical systems, 91-116 [Zbl 1458.92038]
Wright, Thomas; Stark, Ian, Modelling patterns of gene regulation in the bond-calculus, 117-138 [Zbl 1458.92039]
Chai, Xinwei; Ribeiro, Tony; Magnin, Morgan; Roux, Olivier; Inoue, Katsumi, Static analysis and stochastic search for reachability problem, 139-158 [Zbl 1458.92032]
92-06 Proceedings, conferences, collections, etc. pertaining to biology
92C42 Systems biology, networks
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: Link