| 2026 | KR | Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games. | Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Jrvisalo |
| 2025 | ECAI | Apportionment with Weighted Seats. | Julian Chingoma, Ulle Endriss, Ronald de Haan, Adrian Haret, Jan Maly |
| 2024 | ECAI | Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation. | Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Jrvisalo |
| 2023 | KR | A Belief Model for Conflicting and Uncertain Evidence: Connecting Dempster-Shafer Theory and the Topology of Evidence. | Daira Pinto Prieto, Ronald de Haan, Aybke zgn |
| 2022 | AAAI | A Calculus for Computing Structured Justifications for Election Outcomes. | Arthur Boixel, Ulle Endriss, Ronald de Haan |
| 2022 | CogSci | Intractability of Bayesian belief-updating during communication. | Laura van de Braak, Ronald de Haan, Iris van Rooij, Mark Blokpoel |
| 2022 | UAI | Using hierarchies to efficiently combine evidence with Dempster's rule of combination. | Daira Pinto Prieto, Ronald de Haan |
| 2021 | AAAI | On the Complexity of Finding Justifications for Collective Decisions. | Arthur Boixel, Ronald de Haan |
| 2021 | CogSci | How hard is cognitive science? | Patricia Rich, Ronald de Haan, Todd Wareham, Iris van Rooij |
| 2021 | CogSci | Why is scaling up models of language evolution hard? | Marieke Woensdregt, Matthew Spike, Ronald de Haan, Todd Wareham, Iris van Rooij, Mark Blokpoel |
| 2021 | IJCAI | Shortlisting Rules and Incentives in an End-to-End Model for Participatory Budgeting. | Simon Rey, Ulle Endriss, Ronald de Haan |
| 2020 | KR | Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation. | Simon Rey, Ulle Endriss, Ronald de Haan |
| 2019 | AAAI | Pareto Optimal Allocation under Compact Uncertain Preferences. | Haris Aziz, Pter Bir, Ronald de Haan, Baharak Rastegari |
| 2019 | IJCAI | Answer Set Programming for Judgment Aggregation. | Ronald de Haan, Marija Slavkovik |
| 2018 | AAAI | Tool Auctions. | Janosch Dcker, Britta Dorn, Ulle Endriss, Ronald de Haan, Sebastian Schneckenburger |
| 2018 | FUN | Restricted Power - Computational Complexity Results for Strategic Defense Games. | Ronald de Haan, Petra Wolf |
| 2018 | KR | Hunting for Tractable Languages for Judgment Aggregation. | Ronald de Haan |
| 2018 | KR | A Parameterized Complexity View on Description Logic Reasoning. | Ronald de Haan |
| 2017 | IJCAI | Pareto Optimal Allocation under Uncertain Preferences. | Haris Aziz, Ronald de Haan, Baharak Rastegari |
| 2016 | ECAI | Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation. | Ronald de Haan |
| 2016 | KR | Succinctness of Languages for Judgment Aggregation. | Ulle Endriss, Umberto Grandi, Ronald de Haan, Jrme Lang |
| 2016 | KR | Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics. | Ronald de Haan, Stefan Szeider |
| 2016 | MFCS | On Existential MSO and its Relation to ETH. | Robert Ganian, Ronald de Haan, Iyad A. Kanj, Stefan Szeider |
| 2016 | SAGT | Stable Matching with Uncertain Linear Preferences. | Haris Aziz, Pter Bir, Serge Gaspers, Ronald de Haan, Nicholas Mattei, Baharak Rastegari |
| 2015 | IJCAI | Fixed-Parameter Tractable Reductions to SAT for Planning. | Ronald de Haan, Martin Kronegger, Andreas Pfandler |
| 2015 | SOFSEM | Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP. | Ronald de Haan, Stefan Szeider |
| 2015 | WoLLIC | A Dichotomy Result for Ramsey Quantifiers. | Ronald de Haan, Jakub Szymanik |
| 2014 | CP | Subexponential Time Complexity of CSP with Global Constraints. | Ronald de Haan, Iyad A. Kanj, Stefan Szeider |
| 2014 | ICTAI | Small Unsatisfiable Subsets in Constraint Satisfaction. | Ronald de Haan, Iyad A. Kanj, Stefan Szeider |
| 2014 | KR | The Parameterized Complexity of Reasoning Problems Beyond NP. | Ronald de Haan, Stefan Szeider |
| 2014 | SAT | Fixed-Parameter Tractable Reductions to SAT. | Ronald de Haan, Stefan Szeider |
| 2013 | AAAI | Parameterized Complexity Results for Plan Reuse. | Ronald de Haan, Anna Roubckov, Stefan Szeider |
| 2013 | SAT | Local Backbones. | Ronald de Haan, Iyad A. Kanj, Stefan Szeider |
| 2012 | IC3K | Detecting Temporally Related Arithmetical Patterns - An Extension of Complex Event Processing. | Ronald de Haan, Mikhail Roshchin |