| 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 | 39 | 2021 |
| Structural foundations for probabilistic programming languages DM Stein University of Oxford, 2021 | 32 | 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 | 27 | 2018 |
| Probabilistic Programming Semantics for Name Generation M Sabok, S Staton, D Stein, M Wolman Principles of Programming Languages 2021, 2020 | 22 | 2020 |
| 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 | 17 | 2023 |
| 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 | 8 | 2023 |
| A category for unifying gaussian probability and nondeterminism D Stein, R Samuelson arXiv preprint arXiv:2204.14024, 2022 | 6 | 2022 |
| Probabilistic programming with exact conditions D Stein, S Staton Journal of the ACM 71 (1), 1-53, 2024 | 4 | 2024 |
| 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 | 3 | 2024 |
| Counting and matching BPF Jacobs, D Stein Dagstuhl: Schloss Dagstuhl, 2023 | 3 | 2023 |
| Graphical quadratic algebra D Stein, F Zanasi, R Piedeleu, R Samuelson arXiv preprint arXiv:2403.02284, 2024 | 2 | 2024 |
| 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 | 2 | 2023 |
| A Categorical Treatment of Open Linear Systems D Stein, R Samuelson arXiv preprint arXiv:2403.03934, 2024 | 1 | 2024 |
| Overdrawing Urns using Categories of Signed Probabilities B Jacobs, D Stein arXiv preprint arXiv:2312.12453, 2023 | 1 | 2023 |
| Decorated linear relations: Extending gaussian probability with uninformative priors D Stein arXiv preprint arXiv:2204.14024, 2022 | 1 | 2022 |
| Combs, Causality and Contractions in Atomic Markov Categories D Stein, M Széles arXiv preprint arXiv:2404.02017, 2024 | | 2024 |
| 31st EACSL Annual Conference on Computer Science Logic (CSL 2023) C Faggian, N Gierasimczuk, D Miller, JH Wu, D Sangiorgi, B Afshari, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| 10th Conference on Algebra and Coalgebra in Computer Science: CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA P Baldan, V de Paiva Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
| Towards a Compositional Framework for Convex Analysis D Stein, R Samuelson | | |
| Absolute continuity, supports and idempotent splitting in Markov categories T Fritz, T Gonda, A Lorenzin, P Perrone, D Stein | | |
