default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th 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
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.
last updated on 2025-12-09 00:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
