The Parameterized Complexity of Abduction. - Michael R. Fellows; Andreas Pfandler; Frances A. Rosamond; Stefan Rümmele (AAAI, 2012)

Fixed-Parameter Algorithms for Closed World Reasoning. - Martin Lackner; Andreas Pfandler (ECAI, 2012)

Train Marshalling Is Fixed Parameter Tractable. - Leo Brueggeman; Michael R. Fellows; Rudolf Fleischer; Martin Lackner; Christian Komusiewicz; Yiannis Koutis; Andreas Pfandler; Frances A. Rosamond (FUN, 2012)

Fixed-Parameter Algorithms for Finding Minimal Models. - Martin Lackner; Andreas Pfandler (KR, 2012)

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

Backdoors to Abduction. - Andreas Pfandler; Stefan Rümmele; Stefan Szeider (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)

Democratix: A Declarative Approach to Winner Determination. - Günther Charwat; Andreas Pfandler (ADT, 2015)

Manipulation of k-Approval in Nearly Single-Peaked Electorates. - Gábor Erdélyi; Martin Lackner; Andreas Pfandler (ADT, 2015)

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

On the Parameterized Complexity of Belief Revision. - Andreas Pfandler; Stefan Rümmele; Johannes Peter Wallner; Stefan Woltran (IJCAI, 2015)

Distance-Bounded Consistent Query Answering. - Andreas Pfandler; Emanuel Sallinger (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)

The complexity of handling minimal solutions in logic-based abduction. - Andreas Pfandler; Reinhard Pichler; Stefan Woltran (J. Log. Comput., 2015)

Beyond IC Postulates: Classification Criteria for Merging Operators. - Adrian Haret; Andreas Pfandler; Stefan Woltran (ECAI, 2016)

Unsere Empfehlung für Sie: Präferenzen und Personalisierung in der Informatik. - Markus Endres; Andreas Pfandler (GI-Jahrestagung, 2016)

PPI17 - Vorwort. - Markus Endres; Andreas Pfandler (BTW (Workshops), 2017)

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

Computational Aspects of Nearly Single-Peaked Electorates. - Gábor Erdélyi; Martin Lackner; Andreas Pfandler (J. Artif. Intell. Res., 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)

TE-ETH: Lower Bounds for QBFs of Bounded Treewidth. - Johannes Klaus Fichte; Markus Hecher; Andreas Pfandler (CoRR, 2019)

Proportional Belief Merging. - Adrian Haret; Martin Lackner; Andreas Pfandler; Johannes Peter Wallner (AAAI, 2020)

Lower Bounds for QBFs of Bounded Treewidth. - Johannes Klaus Fichte; Markus Hecher; Andreas Pfandler (LICS, 2020)