Static analysis and stochastic search for reachability problem (Q2229143): Difference between revisions

@@ Property / cites work @@
+Q2729082
@@ Property / cites work: Q2729082 / rank @@
+Normal rank
@@ Property / cites work @@
+Control of Boolean networks: hardness results and algorithms for tree structured networks
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Q4809158
@@ Property / cites work: Q4809158 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling biological systems in stochastic concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Complexity results for 1-safe nets
@@ Property / cites work: Complexity results for 1-safe nets / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded model checking using satisfiability solving
+Normal rank
@@ Property / cites work @@
+The Birth of Model Checking
@@ Property / cites work: The Birth of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+$$2^5$$ Years of Model Checking
@@ Property / cites work: $$2^5$$ Years of Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Mapping multivalued onto Boolean dynamics
@@ Property / cites work: Mapping multivalued onto Boolean dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in live and safe free-choice Petri nets is NP-complete
+Normal rank
@@ Property / cites work @@
+Sufficient conditions for reachability in automata networks with priorities
+Normal rank
@@ Property / cites work @@
+Learning from interpretation transition
@@ Property / cites work: Learning from interpretation transition / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter space abstraction and unfolding semantics of discrete regulatory networks
+Normal rank
@@ Property / cites work @@
+On reachability and controllability of switched Boolean control networks
+Normal rank
@@ Property / cites work @@
+Stability Analysis for Switched Boolean Networks Under Arbitrary Switching Signals
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+On converting CNF to DNF
@@ Property / cites work: On converting CNF to DNF / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111631
@@ Property / cites work: Q5111631 / rank @@
+Normal rank
@@ Property / cites work @@
+Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
+Normal rank
@@ Property / cites work @@
+Static analysis of Biological Regulatory Networks dynamics using abstract interpretation
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+Attractor analysis of asynchronous Boolean models of signal transduction networks
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda
+Normal rank
@@ Property / cites work @@
+Q4461759
@@ Property / cites work: Q4461759 / rank @@
+Normal rank