SASB - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 15 from 15

2020

Proceedings of SASB 2018, the 7th International Workshop on Static Analysis and Systems Biology, University of Edinburgh, September 7, 2016Volume 335 of Electronic Notes in Theoretical Computer Science, Elsevier, 2020. [doi]

Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018Volume 350 of Electronic Notes in Theoretical Computer Science, Elsevier, 2020. [doi]

Tropical Abstraction of Biochemical Reaction Networks with GuaranteesAndreea Beica, Jérôme Feret, Tatjana Petrov. SASB 2020: 3-32 [doi]

Proving the Absence of Unbounded Polymers in Rule-based ModelsPierre Boutillier, Aurélie Faure de Pebeyre, Jérôme Feret. SASB 2020: 33-56 [doi]

Static Analysis and Stochastic Search for Reachability ProblemXinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue. SASB 2020: 139-158 [doi]

PrefaceAnkit Gupta, Tatjana Petrov. SASB 2020: 1-2 [doi]

Toward Model Selection by Formal MethodsMatej Hajnal, Samuel Pastva. SASB 2020: 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. SASB 2020: 73-90 [doi]

Executable Biochemical Space for Specification and Analysis of Biochemical SystemsMatej Troják, David Safránek, Lubos Brim, Jakub Salagovic, Jan Cervený. SASB 2020: 91-116 [doi]

Modelling Patterns of Gene Regulation in the bond-calculusThomas Wright, Ian Stark. SASB 2020: 117-138 [doi]

2016

6th International Workshop on Static Analysis and Systems Biology, SASB 2015, Saint-Malo, France, September 8, 2015Loïc Paulevé, Nathalie Théret, editors, Volume 326 of Electronic Notes in Theoretical Computer Science, Elsevier, 2016. [doi]

2015

5th International Workshop on Static Analysis and Systems Biology, SASB 2014, Munich, Germany, September 10, 2014Loïc Paulevé, Heinz Koeppl, editors, Volume 316 of Electronic Notes in Theoretical Computer Science, Elsevier, 2015. [doi]

2012

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, SASB 2011, Venice, Italy, September 13, 2011Jérôme Feret, Andre Levchenko, editors, Volume 284 of Electronic Notes in Theoretical Computer Science, Elsevier, 2012. [doi]

3rd International Workshop on Static Analysis and Systems Biology, SASB 2012, Deauville, France, September 10, 2012Jérôme Feret, Andre Levchenko, editors, Volume 313 of Electronic Notes in Theoretical Computer Science, Elsevier, 2012. [doi]

2011

Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, SASB 2010, Perpignan, France, September 13, 2010Jérôme Feret, Andre Levchenko, editors, Volume 272 of Electronic Notes in Theoretical Computer Science, Elsevier, 2011. [doi]

Sign in or sign up to see more results.

runs on WebDSL