Verifying chemical reaction network implementations: a pathway decomposition approach (Q2422010): Difference between revisions

@@ Property / cites work @@
+Reduction techniques for network validation in systems biology
+Normal rank
@@ Property / cites work @@
+A general-purpose CRN-to-DSD compiler with formal verification, optimization, and simulation capabilities
+Normal rank
@@ Property / cites work @@
+Stochastic mechanics of graph rewriting
@@ Property / cites work: Stochastic mechanics of graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation relations for weighted automata
@@ Property / cites work: Bisimulation relations for weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Strand algebras for DNA computing
@@ Property / cites work: Strand algebras for DNA computing / rank @@
+Normal rank
@@ Property / cites work @@
+Two-domain DNA strand displacement
@@ Property / cites work: Two-domain DNA strand displacement / rank @@
+Normal rank
@@ Property / cites work @@
+Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems
+Normal rank
@@ Property / cites work @@
+Rule-Based Modelling of Cellular Signalling
@@ Property / cites work: Rule-Based Modelling of Cellular Signalling / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289279
@@ Property / cites work: Q4289279 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and regular processes
@@ Property / cites work: Petri nets and regular processes / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying Chemical Reaction Network Implementations: A Bisimulation Approach
+Normal rank
@@ Property / cites work @@
+Modular verification of chemical reaction network encodings via serializability analysis
+Normal rank
@@ Property / cites work @@
+Persistence of vector replacement systems is decidable
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Turing-Universal Computation with DNA Polymers
+Normal rank
@@ Property / cites work @@
+Symbolic transfer function-based approaches to certified compilation
+Normal rank
@@ Property / cites work @@
+Stochastic Simulation of the Kinetics of Multiple Interacting Nucleic Acid Strands
+Normal rank
@@ Property / cites work @@
+Q2766577
@@ Property / cites work: Q2766577 / rank @@
+Normal rank
@@ Property / cites work @@
+Space and Energy Efficient Computation with DNA Strand Displacement Systems
+Normal rank