Bova, S., & Chen, H. (2014). The Complexity of Width Minimization for Existential Positive Queries. In ICDT 2014 (pp. 235–244). http://hdl.handle.net/20.500.12708/55813 ( reposiTUm)

Kanj, I., de Haan, R., & Szeider, S. (2014). Subexponential Time Complexity of CSP with Global Constraints. In CP 2014 (pp. 272–288). LNCS / Springer. http://hdl.handle.net/20.500.12708/55810 ( reposiTUm)

Bova, S., Ganian, R., & Szeider, S. (2014). Model Checking Existential Logic on Partially Ordered Sets. In CSL-LICS 2014. Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vienna, Austria. ACM New York, NY, USA. http://hdl.handle.net/20.500.12708/55811 ( reposiTUm)

de Haan, R., & Szeider, S. (2014). The Parameterized Complexity of Reasoning Problems Beyond NP. In KR 2014 (pp. 82–91). http://hdl.handle.net/20.500.12708/55807 ( reposiTUm)

Endriss, U., de Haan, R., & Szeider, S. (2014). Parameterized Complexity Results for Agenda Safety in Judgment Aggregation. In COMSOC 2014. International Workshop on Computational Social Choice (COMSOC), Krakow, Poland, EU. http://hdl.handle.net/20.500.12708/55806 ( reposiTUm)

de Haan, R., & Szeider, S. (2014). Fixed-Parameter Tractable Reductions to SAT. In SAT 2014 (pp. 85–102). LNCS / Springer. http://hdl.handle.net/20.500.12708/55808 ( reposiTUm)

Bova, S., Ganian, R., & Szeider, S. (2014). Quantified Conjunctive Queries on Partially Ordered Sets. In IPEC 2014 (pp. 122–134). LNCS / Springer. http://hdl.handle.net/20.500.12708/55812 ( reposiTUm)

Kanj, I., de Haan, R., & Szeider, S. (2014). Small Unsatisfiable Subsets in Constraint Satisfaction. In IEEE-ICTAI 2014. The IEEE International Conference on Tools with Artificial Intelligence, Special Track on SAT and CSP Technologies (ICTAI), Washington D.C., USA, Non-EU. http://hdl.handle.net/20.500.12708/55734 ( reposiTUm)