| 2017 | AAAI | Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining. | Christoph Redl |
| 2017 | AAAI | On Equivalence and Inconsistency of Answer Set Programs with External Sources. | Christoph Redl |
| 2017 | IJCAI | Conflict-driven ASP Solving with External Sources and Program Splits. | Christoph Redl |
| 2017 | LPNMR | Answer Set Programs with Queries over Subprograms. | Christoph Redl |
| 2017 | LPNMR | Explaining Inconsistency in Answer Set Programs and Extensions. | Christoph Redl |
| 2017 | PADL | Integrating Answer Set Programming with Object-Oriented Languages. | Jakob Rath, Christoph Redl |
| 2017 | PADL | Extending Answer Set Programs with Interpreted Functions as First-Class Citizens. | Christoph Redl |
| 2016 | IJCAI | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access. | Thomas Eiter, Tobias Kaminski, Christoph Redl, Antonius Weinzierl |
| 2014 | AAAI | Exploiting Support Sets for Answer Set Programs with External Evaluations. | Thomas Eiter, Michael Fink, Christoph Redl, Daria Stepanova |
| 2013 | AAAI | Liberal Safety for Answer Set Programs with External Sources. | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl |
| 2013 | LPNMR | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | LPNMR | VCWC: A Versioning Competition Workflow Compiler. | Gnther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | LPNMR | ActHEX: Implementing HEX Programs with Action Atoms. | Michael Fink, Stefano Germano, Giovambattista Ianni, Christoph Redl, Peter Schller |
| 2012 | ICLP | Answer Set Programming with External Sources. | Christoph Redl |
| 2012 | JELIA | Exploiting Unfounded Sets for HEX-Program Evaluation. | Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl, Peter Schller |
| 2011 | PADL | Declarative Belief Set Merging Using Merging Plans. | Christoph Redl, Thomas Eiter, Thomas Krennwallner |