Darion Haase

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Timing Constraints

Valued Semantics

Bayesian Inference

Top Venues

Proc. ACM Program. Lang.

Ann. Pure Appl. Log.

Publications

Darion Haase, Joost-Pieter Katoen
Unknown Biases and Timing Constraints in Timed Automata. CoRR (2024)
Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase, Joost-Pieter Katoen
Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Darion Haase, Erich Grädel, Richard Wilke
Separation logic and logics with team semantics. Ann. Pure Appl. Log. 173 (10) (2022)