1. Lilac: A Modal Separation Logic for Conditional Probability;Proceedings of the ACM on Programming Languages;2023-06-06
2. Measurability and Products of Random Sets;Building Bridges between Soft and Statistical Methodologies for Data Science;2022-08-25
3. Infinite Probabilistic Databases;Logical Methods in Computer Science;2022-02-25
4. Bisimulation Cuts For Structuring Markov Transition Systems;Fundamenta Informaticae;2016-12-24