• Sign in
  • Sign up
conf.researchr.org / Niklas Mück
  • APLAS 2023 profile
  • PLDI 2025 profile
  • POPL 2025 profile
Niklas Mück

Registered user since Fri 3 Jan 2025

Name:Niklas Mück
Country:Germany
Affiliation:MPI-SWS

Contributions

2025

PriSC

  • Author of A Semantic Approach to Robust Property Preservation within the PriSC 2025-track

PLDI

  • Author of Destabilizing Iris within the PLDI Research Papers-track

2023

APLAS

  • Author of Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions within the APLAS 2023-track
Share
xWed 21 May 06:55
using conf.researchr.org (v1.69.0)
Support page
Sign Up