Tropical Abstraction of Biochemical Reaction Networks with Guarantees

Andreea Beica, Jérôme Feret, Tatjana Petrov. Tropical Abstraction of Biochemical Reaction Networks with Guarantees. In Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, Freiburg, Germany - August 28th, 2018. Volume 350 of Electronic Notes in Theoretical Computer Science, pages 3-32, Elsevier, 2020. [doi]

Authors

Andreea Beica

This author has not been identified. Look up 'Andreea Beica' in Google

Jérôme Feret

This author has not been identified. It may be one of the following persons: Look up 'Jérôme Feret' in Google

Tatjana Petrov

This author has not been identified. Look up 'Tatjana Petrov' in Google