| Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui ; Son, Tran Cao ; Cabalar, Pedro | VCWC: A Versioning Competition Workflow Compiler | Konferenzbeitrag Inproceedings  | 2013 |
| 2 | | Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui ; Cabalar, Pedro ; Son, Tran Cao | The Fourth Answer Set Programming Competition: Preliminary Report | Konferenzbeitrag Inproceedings | 2013 |
| 3 | | Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena | Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines | Konferenzbeitrag Inproceedings | 2013 |
| 4 | | Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan | A Multiparametric View on Answer Set Programming | Konferenzbeitrag Inproceedings | 2017 |
