Abseher, M., Moldovan, M., & Woltran, S. (2016). Providing Built-In Counters in a Declarative Dynamic Programming Environment. In G. Friedrich, M. Helmert, & F. Wotawa (Eds.), KI 2016: Advances in Artificial Intelligence (pp. 3–16). LNCS/Springer. https://doi.org/10.1007/978-3-319-46073-4_1 ( reposiTUm)

Dunne, P. E., Linsbichler, T., Spanring, C., & Woltran, S. (2016). Investigating the relationship between argumentation semantics via signatures. In G. Friedrich, M. Helmert, & F. Wotawa (Eds.), Advances in Artificial Intelligence - 39th Annual German Conference on AI, Proceedings (pp. 271–277). Springer. http://hdl.handle.net/20.500.12708/56782 ( reposiTUm)

Bliem, B., Kaufmann, B., Schaub, T., & Woltran, S. (2016). ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract). In G. Friedrich, M. Helmert, & F. Wotawa (Eds.), KI 2016: Advances in Artificial Intelligence (pp. 257–263). LNCS/Springer. http://hdl.handle.net/20.500.12708/56694 ( reposiTUm)

Leitner, P., Schulte, S., Dustdar, S., Pill, I., Schulz, M., & Wotawa, F. (2013). The Dark Side of SOA Testing: Towards Testing Contemporary SOAs Based on Criticality Metrics. In Proceedings of the 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2013) (pp. 45–53). IEEE Computer Society. http://hdl.handle.net/20.500.12708/54629 ( reposiTUm)

Wotawa, F., Schulz, M., Pill, I., Jehan, S., Leitner, P., Hummer, W., Schulte, S., Hoenisch, P., & Dustdar, S. (2013). Fifty Shades of Grey in SOA Testing. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops. 9th Workshop on Advances in Model Based Testing (A-MOST 2013) co-located with ICST 2013, Luxembourg, Luxembourg. IEEE Computer Society. https://doi.org/10.1109/icstw.2013.26 ( reposiTUm)

Wotawa, F. (2001). Model-based debugging [Professorial Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183905 ( reposiTUm)