| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Ganian, Robert ; Hliněný, Petr ; Langer, Alexander ; Obdržálek, Jan ; Rossmanith, Peter ; Sikdar, Somnath | Lower bounds on the complexity of MSO₁ model-checking | Artikel Article | Feb-2014 |
| 2 | | Kanj, Iyad ; de Haan, Ronald ; Szeider, Stefan | Small Unsatisfiable Subsets in Constraint Satisfaction | Konferenzbeitrag Inproceedings | 2014 |
| 3 | | Ganian, Robert ; Hliněný, Petr ; Kneis, Joachim ; Langer, Alexander ; Obdržálek, Jan ; Rossmanith, Peter | Digraph Width Measures in Parameterized Algorithmics | Artikel Article | 2014 |
| 4 | | Gaspers, Serge ; Szeider, Stefan | Guarantees and limits of preprocessing in constraint satisfaction and reasoning | Artikel Article | 2014 |
| 5 | | PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN | Tractable answer-set programming with weight constraints: bounded treewidth is not enough | Artikel Article | 2014 |
| 6 | | Endriss, Ulle ; de Haan, Ronald ; Szeider, Stefan | Parameterized Complexity Results for Agenda Safety in Judgment Aggregation | Konferenzbeitrag Inproceedings | 2014 |
| 7 | | de Haan, Ronald ; Szeider, Stefan | Fixed-Parameter Tractable Reductions to SAT | Konferenzbeitrag Inproceedings | 2014 |
| 8 | | Gaspers, Serge ; Misra, Neeldhara ; Ordyniak, Sebastian ; Szeider, Stefan ; Zivný, Stanislav | Backdoors into Heterogeneous Classes of SAT and CSP | Konferenzbeitrag Inproceedings | 2014 |
| 9 | | de Haan, Ronald ; Szeider, Stefan | The Parameterized Complexity of Reasoning Problems Beyond NP | Konferenzbeitrag Inproceedings | 2014 |
| 10 | | Kanj, Iyad ; de Haan, Ronald ; Szeider, Stefan | Subexponential Time Complexity of CSP with Global Constraints | Konferenzbeitrag Inproceedings | 2014 |
| 11 | | Bova, Simone ; Ganian, Robert ; Szeider, Stefan | Model Checking Existential Logic on Partially Ordered Sets | Konferenzbeitrag Inproceedings | 2014 |
| 12 | | Kim, Eun Jung ; Ordyniak, Sebastian ; Szeider, Stefan | The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation | Konferenzbeitrag Inproceedings | 2014 |
| 13 | | Bova, Simone ; Ganian, Robert ; Szeider, Stefan | Quantified Conjunctive Queries on Partially Ordered Sets | Konferenzbeitrag Inproceedings | 2014 |
| 14 | | Bova, Simone ; Chen, Hubie | The Complexity of Width Minimization for Existential Positive Queries | Konferenzbeitrag Inproceedings | 2014 |
| 15 | | Slivovsky, Friedrich ; Szeider, Stefan | Dependency Schemes and Q-resolution | Konferenzbeitrag Inproceedings | 2014 |
| 16 | | Slivovsky, Friedrich ; Szeider, Stefan | Model Counting for Formulas of Bounded Clique-Width | Konferenzbeitrag Inproceedings | 2013 |
| 17 | | Ganian, Robert ; Obdrálek, Jan | Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes | Konferenzbeitrag Inproceedings | 2013 |
| 18 | | Ganian, Robert ; Hlinený, Petr ; Král, Daniel ; Obdrálek, Jan ; Schwartz, Jarett ; Teska, Jakub | FO Model Checking of Interval Graphs | Konferenzbeitrag Inproceedings | 2013 |
| 19 | | Fichte, Johannes ; Szeider, Stefan | Backdoors to Normality for Disjunctive Logic Programs | Konferenzbeitrag Inproceedings | 2013 |
| 20 | | Ganian, Robert ; Slivovsky, Friedrich ; Szeider, Stefan | Meta-kernelization with Structural Parameters | Konferenzbeitrag Inproceedings | 2013 |