Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tobias Winkler
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2022 profile
Registered user since Tue 30 Nov 2021
Name:
Tobias Winkler
Country:
Germany
Affiliation:
RWTH Aachen University
Contributions
2025
SPLASH
Author of Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back within the OOPSLA-track
2024
POPL
Author of Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs within the POPL-track
2023
LAFI
Author of Exact Probabilistic Inference Using Generating Functions within the LAFI 2023-track
2022
SPLASH
Author of Weighted programming: a programming paradigm for specifying mathematical models within the OOPSLA-track
VMCAI
Author of Out of Control: Reducing Probabilistic Models by Control-State Elimination within the VMCAI 2022-track
Share
x
Sun 26 Oct 19:48