A genetically modified Hoare logic (Q2422014): Difference between revisions

@@ Property / author @@
+Jean-Paul Comet
@@ Property / author: Jean-Paul Comet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Leviathan
@@ Property / describes a project that uses: Leviathan / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ginsim
@@ Property / describes a project that uses: Ginsim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GNA
@@ Property / describes a project that uses: GNA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963446106
@@ Property / OpenAlex ID: W2963446106 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.05887
@@ Property / arXiv ID: 1506.05887 / rank @@
+Normal rank
@@ Property / cites work @@
+Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
+Normal rank
@@ Property / cites work @@
+Computational Methods in Systems Biology
@@ Property / cites work: Computational Methods in Systems Biology / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Guarded commands, nondeterminacy and formal derivation of programs
+Normal rank
@@ Property / cites work @@
+A Semantic Basis for Program Verification
@@ Property / cites work: A Semantic Basis for Program Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Inadequacy of computable loop invariants
@@ Property / cites work: Inadequacy of computable loop invariants / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and Completeness of an Axiom System for Program Verification
+Normal rank
@@ Property / cites work @@
+On the completeness of propositional Hoare logic
@@ Property / cites work: On the completeness of propositional Hoare logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001257
@@ Property / cites work: Q4001257 / rank @@
+Normal rank
@@ Property / cites work @@
+Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits
+Normal rank
@@ Property / cites work @@
+Logical identification of all steady states: The concept of feedback loop characteristic states
+Normal rank
@@ Property / cites work @@
+Logical Modeling of Biological Systems
@@ Property / cites work: Logical Modeling of Biological Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Negative circuits and sustained oscillations in asynchronous automata networks
+Normal rank
@@ Property / cites work @@
+Necessary conditions for multistationarity in discrete dynamical systems
+Normal rank
@@ Property / cites work @@
+Multistationarity, the basis of cell differentiation and memory. I. Structural conditions of multistationarity and other nontrivial behavior
+Normal rank
@@ Property / cites work @@
+Temporal constraints in the logical analysis of regulatory networks
+Normal rank
@@ Property / cites work @@
+Model Checking Gene Regulatory Networks
@@ Property / cites work: Model Checking Gene Regulatory Networks / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent dynamic logic
@@ Property / cites work: Concurrent dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank