Thomas Quaritsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2012–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ISSRE | RC-Tree: A variant avoiding all the redundancy in Reiter's minimal hitting set algorithm. | Ingo Pill, Thomas Quaritsch |
| 2015 | ISSRE | Parse tree structure in LTL requirements diagnosis. | Ingo Pill, Thomas Quaritsch, Franz Wotawa |
| 2013 | IJCAI | The Route to Success - A Performance Comparison of Diagnosis Algorithms. | Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa |
| 2013 | IJCAI | Behavioral Diagnosis of LTL Specifications at Operator Level. | Ingo Pill, Thomas Quaritsch |
| 2012 | ECAI | Optimizations for the Boolean Approach to Computing Minimal Hitting Sets. | Ingo Pill, Thomas Quaritsch |