A strand graph semantics for DNA-based computation (Q288814): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Visual DSD
@@ Property / describes a project that uses: Visual DSD / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2015.07.041
+Normal rank
@@ Property / OpenAlex ID @@
+W1148033823
@@ Property / OpenAlex ID: W1148033823 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q36977561
@@ Property / Wikidata QID: Q36977561 / rank @@
+Normal rank
@@ Property / cites work @@
+Localized Hybridization Circuits
@@ Property / cites work: Localized Hybridization Circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation of Cellular Signalling Networks
+Normal rank
@@ Property / cites work @@
+Formal molecular biology
@@ Property / cites work: Formal molecular biology / rank @@
+Normal rank
@@ Property / cites work @@
+A Grammatical Approach to Self-Organizing Robotic Systems
+Normal rank
@@ Property / cites work @@
+Stochastic simulation of multiple process calculi for biology
+Normal rank
@@ Property / cites work @@
+Abstract Modelling of Tethered DNA Circuits
@@ Property / cites work: Abstract Modelling of Tethered DNA Circuits / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems
+Normal rank
@@ Property / cites work @@
+Q4529978
@@ Property / cites work: Q4529978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Turing-Universal Computation with DNA Polymers
+Normal rank
@@ Property / cites work @@
+Parallel and Scalable Computation and Spatial Dynamics with DNA-Based Chemical Reaction Networks on a Surface
+Normal rank
@@ Property / cites work @@
+Functional Analysis of Large-Scale DNA Strand Displacement Circuits
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/PetersenLP16
@@ Property / DBLP publication ID: journals/tcs/PetersenLP16 / rank @@
+Normal rank