1. Generative Datalog with Continuous Distributions;Journal of the ACM;2022-11-17
2. Vate;Proceedings of the 1st Workshop on Machine Learning and Systems;2021-04-26
3. Generative Datalog with Continuous Distributions;Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2020-05-29
4. Strategic port graph rewriting: an interactive modelling framework;Mathematical Structures in Computer Science;2018-08-02
5. Probabilistic Stable Functions on Discrete Cones are Power Series;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09