Dario Stein

According to our database, Dario Stein authored at least 19 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Compositional Inference for Bayesian Networks and Causality.

Bart Jacobs, Márk Széles, Dario Stein

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, December, 2025

A Categorical Treatment of Open Linear Systems.

Dario Stein, Richard Samuelson

Log. Methods Comput. Sci., 2025

Random Variables, Conditional Independence and Categories of Abstract Sample Spaces.

Dario Stein

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

Graphical Quadratic Algebra.

Dario Stein, Fabio Zanasi, Robin Piedeleu, Richard Samuelson

Proceedings of the Theoretical Aspects of Computing - ICTAC 2025, 2025

Independent States are Orthogonal: A Categorical Framework to Treat Probability Geometrically.

Matthew Di Meglio, Chris Heunen, J. S. Lemay, Paolo Perrone, Dario Stein

Proceedings of the Geometric Science of Information - 7th International Conference, 2025

2024

Probabilistic Programming with Exact Conditions.

Dario Stein, Sam Staton

J. ACM, 2024

Combs, Causality and Contractions in Atomic Markov Categories.

Dario Stein, Márk Széles

Proceedings of the Proceedings Seventh International Conference on Applied Category Theory 2024, 2024

Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory).

Dario Stein, Richard Samuelson

Proceedings of the Foundations of Software Science and Computation Structures, 2024

2023

Dilations and information flow axioms in categorical probability.

Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Antonio Lorenzin, Paolo Perrone, Dario Stein

Math. Struct. Comput. Sci., 2023

Overdrawing Urns using Categories of Signed Probabilities.

Bart Jacobs, Dario Stein

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming.

Bart Jacobs, Dario Stein

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

Absolute continuity, supports and idempotent splitting in categorical probability.

Tobias Fritz, Tomás Gonda, Antonio Lorenzin, Paolo Perrone, Dario Stein

CoRR, 2023

Counting and Matching.

Bart Jacobs, Dario Stein

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

A Category for Unifying Gaussian Probability and Nondeterminism.

Dario Stein, Richard Samuelson

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Dilations and information flow axioms in categorical probability.

Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Paolo Perrone, Dario Stein

CoRR, 2022

Decorated Linear Relations: Extending Gaussian Probability with Uninformative Priors.

Dario Stein

CoRR, 2022

2021

Probabilistic programming semantics for name generation.

Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman

Proc. ACM Program. Lang., 2021

Compositional Semantics for Probabilistic Programs with Exact Conditioning.

Dario Stein, Sam Staton

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2018

The Beta-Bernoulli process and algebraic effects.

Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy

Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018