Comparing chemical reaction networks: a categorical and algorithmic perspective (Q2422009): Difference between revisions

@@ Property / cites work @@
+Termination Problems in Chemical Kinetics
@@ Property / cites work: Termination Problems in Chemical Kinetics / rank @@
+Normal rank
@@ Property / cites work @@
+Timing in chemical reaction networks
@@ Property / cites work: Timing in chemical reaction networks / rank @@
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Model Reductions
@@ Property / cites work: Combining Model Reductions / rank @@
+Normal rank
@@ Property / cites work @@
+Lumpability abstractions of rule-based systems
@@ Property / cites work: Lumpability abstractions of rule-based systems / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and Backward Bisimulations for Chemical Reaction Networks
+Normal rank
@@ Property / cites work @@
+Symbolic computation of differential equivalences
@@ Property / cites work: Symbolic computation of differential equivalences / rank @@
+Normal rank
@@ Property / cites work @@
+A fluid analysis framework for a Markovian process algebra
+Normal rank
@@ Property / cites work @@
+Exact Fluid Lumpability for Markovian Process Algebra
+Normal rank
@@ Property / cites work @@
+Tackling continuous state-space explosion in a Markovian process algebra
+Normal rank
@@ Property / cites work @@
+Exact fluid lumpability in Markovian process algebra
+Normal rank
@@ Property / cites work @@
+A unified framework for differential aggregations in Markovian process algebra
+Normal rank
@@ Property / cites work @@
+Differential Bisimulation for a Markovian Process Algebra
+Normal rank
@@ Property / cites work @@
+Quantitative Abstractions for Collective Adaptive Systems
+Normal rank
@@ Property / cites work @@
+Efficient syntax-driven lumping of differential equations
+Normal rank
@@ Property / cites work @@
+Modular Verification of DNA Strand Displacement Networks via Serializability Analysis
+Normal rank
@@ Property / cites work @@
+Verifying chemical reaction network implementations: a pathway decomposition approach
+Normal rank
@@ Property / cites work @@
+Modular verification of chemical reaction network encodings via serializability analysis
+Normal rank
@@ Property / cites work @@
+Weighted Bisimulation in Linear Algebraic Form
@@ Property / cites work: Weighted Bisimulation in Linear Algebraic Form / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra, Coalgebra, and Minimization in Polynomial Differential Equations
+Normal rank
@@ Property / cites work @@
+Equivalence of Dynamical Systems by Bisimulation
@@ Property / cites work: Equivalence of Dynamical Systems by Bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Chemical Reaction Networks
@@ Property / cites work: Comparing Chemical Reaction Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Biochemical systems theory: a review
@@ Property / cites work: Biochemical systems theory: a review / rank @@
+Normal rank
@@ Property / cites work @@
+Q4067388
@@ Property / cites work: Q4067388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997917
@@ Property / cites work: Q3997917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553263
@@ Property / cites work: Q4553263 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating and computing behavioural distances in probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Taking It to the Limit: Approximate Reasoning for Markov Processes
+Normal rank