SASB

Keyphrases

Publications

2020

Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
Static Analysis and Stochastic Search for Reachability Problem. SASB (2020)
Matej Hajnal, Samuel Pastva
Toward Model Selection by Formal Methods. SASB (2020)
Hans-Michael Kaltenbach
A Unified View on Bipartite Species-reaction Graphs and Their Relation to Interaction Graphs and Qualitative Dynamics of Chemical Reaction Networks. SASB (2020)
Andreea Beica, Jérôme Feret, Tatjana Petrov
Tropical Abstraction of Biochemical Reaction Networks with Guarantees. SASB (2020)
Matej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený
Executable Biochemical Space for Specification and Analysis of Biochemical Systems. SASB (2020)
Ankit Gupta, Tatjana Petrov
Preface. SASB (2020)
Thomas Wright, Ian Stark
Modelling Patterns of Gene Regulation in the bond-calculus. SASB (2020)
Pierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret
Proving the Absence of Unbounded Polymers in Rule-based Models. SASB (2020)

volume 350, 2020

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018 SASB 350 (2020)

volume 335, 2020

Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016 SASB 335 (2020)

volume 335, 2018

volume 326, 2016

6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015 SASB 326 (2016)

volume 316, 2015

5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014 SASB 316 (2015)

volume 313, 2012

3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012 SASB 313 (2012)

volume 284, 2012

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011 SASB 284 (2012)

volume 272, 2011

Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010 SASB 272 (2011)