Comparing Chemical Reaction Networks

DOI10.1145/2933575.2935318MaRDI QIDQ4635906zbMATHOpenAlexWikidataFDO

Authors Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2933575.2935318

zbMATH Keywords

model comparisonordinary differential equationschemical reaction networksbisimulation

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Systems biology, networks (92C42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Comparing chemical reaction networks: a categorical and algorithmic perspective
• On quantitative comparison of chemical reaction network models
• On design and analysis of chemical reaction network algorithms
• On the complexity of reconstructing chemical reaction networks
• A compositional framework for reaction networks
• A network dynamics approach to chemical reaction networks
• Formal quantitative analysis of reaction networks using chemical organisation theory
• Comparison theorems for stochastic chemical reaction networks

Cited in

(11)

• Symbolic computation of differential equivalences
• Forward and backward bisimulations for chemical reaction networks
• Verifying chemical reaction network implementations: a bisimulation approach
• Approximate constrained lumping of polynomial differential equations
• An algebraic characterization of self-generating chemical reaction networks using semigroup models
• Comparison theorems for stochastic chemical reaction networks
• Fast enumeration of non-isomorphic chemical reaction networks
• Reducing Boolean networks with backward Boolean equivalence
• Comparing chemical reaction networks: a categorical and algorithmic perspective
• On quantitative comparison of chemical reaction network models
• Embedding-based comparison of reaction networks of Wnt signaling

This page was built for publication: Comparing Chemical Reaction Networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635906)