Abstract is missing.
- PrefaceAnkit Gupta, Tatjana Petrov. 1-2 [doi]
- Tropical Abstraction of Biochemical Reaction Networks with GuaranteesAndreea Beica, Jérôme Feret, Tatjana Petrov. 3-32 [doi]
- Proving the Absence of Unbounded Polymers in Rule-based ModelsPierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret. 33-56 [doi]
- Toward Model Selection by Formal MethodsMatej Hajnal, Samuel Pastva. 57-71 [doi]
- A Unified View on Bipartite Species-reaction Graphs and Their Relation to Interaction Graphs and Qualitative Dynamics of Chemical Reaction NetworksHans-Michael Kaltenbach. 73-90 [doi]
- Executable Biochemical Space for Specification and Analysis of Biochemical SystemsMatej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený. 91-116 [doi]
- Modelling Patterns of Gene Regulation in the bond-calculusThomas Wright, Ian Stark. 117-138 [doi]
- Static Analysis and Stochastic Search for Reachability ProblemXinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue. 139-158 [doi]