Dario Stein

26 papers A* 3B 4C 1Journal 14Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Categorical Treatment of Open Linear Systems.
Log. Methods Comput. Sci.
Dario Stein, Richard Samuelson
2025 B conf
Compositional Inference for Bayesian Networks and Causality.
MFPS
Bart Jacobs, Márk Széles, Dario Stein
2025 C conf
Graphical Quadratic Algebra.
ICTAC
Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson
2025 — conf
Independent States are Orthogonal: A Categorical Framework to Treat Probability Geometrically.
GSI (2)
Matthew Di Meglio, Chris Heunen, J. S. Lemay, Paolo Perrone, Dario Stein
2025 A* conf
Random Variables, Conditional Independence and Categories of Abstract Sample Spaces.
LICS
Dario Stein
2025 J jnl
Random Variables, Conditional Independence and Categories of Abstract Sample Spaces.
CoRR
Dario Stein
2024 J jnl
A Categorical Treatment of Open Linear Systems.
CoRR
Dario Stein, Richard Samuelson
2024 — conf
Combs, Causality and Contractions in Atomic Markov Categories.
ACT
Dario Stein, Márk Széles
2024 J jnl
Graphical Quadratic Algebra.
CoRR
Dario Stein, Fabio Zanasi, Richard Samuelson, Robin Piedeleu
2024 J jnl
Probabilistic Programming with Exact Conditions.
J. ACM
Dario Stein, Sam Staton
2024 — conf
Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory).
FoSSaCS (1)
Dario Stein, Richard Samuelson
2023 B conf
A Category for Unifying Gaussian Probability and Nondeterminism.
CALCO
Dario Stein, Richard Samuelson
2023 J jnl
Absolute continuity, supports and idempotent splitting in categorical probability.
CoRR
Tobias Fritz, Tomás Gonda, Antonio Lorenzin, Paolo Perrone, Dario Stein
2023 B conf
Counting and Matching.
CSL
Bart Jacobs, Dario Stein
2023 J jnl
Dilations and information flow axioms in categorical probability.
Math. Struct. Comput. Sci.
Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Antonio Lorenzin, Paolo Perrone, Dario Stein
2023 — conf
Overdrawing Urns using Categories of Signed Probabilities.
ACT
Bart Jacobs, Dario Stein
2023 B conf
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming.
MFPS
Bart Jacobs, Dario Stein
2023 J jnl
Probabilistic Programming with Exact Conditions.
CoRR
Dario Stein, Sam Staton
2022 J jnl
Decorated Linear Relations: Extending Gaussian Probability with Uninformative Priors.
CoRR
Dario Stein
2022 J jnl
Dilations and information flow axioms in categorical probability.
CoRR
Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Paolo Perrone, Dario Stein
2021 A* conf
Compositional Semantics for Probabilistic Programs with Exact Conditioning.
LICS
Dario Stein, Sam Staton
2021 J jnl
Compositional Semantics for Probabilistic Programs with Exact Conditioning.
CoRR
Dario Stein, Sam Staton
2021 J jnl
Probabilistic programming semantics for name generation.
Proc. ACM Program. Lang.
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
2020 J jnl
Probabilistic Programming Semantics for Name Generation.
CoRR
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
2018 A* conf
The Beta-Bernoulli process and algebraic effects.
ICALP
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
2018 J jnl
The Beta-Bernoulli process and algebraic effects.
CoRR
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy