Dominik Geißler

Orcid: 0000-0001-5653-8764

According to our database¹, Dominik Geißler authored at least 3 papers between 2019 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata.

[DOI]

CoRR, December, 2025

Weighted Automata for Exact Inference in Discrete Probabilistic Programs.

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2025, 2025

2019

One Model To Rule Them All.

[DOI]

CoRR, 2019