Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2017, Chicago, IL, USA, May 14-19, 2017 (Emanuel Sallinger and Jan Van den Bussche and Floris Geerts), pages 233-246, 2017, ACM.

Soft Computing, volume 21(1), pages 79-95, 2017.

Proceedings of the Thirty-Second ACM/IEEE Symposium on Logic in Computer Science (LICS) June 20-23, 2017, Reykjavik, Iceland, 2017.

ACM Transactions on Computational Logic, volume 17, number 2, 2016.

2016, Technical report AC-TR-16-003, Algorithms and Complexity Group, TU Wien.

Theoretical Computer Science, volume 618, pages 72-84, 2016.

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA, pages 929-935, 2016.

Journal of Computer and System Sciences, volume 81, number AC-TR-15-007, pages 443-457, 2015.

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), CSL-LICS ‘14, Vienna, Austria, July 14 - 18, 2014 (Thomas A. Henzinger and Dale Miller), pages 21:1-21:10, 2014, ACM.

Parameterized and Exact Computation - 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers (Marek Cygan and Pinar Heggernes), volume 8894 of Lecture Notes in Computer Science, pages 122-134, 2014, Springer Verlag.

Studia Logica, volume 100, number 6, pages 1271-1290, 2012.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pages 887-898, 2009.