• Sign in
  • Sign up
conf.researchr.org / Dominik Wagner
  • ETAPS 2019 profile
  • ICSE 2025 profile
  • POPL 2022 profile
  • POPL 2023 profile
No Photo

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
xFri 23 May 18:05
using conf.researchr.org (v1.69.0)
Support page
Sign Up