Verified analysis of random binary tree structures (Q5919010): Difference between revisions

@@ Property / describes a project that uses @@
+Monad normalisation
@@ Property / describes a project that uses: Monad normalisation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Probabilistic_Prime_Tests
@@ Property / describes a project that uses: Probabilistic_Prime_Tests / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quicksort
@@ Property / describes a project that uses: Quicksort / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-020-09545-0
+Normal rank
@@ Property / OpenAlex ID @@
+W3004733293
@@ Property / OpenAlex ID: W3004733293 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of randomized algorithms in Coq
@@ Property / cites work: Proofs of randomized algorithms in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Formal certification of code-based cryptographic proofs
+Normal rank
@@ Property / cites work @@
+CryptHOL: game-based proofs in higher-order logic
@@ Property / cites work: CryptHOL: game-based proofs in higher-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automated recurrence analysis for almost-linear expected-runtime bounds
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified analysis of random binary tree structures
+Normal rank
@@ Property / cites work @@
+A Verified Compiler for Probability Density Functions
+Normal rank
@@ Property / cites work @@
+Q4730781
@@ Property / cites work: Q4730781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Quicksort
@@ Property / cites work: Quicksort / rank @@
+Normal rank
@@ Property / cites work @@
+Formalising Semantics for Expected Running Time of Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Markov chains and Markov decision processes in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Three Chapters of Measure Theory in Isabelle/HOL
@@ Property / cites work: Three Chapters of Measure Theory in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484343
@@ Property / cites work: Q4484343 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs
+Normal rank
@@ Property / cites work @@
+Probabilistic recurrence relations
@@ Property / cites work: Probabilistic recurrence relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349924
@@ Property / cites work: Q4349924 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
+Normal rank
@@ Property / cites work @@
+Randomized binary search trees
@@ Property / cites work: Randomized binary search trees / rank @@
+Normal rank
@@ Property / cites work @@
+Amortized Complexity Verified
@@ Property / cites work: Amortized Complexity Verified / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Functional Correctness Proofs for Functional Search Trees
+Normal rank
@@ Property / cites work @@
+Verified Root-Balanced Trees
@@ Property / cites work: Verified Root-Balanced Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Concrete Semantics
@@ Property / cites work: Concrete Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Algorithmen und Datenstrukturen
@@ Property / cites work: Algorithmen und Datenstrukturen / rank @@
+Normal rank
@@ Property / cites work @@
+The height of a random binary search tree
@@ Property / cites work: The height of a random binary search tree / rank @@
+Normal rank
@@ Property / cites work @@
+The analysis of Quicksort programs
@@ Property / cites work: The analysis of Quicksort programs / rank @@
+Normal rank
@@ Property / cites work @@
+Randomized search trees
@@ Property / cites work: Randomized search trees / rank @@
+Normal rank
@@ Property / cites work @@
+Verified tail bounds for randomized programs
@@ Property / cites work: Verified tail bounds for randomized programs / rank @@
+Normal rank
@@ Property / cites work @@
+A unifying look at data structures
@@ Property / cites work: A unifying look at data structures / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq
+Normal rank