Name Card

Full name Familienname, Vorname
de Haan, Ronald
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 21 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Haan, Ronald De ; Kanj, Iyad ; Szeider, Stefan On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP InstancesArtikel Article 2017
2de Haan, Ronald ; Szeider, Stefan Parameterized complexity classes beyond para-NPArtikel Article 2017
3Endriss, Ulle ; Grandi, Umberto ; de Haan, Ronald ; Lang, Jérôme Succinctness of Languages for Judgment AggregationKonferenzbeitrag Inproceedings2016
4de Haan, Ronald ; Szeider, Stefan Parameterized Complexity Results for Symbolic Model Checking of Temporal LogicsKonferenzbeitrag Inproceedings2016
5de Haan, Ronald Parameterized Complexity Results for the Kemeny Rule in Judgment AggregationKonferenzbeitrag Inproceedings 2016
6de Haan, Ronald Parameterized Complexity Results for the Kemeny Rule in Judgment AggregationKonferenzbeitrag Inproceedings 2016
7Ganian, Robert ; de Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan On Existential MSO and its Relation to ETHKonferenzbeitrag Inproceedings 2016
8Aziz, Haris ; Biro, Peter ; Gaspers, Serge ; de Haan, Ronald ; Mattei, Nicholas ; Rastegari, Baharak Stable Matching with Uncertain Linear PreferencesKonferenzbeitrag Inproceedings 2016
9de Haan, Ronald ; Szymanik, Jakub A Dichotomy Result for Ramsey QuantifiersKonferenzbeitrag Inproceedings 2015
10de Haan, Ronald ; Endriss, Ulle ; Szeider, Stefan Parameterized Complexity Results for Agenda Safety in Judgment AggregationKonferenzbeitrag Inproceedings 2015
11de Haan, Ronald ; Endriss, Ulle Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, YoungKonferenzbeitrag Inproceedings 2015
12de Haan, Ronald ; Szeider, Stefan Machine Characterizations for Parameterized Complexity Classes Beyond Para-NPKonferenzbeitrag Inproceedings 2015
13de Haan, Ronald ; Kronegger, Martin ; Pfandler, Andreas Fixed-parameter Tractable Reductions to SAT for PlanningKonferenzbeitrag Inproceedings 2015
14De Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan On the Subexponential-Time Complexity of CSPArtikel Article2015
15Kanj, Iyad ; de Haan, Ronald ; Szeider, Stefan Small Unsatisfiable Subsets in Constraint SatisfactionKonferenzbeitrag Inproceedings 2014
16Endriss, Ulle ; de Haan, Ronald ; Szeider, Stefan Parameterized Complexity Results for Agenda Safety in Judgment AggregationKonferenzbeitrag Inproceedings 2014
17de Haan, Ronald ; Szeider, Stefan Fixed-Parameter Tractable Reductions to SATKonferenzbeitrag Inproceedings 2014
18de Haan, Ronald ; Szeider, Stefan The Parameterized Complexity of Reasoning Problems Beyond NPKonferenzbeitrag Inproceedings 2014
19Kanj, Iyad ; de Haan, Ronald ; Szeider, Stefan Subexponential Time Complexity of CSP with Global ConstraintsKonferenzbeitrag Inproceedings 2014
20de Haan, Ronald ; Roubickova, Anna ; Szeider, Stefan Parameterized Complexity Results for Plan ReuseKonferenzbeitrag Inproceedings 2013