| 2026 | KR | Splitting Assumption-Based Argumentation Frameworks. | Giovanni Buraglio, Wolfgang Dvork, Stefan Woltran |
| 2026 | KR | Simple Guess-and-Check Programs: Strong and Uniform Equivalence Meet Again. | Wolfgang Dvork, Zeynep G. Saribatur, Stefan Woltran |
| 2024 | AAAI | Redefining ABA+ Semantics via Abstract Set-to-Set Attacks. | Yannis Dimopoulos, Wolfgang Dvork, Matthias Knig, Anna Rapberger, Markus Ulbricht, Stefan Woltran |
| 2024 | COMMA | Splitting Argumentation Frameworks with Collective Attacks. | Giovanni Buraglio, Wolfgang Dvork, Matthias Knig, Stefan Woltran |
| 2024 | COMMA | Connecting Abstract Argumentation and Boolean Networks. | Yannis Dimopoulos, Wolfgang Dvork, Matthias Knig |
| 2024 | COMMA | The GSAF Solver and Verifier. | Alexander Greler, Wolfgang Dvork, Stefan Woltran |
| 2024 | IJCAI | Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes. | Giovanni Buraglio, Wolfgang Dvork, Matthias Knig, Markus Ulbricht |
| 2024 | SAC | Equipping Abstract Argumentation Solvers for Verifying Negative Results. | Wolfgang Dvork, Alexander Greler, Stefan Woltran |
| 2023 | AAAI | The Effect of Preferences in Abstract Argumentation under a Claim-Centric View. | Michael Bernreiter, Wolfgang Dvork, Anna Rapberger, Stefan Woltran |
| 2022 | AAAI | Tractable Abstract Argumentation via Backdoor-Treewidth. | Wolfgang Dvork, Markus Hecher, Matthias Knig, Andr Schidler, Stefan Szeider, Stefan Woltran |
| 2022 | COMMA | Abstract Argumentation with Conditional Preferences. | Michael Bernreiter, Wolfgang Dvork, Stefan Woltran |
| 2022 | COMMA | Treewidth for Argumentation Frameworks with Collective Attacks. | Wolfgang Dvork, Matthias Knig, Stefan Woltran |
| 2022 | COMMA | Deletion-Backdoors for Argumentation Frameworks with Collective Attacks. | Wolfgang Dvork, Matthias Knig, Stefan Woltran |
| 2022 | COMMA | Non-Admissibility in Abstract Argumentation. | Wolfgang Dvork, Tjitze Rienstra, Leendert van der Torre, Stefan Woltran |
| 2022 | COMMA | How Complex Is the Strong Admissibility Semantics for Abstract Dialectical Frameworks? | Atefeh Keshavarzi Zafarghandi, Wolfgang Dvork, Rineke Verbrugge, Bart Verheij |
| 2022 | KR | Rediscovering Argumentation Principles Utilizing Collective Attacks. | Wolfgang Dvork, Matthias Knig, Markus Ulbricht, Stefan Woltran |
| 2021 | AAAI | Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility. | Wolfgang Dvork, Markus Ulbricht, Stefan Woltran |
| 2021 | AAAI | The Complexity Landscape of Claim-Augmented Argumentation Frameworks. | Wolfgang Dvork, Alexander Greler, Anna Rapberger, Stefan Woltran |
| 2021 | JELIA | Graph-Classes of Argumentation Frameworks with Collective Attacks. | Wolfgang Dvork, Matthias Knig, Stefan Woltran |
| 2021 | KR | On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length. | Wolfgang Dvork, Matthias Knig, Stefan Woltran |
| 2021 | LICS | Symbolic Time and Space Tradeoffs for Probabilistic Verification. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2020 | COMMA | Ranking-Based Semantics from the Perspective of Claims. | Stefano Bistarelli, Wolfgang Dvork, Carlo Taticchi, Stefan Woltran |
| 2020 | COMMA | The ASPARTIX System Suite. | Wolfgang Dvork, Sarah Alice Gaggl, Anna Rapberger, Johannes P. Wallner, Stefan Woltran |
| 2020 | COMMA | Labelling-based Algorithms for SETAFs. | Wolfgang Dvork, Anna Rapberger, Johannes P. Wallner |
| 2020 | COMMA | Computing Strongly Admissible Sets. | Wolfgang Dvork, Johannes P. Wallner |
| 2020 | COMMA | Expressiveness of SETAFs and Support-Free ADFs Under 3-Valued Semantics. | Wolfgang Dvork, Atefeh Keshavarzi Zafarghandi, Stefan Woltran |
| 2020 | ECAI | On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks. | Wolfgang Dvork, Anna Rapberger, Stefan Woltran |
| 2020 | KR | Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs. | Wolfgang Dvork, Anna Rapberger, Stefan Woltran |
| 2019 | AAAI | Complexity of Abstract Argumentation under a Claim-Centric View. | Wolfgang Dvork, Stefan Woltran |
| 2019 | CONCUR | Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2019 | JELIA | Preprocessing Argumentation Frameworks via Replacement Patterns. | Wolfgang Dvork, Matti Jrvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran |
| 2019 | KI | Strong Equivalence for Argumentation Frameworks with Collective Attacks. | Wolfgang Dvork, Anna Rapberger, Stefan Woltran |
| 2018 | COMMA | On the Expressive Power of Collective Attacks. | Wolfgang Dvork, Jorge Fandinno, Stefan Woltran |
| 2018 | COMMA | Evaluating SETAFs via Answer-Set Programming | Wolfgang Dvork, Alexander Greler, Stefan Woltran |
| 2018 | LPAR | Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Alexander Svozil |
| 2018 | SODA | Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2017 | CSL | Improved Set-Based Symbolic Algorithms for Parity Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2017 | IJCAI | A General Notion of Equivalence for Abstract Argumentation. | Ringo Baumann, Wolfgang Dvork, Thomas Linsbichler, Stefan Woltran |
| 2016 | LICS | Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2016 | MFCS | Conditionally Optimal Algorithms for Generalized Bchi Games. | Krishnendu Chatterjee, Wolfgang Dvork, Monika Henzinger, Veronika Loitzenbauer |
| 2015 | IJCAI | Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract). | Wolfgang Dvork, Matti Jrvisalo, Johannes Peter Wallner, Stefan Woltran |
| 2015 | STACS | Welfare Maximization with Friends-of-Friends Network Externalities. | Sayan Bhattacharya, Wolfgang Dvork, Monika Henzinger, Martin Starnberger |
| 2014 | COMMA | Resolution-Based Grounded Semantics Revisited. | Wolfgang Dvork, Thomas Linsbichler, Emilia Oikarinen, Stefan Woltran |
| 2014 | ECAI | Compact Argumentation Frameworks. | Ringo Baumann, Wolfgang Dvork, Thomas Linsbichler, Hannes Strass, Stefan Woltran |
| 2014 | KR | Characteristics of Multiple Viewpoints in Abstract Argumentation. | Paul E. Dunne, Wolfgang Dvork, Thomas Linsbichler, Stefan Woltran |
| 2014 | WAOA | Online Ad Assignment with an Ad Exchange. | Wolfgang Dvork, Monika Henzinger |
| 2013 | ESA | Maximizing a Submodular Function with Viability Constraints. | Wolfgang Dvork, Monika Henzinger, David P. Williamson |
| 2012 | COMMA | dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. | Gnther Charwat, Wolfgang Dvork |
| 2012 | COMMA | Computational Aspects of cf2 and stage2 Argumentation Semantics. | Wolfgang Dvork, Sarah Alice Gaggl |
| 2012 | COMMA | Comparing the Expressiveness of Argumentation Semantics. | Wolfgang Dvork, Christof Spanring |
| 2012 | KR | Complexity-Sensitive Decision Procedures for Abstract Argumentation. | Wolfgang Dvork, Matti Jrvisalo, Johannes Peter Wallner, Stefan Woltran |
| 2011 | IJCAI | Parametric Properties of Ideal Semantics. | Wolfgang Dvork, Paul E. Dunne, Stefan Woltran |
| 2010 | COMMA | Reasoning in Argumentation Frameworks of Bounded Clique-Width. | Wolfgang Dvork, Stefan Szeider, Stefan Woltran |
| 2010 | KR | Towards Fixed-Parameter Tractable Algorithms for Argumentation. | Wolfgang Dvork, Reinhard Pichler, Stefan Woltran |
| 2009 | PPDP | Alternation as a programming paradigm. | Wolfgang Dvork, Georg Gottlob, Reinhard Pichler, Stefan Woltran |