Schmitz, Thomas

4 publications

IJCAI 2016 Efficient Sequential Model-Based Fault-Localization with Partial Diagnoses Kostyantyn M. Shchekotykhin, Thomas Schmitz, Dietmar Jannach

JAIR 2016 Parallel Model-Based Diagnosis on Multi-Core Computers Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin

IJCAI 2015 MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis Kostyantyn M. Shchekotykhin, Dietmar Jannach, Thomas Schmitz

AAAI 2015 Parallelized Hitting Set Computation for Model-Based Diagnosis Dietmar Jannach, Thomas Schmitz, Kostyantyn M. Shchekotykhin