Concepedia

Thomas Quaritsch

TQ

4

Publications

94

Citations

4

H-Index

2011

Active since

Affiliations

Graz University of Technology(Current)

Thomas Quaritsch is an author at Graz University of Technology specializing in automated reasoning, engineering, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningData MiningData ScienceFormal VerificationKnowledge DiscoverySystems EngineeringDiagnosis

Publications per year

2011–2015

4

Publications

4

The route to success: a performance comparison of diagnosis algorithms

Iulia Nica, Ingo Pill, Thomas Quaritsch et al. · International Joint Conference on Artificial Intelligence · 2013 · 44 citations

Artificial Intelligence, Engineering, Intelligent Diagnostics +26

Behavioral diagnosis of LTL specifications at operator level

Ingo Pill, Thomas Quaritsch · International Joint Conference on Artificial Intelligence · 2013 · 25 citations

Engineering, Verification, Software Engineering +18

From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms

Ingo Pill, Thomas Quaritsch, Franz Wotawa · 2011 · 13 citations

RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm

Ingo Pill, Thomas Quaritsch · 2015 · 12 citations

Mathematical Programming, Computational Complexity Theory, Engineering +22

Rows per page

1–4 of 4