Niklas M\"uck

Identifiers

No identifiers captured yet.

Papers (1)

1. First Steps Towards Probabilistic Iris: Harmonizing Independence, Conditioning, and Dynamic Heap Allocation cs.LO · 2026 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Deepak Garg 1 shared papers
• Derek Dreyer 1 shared papers
• Emanuele D'Osualdo 1 shared papers
• Iona Kuhn 1 shared papers
• Janine Lohse 1 shared papers
• Jimmy Xin 1 shared papers
• Tim Rohde 1 shared papers