Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers. - Roxane Koitz; Wolfgang Slany (PLATEAU, 2014)

Diagnosis of Technical Systems. - Roxane Koitz; Franz Wotawa (IJCAI, 2015)

Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms. - Roxane Koitz; Franz Wotawa (DARe@IJCAI, 2015)

SAT-Based Abductive Diagnosis. - Roxane Koitz; Franz Wotawa (DX, 2015)

Improving Abductive Diagnosis Through Structural Features: A Meta-Approach. - Roxane Koitz; Franz Wotawa (DARe@ECAI, 2016)

On Structural Properties to Improve FMEA-Based Abductive Diagnosis. - Roxane Koitz; Franz Wotawa (KnowProS@IJCAI, 2016)

Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines. - Roxane Koitz; Johannes Lüftenegger; Franz Wotawa (IEA/AIE (1), 2017)

On the Superiority of Conflict-Driven Search in MUS Enumeration. - Roxane Koitz-Hristov; Franz Wotawa (DX, 2018)

Applying algorithm selection to abductive diagnostic reasoning. - Roxane Koitz; Franz Wotawa (Appl. Intell., 2018)

Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference. - Franz Wotawa; Gerhard Friedrich; Ingo Pill; Roxane Koitz-Hristov; Moonis Ali (AI Mag., 2019)

Faster horn diagnosis - a performance comparison of abductive reasoning algorithms. - Roxane Koitz-Hristov; Franz Wotawa (Appl. Intell., 2020)

Checked Coverage for Test Suite Reduction - Is It Worth the Effort? - Roxane Koitz-Hristov; Lukas Stracke; Franz Wotawa (AST@ICSE, 2022)

On the suitability of checked coverage and genetic parameter tuning in test suite reduction. - Roxane Koitz-Hristov; Thomas Sterner; Lukas Stracke; Franz Wotawa (J. Softw. Evol. Process., 2024)

Peer Code Review Methods: An Experience Report from a Data Structures and Algorithms Course. - Roxane Koitz-Hristov (SIGCSE (1), 2025)

VisOpt - Visualization of Compiler Optimizations for Computer Science Education. - Roxane Koitz-Hristov; Franz Mandl; Franz Wotawa (SIGCSE (1), 2025)