Parameterized Complexity of Optimal Planning: A Detailed Map. - Martin Kronegger; Andreas Pfandler; Reinhard Pichler (IJCAI, 2013)

The Fourth Answer Set Programming Competition: Preliminary Report. - Mario Alviano; Francesco Calimeri; Günther Charwat; Minh Dao-Tran; Carmine Dodaro; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Johannes Oetsch; Andreas Pfandler; Jörg Pührer; Christoph Redl; et al. (LPNMR, 2013)

VCWC: A Versioning Competition Workflow Compiler. - Günther Charwat; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Andreas Pfandler; Christoph Redl; Martin Schwengerer; Lara Katharina Spendier; Johannes Peter Wallner; Guohui Xiao 001 (LPNMR, 2013)

Global State Checker: Towards SAT-Based Reachability Analysis of Communicating State Machines. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (MoDeVVa@MoDELS, 2013)

A Parameterized Complexity Analysis of Generalized CP-Nets. - Martin Kronegger; Martin Lackner; Andreas Pfandler; Reinhard Pichler (AAAI, 2014)

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (SLE, 2014)

Variable-Deletion Backdoors to Planning. - Martin Kronegger; Sebastian Ordyniak; Andreas Pfandler (AAAI, 2015)

Fixed-Parameter Tractable Reductions to SAT for Planning. - Ronald de Haan; Martin Kronegger; Andreas Pfandler (IJCAI, 2015)

Intra- and interdiagram consistency checking of behavioral multiview models. - Petra Kaufmann; Martin Kronegger; Andreas Pfandler; Martina Seidl; Magdalena Widl (Comput. Lang. Syst. Struct., 2015)

Conformant planning as a case study of incremental QBF solving. - Uwe Egly; Martin Kronegger; Florian Lonsing; Andreas Pfandler (Ann. Math. Artif. Intell., 2017)

Backdoors to planning. - Martin Kronegger; Sebastian Ordyniak; Andreas Pfandler (Artif. Intell., 2019)

Parameterized Complexity of Asynchronous Border Minimization. - Robert Ganian; Martin Kronegger; Andreas Pfandler; Alexandru Popa 001 (Algorithmica, 2019)

A multiparametric view on answer set programming. - Johannes Klaus Fichte; Martin Kronegger; Stefan Woltran (Ann. Math. Artif. Intell., 2019)