Q5009451 (Q5009451): Difference between revisions

@@ Property / cites work @@
+Time-Space Trade-offs in Population Protocols
@@ Property / cites work: Time-Space Trade-offs in Population Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and Exact Majority in Population Protocols
@@ Property / cites work: Fast and Exact Majority in Population Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Computation in networks of passively mobile finite-state sensors
+Normal rank
@@ Property / cites work @@
+Computation in networks of passively mobile finite-state sensors
+Normal rank
@@ Property / cites work @@
+How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times
+Normal rank
@@ Property / cites work @@
+Q5111475
@@ Property / cites work: Q5111475 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3304110
@@ Property / cites work: Q3304110 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards efficient verification of population protocols
+Normal rank
@@ Property / cites work @@
+Automated recurrence analysis for almost-linear expected-runtime bounds
+Normal rank
@@ Property / cites work @@
+Speed faults in computation by chemical reaction networks
+Normal rank
@@ Property / cites work @@
+Stable leader election in population protocols requires linear time
+Normal rank
@@ Property / cites work @@
+Convergence Speed of Binary Interval Consensus
@@ Property / cites work: Convergence Speed of Binary Interval Consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of population protocols
@@ Property / cites work: Verification of population protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic average-case analysis of algorithms
@@ Property / cites work: Automatic average-case analysis of algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
+Normal rank