| Compositional Semantics for Probabilistic Programs with Exact Conditioning D Stein, S Staton LICS '21: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021 | 44 | 2021 |
| Structural foundations for probabilistic programming languages DM Stein University of Oxford, 2021 | 39 | 2021 |
| The Beta-Bernoulli process and algebraic effects S Staton, D Stein, H Yang, NL Ackerman, CE Freer, DM Roy International Colloquium on Automata, Languages and Programming 2018, 2018 | 32 | 2018 |
| Dilations and information flow axioms in categorical probability T Fritz, T Gonda, NG Houghton-Larsen, A Lorenzin, P Perrone, D Stein Mathematical Structures in Computer Science 33 (10), 913-957, 2023 | 28 | 2023 |
| Probabilistic Programming Semantics for Name Generation M Sabok, S Staton, D Stein, M Wolman Principles of Programming Languages 2021, 2020 | 22 | 2020 |
| Absolute continuity, supports and idempotent splitting in categorical probability T Fritz, T Gonda, A Lorenzin, P Perrone, D Stein arXiv preprint arXiv:2308.00651, 2023 | 16 | 2023 |
| Probabilistic programming with exact conditions D Stein, S Staton Journal of the ACM 71 (1), 1-53, 2024 | 13 | 2024 |
| A category for unifying gaussian probability and nondeterminism D Stein, R Samuelson arXiv preprint arXiv:2204.14024, 2022 | 9 | 2022 |
| Towards a compositional framework for convex analysis (with applications to probability theory) D Stein, R Samuelson International Conference on Foundations of Software Science and Computation …, 2024 | 7 | 2024 |
| Graphical quadratic algebra D Stein, F Zanasi, R Piedeleu, R Samuelson International Colloquium on Theoretical Aspects of Computing, 298-316, 2025 | 5 | 2025 |
| Counting and matching BPF Jacobs, D Stein Dagstuhl: Schloss Dagstuhl, 2023 | 3 | 2023 |
| A Categorical Treatment of Open Linear Systems D Stein, R Samuelson Logical Methods in Computer Science 21, 2025 | 2 | 2025 |
| Random Variables, Conditional Independence and Categories of Abstract Sample Spaces D Stein arXiv preprint arXiv:2503.02477, 2025 | 2 | 2025 |
| Compositional inference for Bayesian networks and causality B Jacobs, M Széles, D Stein Math. Found. of Programming Semantics, 2025 | 2 | 2025 |
| Overdrawing urns using categories of signed probabilities B Jacobs, D Stein arXiv preprint arXiv:2312.12453, 2023 | 2 | 2023 |
| Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories M Di Meglio, C Heunen, JSP Lemay, P Perrone, D Stein arXiv preprint arXiv:2508.01146, 2025 | 1 | 2025 |
| Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming B Jacobs, D Stein Electronic Notes in Theoretical Informatics and Computer Science 3, 2023 | 1 | 2023 |
| Absolute confinuity, supports and idempotent splitting in Markov categories T Fritz, T Gonda, A Lorenzin, P Perrone, D Stein arXiv preprint arXiv:2308.00651, 2023 | 1 | 2023 |
| Decorated linear relations: Extending gaussian probability with uninformative priors D Stein arXiv preprint arXiv:2204.14024, 2022 | 1 | 2022 |
| Independent States are Orthogonal: A Categorical Framework to Treat Probability Geometrically M Di Meglio, C Heunen, JS Lemay, P Perrone, D Stein International Conference on Geometric Science of Information, 262-269, 2025 | | 2025 |
