| Stable matching with uncertain linear preferences H Aziz, P Biró, S Gaspers, R de Haan, N Mattei, B Rastegari Algorithmica 82, 1410-1433, 2020 | 75* | 2020 |
| Reclaiming AI as a theoretical tool for cognitive science I Van Rooij, O Guest, F Adolfi, R de Haan, A Kolokolova, P Rich Computational Brain & Behavior, 1-21, 2024 | 45 | 2024 |
| Complexity of the winner determination problem in judgment aggregation: Kemeny, Slater, Tideman, Young U Endriss, R De Haan | 45 | 2016 |
| Stable matching with uncertain pairwise preferences H Aziz, P Biró, T Fleiner, S Gaspers, R Haan | 34 | 2017 |
| Designing participatory budgeting mechanisms grounded in judgment aggregation S Rey, U Endriss, R de Haan | 30 | 2020 |
| Succinctness of languages for judgment aggregation U Endriss, U Grandi, R De Haan, J Lang AAAI Press, 2016 | 30 | 2016 |
| How hard is cognitive science? P Rich, R de Haan, T Wareham, I van Rooij Proceedings of the annual meeting of the cognitive science society 43 (43), 2021 | 27 | 2021 |
| Fixed-parameter tractable reductions to SAT R de Haan, S Szeider International Conference on Theory and Applications of Satisfiability …, 2014 | 24 | 2014 |
| The parameterized complexity of reasoning problems beyond NP R de Haan, S Szeider Fourteenth International Conference on the Principles of Knowledge …, 2014 | 23 | 2014 |
| Judgment aggregation D Baumeister, G Erdélyi, R Haan, J Rothe Economics and Computation: An Introduction to Algorithmic Game Theory …, 2024 | 22 | 2024 |
| How intractability spans the cognitive and evolutionary levels of explanation P Rich, M Blokpoel, R de Haan, I van Rooij Topics in cognitive science 12 (4), 1382-1402, 2020 | 22 | 2020 |
| Hunting for tractable languages for judgment aggregation R De Haan Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 21 | 2018 |
| The complexity landscape of outcome determination in judgment aggregation U Endriss, R de Haan, J Lang, M Slavkovik Journal of Artificial Intelligence Research 69, 687–731-687–731, 2020 | 20 | 2020 |
| Parameterized complexity results for agenda safety in judgment aggregation U Endriss, R De Haan, S Szeider | 20 | 2014 |
| A compendium of parameterized problems at higher levels of the polynomial hierarchy R de Haan, S Szeider Algorithms 12 (9), 188, 2019 | 19 | 2019 |
| A calculus for computing structured justifications for election outcomes A Boixel, U Endriss, R de Haan Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 4859-4866, 2022 | 18 | 2022 |
| Pareto optimal allocation under uncertain preferences: uncertainty models, algorithms, and complexity H Aziz, P Biró, R de Haan, B Rastegari Artificial Intelligence 276, 57-78, 2019 | 18 | 2019 |
| Stable matching with uncertain pairwise preferences H Aziz, P Biró, T Fleiner, S Gaspers, R De Haan, N Mattei, B Rastegari Theoretical Computer Science 909, 1-11, 2022 | 16 | 2022 |
| Decentralization in open quorum systems: Limitative results for Ripple and Stellar A Bracciali, D Grossi, R de Haan 2nd International Conference on Blockchain Economics, Security and Protocols …, 2021 | 16 | 2021 |
| Complexity results for aggregating judgments using scoring or distance-based procedures R De Haan, M Slavkovik Proceedings of the 16th Conference on Autonomous Agents and MultiAgent …, 2017 | 16 | 2017 |
Stefan SzeiderProfessor, Head of Algorithms and Complexity Group, TU Wien, Vienna, AustriaVerified email at szeider.net
