Probabilistic model checking of complex biological pathways (Q2474435): Difference between revisions

@@ Property / OpenAlex ID @@
+W2118039525
@@ Property / OpenAlex ID: W2118039525 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Application of a stochastic name-passing calculus to representation and simulation of molecular processes
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754096
@@ Property / cites work: Q2754096 / rank @@
+Normal rank
@@ Property / cites work @@
+Exact and ordinary lumpability in finite Markov chains
+Normal rank
@@ Property / cites work @@
+Optimal state-space lumping in Markov chains
@@ Property / cites work: Optimal state-space lumping in Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+A Symbolic Algorithm for Optimal Markov Chain Lumping
+Normal rank
@@ Property / cites work @@
+Automated compositional Markov chain generation for a plain-old telephone system
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Symmetry Reduction for Probabilistic Model Checking Using Generic Representatives
+Normal rank
@@ Property / cites work @@
+Q5814121
@@ Property / cites work: Q5814121 / rank @@
+Normal rank
@@ Property / cites work @@
+THE ASYMPTOTIC STRUCTURE OF THE HODGKIN–HUXLEY EQUATIONS
+Normal rank
@@ Property / cites work @@
+Q4144754
@@ Property / cites work: Q4144754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413220
@@ Property / cites work: Q4413220 / rank @@
+Normal rank
@@ Property / cites work @@
+A mass action model of a fibroblast growth factor signaling pathway and its simplification
+Normal rank