![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
9th SASB 2018: Freiburg, Germany - Selected Papers"
- Ankit Gupta, Tatjana Petrov:
Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Electronic Notes in Theoretical Computer Science 350, Elsevier 2020 - Ankit Gupta, Tatjana Petrov:
Preface. 1-2 - Andreea Beica, Jérôme Feret, Tatjana Petrov:
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. 3-32 - Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret:
Proving the Absence of Unbounded Polymers in Rule-based Models. 33-56 - Matej Hajnal, Samuel Pastva:
Toward Model Selection by Formal Methods. 57-71 - Hans-Michael Kaltenbach
:
A Unified View on Bipartite Species-reaction Graphs and Their Relation to Interaction Graphs and Qualitative Dynamics of Chemical Reaction Networks. 73-90 - Matej Troják, David Safránek
, Lubos Brim, Jakub Salagovic, Jan Cervený
:
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. 91-116 - Thomas Wright, Ian Stark:
Modelling Patterns of Gene Regulation in the bond-calculus. 117-138 - Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue:
Static Analysis and Stochastic Search for Reachability Problem. 139-158
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.