Darion Haase

Orcid: 0000-0001-5664-6773

According to our database¹, Darion Haase authored at least 5 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact.

[BibT_eX]

[DOI]

Dataset, March, 2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions Artifact.

[BibT_eX]

[DOI]

Dataset, January, 2024

Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Unknown Biases and Timing Constraints in Timed Automata.

[BibT_eX]

[DOI]

Darion Haase

Joost-Pieter Katoen

CoRR, 2024

2022

Separation logic and logics with team semantics.

[BibT_eX]

[DOI]

Darion Haase

Erich Grädel

Richard Wilke

Ann. Pure Appl. Log., 2022

Darion Haase

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...