Understanding Probabilistic Programs (Q3449623): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2296309018
@@ Property / OpenAlex ID: W2296309018 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic relational reasoning for differential privacy
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Tabular
@@ Property / cites work: Tabular / rank @@
+Normal rank
@@ Property / cites work @@
+Conditioning in probabilistic programming
@@ Property / cites work: Conditioning in probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic guarded commands mechanized in HOL
@@ Property / cites work: Probabilistic guarded commands mechanized in HOL / rank @@
+Normal rank
@@ Property / cites work @@
+On the Hardness of Almost–Sure Termination
@@ Property / cites work: On the Hardness of Almost–Sure Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-Invariant Generation for Probabilistic Programs:
+Normal rank
@@ Property / cites work @@
+Semantics of probabilistic programs
@@ Property / cites work: Semantics of probabilistic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4856179
@@ Property / cites work: Q4856179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Probabilistic Programs
@@ Property / cites work: Verification of Probabilistic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q5301801
@@ Property / cites work: Q5301801 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/birthday/KatoenGJKO15
@@ Property / DBLP publication ID: conf/birthday/KatoenGJKO15 / rank @@
+Normal rank