Matthias Jung
Identifiers
No identifiers captured yet.
Papers (3)
- Autoformalizing Memory Specifications with Agents cs.AR · 2026 · author #9
- Deep-CLASS at ISIC Machine Learning Challenge 2018 cs.LG · 2018 · author #2
- Integrating DRAM Power-Down Modes in gem5 and Quantifying their Impact cs.AR · 2018 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Andreas Hansson 1 shared papers
- Christian Weis 1 shared papers
- Derek Christ 1 shared papers
- Dmitri Michelangelo Saberi 1 shared papers
- Jan Ole Ernst 1 shared papers
- Julien Helsper 1 shared papers
- Madjid Fathi 1 shared papers
- Norbert Wehn 1 shared papers
- Radhika Jagtap 1 shared papers
- Rajath Salegame 1 shared papers
- Sara Nasiri 1 shared papers
- Stanislav Levental 1 shared papers
- Suhaas M. Bhat 1 shared papers
- Thomas Dybdahl Ahle 1 shared papers
- Thomas Zimmermann 1 shared papers
- Wendy Elsasser 1 shared papers