Comparing chemical reaction networks: a categorical and algorithmic perspective
From MaRDI portal
Publication:2422009
Recommendations
Cites work
- scientific article; zbMATH DE number 49110 (Why is no real title available?)
- scientific article; zbMATH DE number 3484411 (Why is no real title available?)
- scientific article; zbMATH DE number 1361128 (Why is no real title available?)
- scientific article; zbMATH DE number 1798190 (Why is no real title available?)
- A fluid analysis framework for a Markovian process algebra
- A unified framework for differential aggregations in Markovian process algebra
- Approximating and computing behavioural distances in probabilistic transition systems
- Biochemical systems theory: a review
- Combining model reductions
- Comparing Chemical Reaction Networks
- Differential bisimulation for a Markovian process algebra
- Efficient syntax-driven lumping of differential equations
- Equivalence of Dynamical Systems by Bisimulation
- Exact fluid lumpability for Markovian process algebra
- Exact fluid lumpability in Markovian process algebra
- Formal molecular biology
- Forward and backward bisimulations for chemical reaction networks
- Lumpability abstractions of rule-based systems
- Metrics for labelled Markov processes
- Modular verification of DNA strand displacement networks via serializability analysis
- Modular verification of chemical reaction network encodings via serializability analysis
- Quantitative abstractions for collective adaptive systems
- Symbolic computation of differential equivalences
- Tackling continuous state-space explosion in a Markovian process algebra
- Taking it to the limit: approximate reasoning for Markov processes
- Termination Problems in Chemical Kinetics
- Timing in chemical reaction networks
- Verifying chemical reaction network implementations: a pathway decomposition approach
- Weighted Bisimulation in Linear Algebraic Form
Cited in
(8)- Reducing Boolean networks with backward Boolean equivalence
- Comparison theorems for stochastic chemical reaction networks
- On quantitative comparison of chemical reaction network models
- Verifying polymer reaction networks using bisimulation
- Embedding-based comparison of reaction networks of Wnt signaling
- An algebraic characterization of self-generating chemical reaction networks using semigroup models
- Fast enumeration of non-isomorphic chemical reaction networks
- Comparing Chemical Reaction Networks
This page was built for publication: Comparing chemical reaction networks: a categorical and algorithmic perspective
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2422009)
