Ronald de Haan

Identifiers

• name variant Ronald de Haan 0.60 · backfill

Papers (13)

1. The Model Checking Problem for Distributed Knowing How is $\Delta^p_2$-Complete cs.LO · 2026 · author #2
2. A Parameterized Complexity View on Description Logic Reasoning cs.LO · 2018 · author #1
3. Hunting for Tractable Languages for Judgment Aggregation cs.AI · 2018 · author #1
4. Expressing Linear Orders Requires Exponential-Size DNNFs cs.CC · 2018 · author #1
5. Obtaining a Proportional Allocation by Deleting Items cs.MA · 2017 · author #2
6. Pareto Optimal Allocation under Uncertain Preferences cs.GT · 2016 · author #2
7. Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation cs.AI · 2016 · author #1
8. Stable Matching with Uncertain Linear Preferences cs.GT · 2016 · author #4
9. The Parameterized Complexity of Reasoning Problems Beyond NP cs.CC · 2013 · author #1
10. Parameterized Complexity Results for Plan Reuse cs.AI · 2013 · author #1
11. Local Backbones cs.CC · 2013 · author #1
12. Functional Logic Programming with Generalized Circular Coinduction cs.PL · 2012 · author #1
13. The RegularGcc Matrix Constraint cs.AI · 2012 · author #1

Mentions

• 2606.26709 #2 · arxiv_oai · confidence 0.70 Ronald de Haan
• 1312.1672 #1 · backfill · confidence 0.70 Ronald de Haan
• 1307.4440 #1 · backfill · confidence 0.70 Ronald de Haan
• 1304.5479 #1 · backfill · confidence 0.70 Ronald de Haan
• 1203.0835 #1 · backfill · confidence 0.70 Ronald de Haan
• 1201.0564 #1 · backfill · confidence 0.70 Ronald de Haan

Frequent Coauthors

• Stefan Szeider 3 shared papers
• Baharak Rastegari 2 shared papers
• Haris Aziz 2 shared papers
• Anna Roub\'i\v{c}kov\'a 1 shared papers
• Britta Dorn 1 shared papers
• Ildik\'o Schlotter 1 shared papers
• Iyad Kanj 1 shared papers
• Nicholas Mattei 1 shared papers
• Nina Narodytska 1 shared papers
• P\'eter Bir\'o 1 shared papers
• Serge Gaspers 1 shared papers
• Toby Walsh 1 shared papers
• Ziqi Wang 1 shared papers