Roxane Koitz-Hristov

11 papers C 5Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2025 C conf
Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection.
DX
Roxane Koitz-Hristov, Liliana Marie Prikler, Franz Wotawa
2025 — conf
Peer Code Review Methods: An Experience Report from a Data Structures and Algorithms Course.
SIGCSE (1)
Roxane Koitz-Hristov
2025 C conf
Using Qualitative Simulation Models for Monitoring and Diagnosis.
DX
Ankita Das, Roxane Koitz-Hristov, Franz Wotawa
2025 — conf
VisOpt - Visualization of Compiler Optimizations for Computer Science Education.
SIGCSE (1)
Roxane Koitz-Hristov, Franz Mandl, Franz Wotawa
2024 J jnl
On the suitability of checked coverage and genetic parameter tuning in test suite reduction.
J. Softw. Evol. Process.
Roxane Koitz-Hristov, Thomas Sterner, Lukas Stracke, Franz Wotawa
2022 C conf
Checked Coverage for Test Suite Reduction - Is It Worth the Effort?
AST
Roxane Koitz-Hristov, Lukas Stracke, Franz Wotawa
2020 J jnl
Faster horn diagnosis - a performance comparison of abductive reasoning algorithms.
Appl. Intell.
Roxane Koitz-Hristov, Franz Wotawa
2019 C ed.
Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019, Proceedings
IEA/AIE
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
2019 J jnl
Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference.
AI Mag.
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
2019 C ed.
Immersive Learning Research Network - 5th International Conference, iLRN 2019, London, UK, June 23-27, 2019, Proceedings
iLRN
Dennis Beck, Anasol Peña-Ríos, J. Todd Ogle, Daphne Economou, Markos Mentzelopoulos, Leonel Morgado, Christian Eckhardt, Johanna Pirker, Roxane Koitz-Hristov, Jonathon Richter, Christian Gütl, Michael Gardner
2018 — conf
On the Superiority of Conflict-Driven Search in MUS Enumeration.
DX
Roxane Koitz-Hristov, Franz Wotawa