Applying differential dynamic logic to reconfigurable biological networks (Q2411314): Difference between revisions

@@ Property / cites work @@
+Relating Bisimulations with Attractors in Boolean Network Models
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchy of models: From qualitative to quantitative analysis of circadian rhythms in cyanobacteria
+Normal rank
@@ Property / cites work @@
+Piecewise-linear models of genetic regulatory networks: equilibria and their stability
+Normal rank
@@ Property / cites work @@
+Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices
+Normal rank
@@ Property / cites work @@
+Exact control of genetic networks in a qualitative framework: the bistable switch example
+Normal rank