Roxane Koitz-Hristov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2018–2025
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | DX | Using Qualitative Simulation Models for Monitoring and Diagnosis. | Ankita Das, Roxane Koitz-Hristov, Franz Wotawa |
| 2025 | DX | Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection. | Roxane Koitz-Hristov, Liliana Marie Prikler, Franz Wotawa |
| 2025 | SIGCSE | Peer Code Review Methods: An Experience Report from a Data Structures and Algorithms Course. | Roxane Koitz-Hristov |
| 2025 | SIGCSE | VisOpt - Visualization of Compiler Optimizations for Computer Science Education. | Roxane Koitz-Hristov, Franz Mandl, Franz Wotawa |
| 2022 | AST | Checked Coverage for Test Suite Reduction - Is It Worth the Effort? | Roxane Koitz-Hristov, Lukas Stracke, Franz Wotawa |
| 2018 | SAFEProcess | On the Superiority of Conflict-Driven Search in MUS Enumeration. | Roxane Koitz-Hristov, Franz Wotawa |