Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dominik Wagner
conf.researchr.org general profile
ETAPS 2019 profile
ICSE 2025 profile
POPL 2022 profile
POPL 2023 profile
Registered user since Sun 13 Jan 2019
Name:
Dominik Wagner
Contributions
2025
ICSE
Author of Formally Verified Cloud-Scale Authorization within the Research Track-track
2023
LAFI
Author of On the Reparameterisation Gradient for Non-Differentiable but Continuous Models within the LAFI 2023-track
2022
LAFI
Author of A Language and Smoothed Semantics for Convergent Stochastic Gradient Descent within the LAFI-track
2019
HCVS
Author of HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories within the HCVS-track
Share
x
Tue 6 May 14:08
