Separation logic and logics with team semantics. - Darion Haase; Erich Grädel; Richard Wilke (Ann. Pure Appl. Log., 2022)

Unknown Biases and Timing Constraints in Timed Automata. - Darion Haase; Joost-Pieter Katoen (CoRR, 2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions. - Lutz Klinkenberg; Christian Blumenthal; Mingshuai Chen; Darion Haase; Joost-Pieter Katoen (Proc. ACM Program. Lang., 2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact. - Lutz Klinkenberg; Christian Blumenthal; Mingshuai Chen; Darion Haase; Joost-Pieter Katoen (Zenodo, 2024)

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact. - Lutz Klinkenberg; Christian Blumenthal; Mingshuai Chen; Darion Haase; Joost-Pieter Katoen (Zenodo, 2024)