Dario Stein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICTAC | Graphical Quadratic Algebra. | Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson |
| 2025 | LICS | Random Variables, Conditional Independence and Categories of Abstract Sample Spaces. | Dario Stein |
| 2024 | FOSSACS | Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory). | Dario Stein, Richard Samuelson |
| 2023 | CALCO | A Category for Unifying Gaussian Probability and Nondeterminism. | Dario Stein, Richard Samuelson |
| 2023 | CSL | Counting and Matching. | Bart Jacobs, Dario Stein |
| 2021 | LICS | Compositional Semantics for Probabilistic Programs with Exact Conditioning. | Dario Stein, Sam Staton |
| 2018 | ICALP | The Beta-Bernoulli process and algebraic effects. | Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy |