Christian Hensel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2023
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ASRU | Can Unpaired Textual Data Replace Synthetic Speech in ASR Model Adaptation? | Pasquale D'Alterio, Christian Hensel, Bashar Awwad Shiekh Hasan |
| 2019 | FM | Counterexample-Driven Synthesis for Probabilistic Program Sketches. | Milan Ceska, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen |
| 2019 | TACAS | The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report). | Ernst Moritz Hahn, Arnd Hartmanns, Christian Hensel, Michaela Klauck, Joachim Klein, Jan Kretnsk, David Parker, Tim Quatmann, Enno Ruijters, Marcel Steinmetz |