The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ronald de Haan" ( http://dblp.L3S.de/Authors/Ronald_de_Haan )

  Author page on DBLP  Author page in RDF  Community of Ronald de Haan in ASPL-2

Publication years (Num. hits)
2012-2015 (21) 2016-2017 (18) 2018-2019 (12)
Publication types (Num. hits)
article(20) inproceedings(31)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 52 publication records. Showing 51 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ronald de Haan, Jakub Szymanik Characterizing polynomial Ramsey quantifiers. Search on Bibsonomy Mathematical Structures in Computer Science The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haris Aziz 0001, Péter Biró, Ronald de Haan, Baharak Rastegari Pareto optimal allocation under uncertain preferences: uncertainty models, algorithms, and complexity. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Haris Aziz 0001, Péter Biró, Ronald de Haan, Baharak Rastegari Pareto Optimal Allocation under Compact Uncertain Preferences. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Marija Slavkovik Answer Set Programming for Judgment Aggregation. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ronald de Haan Hunting for Tractable Languages for Judgment Aggregation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ronald de Haan A Parameterized Complexity View on Description Logic Reasoning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ronald de Haan, Iris van de Pol On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ronald de Haan Expressing Linear Orders Requires Exponential-Size DNNFs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Janosch Döcker, Britta Dorn, Ulle Endriss, Ronald de Haan, Sebastian Schneckenburger Tool Auctions. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Ronald de Haan Hunting for Tractable Languages for Judgment Aggregation. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ronald de Haan A Parameterized Complexity View on Description Logic Reasoning. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ronald de Haan, Petra Wolf 0002 Restricted Power - Computational Complexity Results for Strategic Defense Games. Search on Bibsonomy FUN The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Iyad A. Kanj, Stefan Szeider On the Parameterized Complexity of Finding Small Unsatisfiable Subsets of CNF Formulas and CSP Instances. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Stefan Szeider Parameterized complexity classes beyond para-NP. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Britta Dorn, Ronald de Haan, Ildikó Schlotter Obtaining a Proportional Allocation by Deleting Items. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Britta Dorn, Ronald de Haan, Ildikó Schlotter Obtaining a Proportional Allocation by Deleting Items. Search on Bibsonomy ADT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haris Aziz 0001, Ronald de Haan, Baharak Rastegari Pareto Optimal Allocation under Uncertain Preferences. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haris Aziz 0001, Péter Biró, Tamás Fleiner, Serge Gaspers, Ronald de Haan, Nicholas Mattei, Baharak Rastegari Stable Matching with Uncertain Pairwise Preferences. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Ronald de Haan, Marija Slavkovik Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Haris Aziz 0001, Ronald de Haan, Baharak Rastegari Pareto Optimal Allocation under Uncertain Preferences. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Ronald de Haan Complexity Results for Manipulation, Bribery and Control of the Kemeny Judgment Aggregation Procedure. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Ronald de Haan, Jakub Szymanik Characterizing Polynomial Ramsey Quantifiers. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ronald de Haan Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Haris Aziz 0001, Péter Biró, Serge Gaspers, Ronald de Haan, Nicholas Mattei, Baharak Rastegari Stable Matching with Uncertain Linear Preferences. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Haris Aziz 0001, Péter Biró, Serge Gaspers, Ronald de Haan, Nicholas Mattei, Baharak Rastegari Stable Matching with Uncertain Linear Preferences. Search on Bibsonomy SAGT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Robert Ganian, Ronald de Haan, Iyad A. Kanj, Stefan Szeider On Existential MSO and its Relation to ETH. Search on Bibsonomy MFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ronald de Haan Parameterized Complexity Results for the Kemeny Rule in Judgment Aggregation. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ronald de Haan Parametrisierte Komplexität in der polynomiellen Hierarchie. Search on Bibsonomy Ausgezeichnete Informatikdissertationen The full citation details ... 2016 DBLP  BibTeX  RDF
1Ronald de Haan, Stefan Szeider Parameterized Complexity Results for Symbolic Model Checking of Temporal Logics. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ulle Endriss, Umberto Grandi, Ronald de Haan, Jérôme Lang Succinctness of Languages for Judgment Aggregation. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ronald de Haan, Iyad A. Kanj, Stefan Szeider On the Subexponential-Time Complexity of CSP. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ronald de Haan An Overview of Non-Uniform Parameterized Complexity. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2015 DBLP  BibTeX  RDF
1Ronald de Haan, Jakub Szymanik A Dichotomy Result for Ramsey Quantifiers. Search on Bibsonomy WoLLIC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Stefan Szeider Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP. Search on Bibsonomy SOFSEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Martin Kronegger, Andreas Pfandler Fixed-Parameter Tractable Reductions to SAT for Planning. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Ulle Endriss, Ronald de Haan, Stefan Szeider Parameterized Complexity Results for Agenda Safety in Judgment Aggregation. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Ulle Endriss, Ronald de Haan Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Ronald de Haan, Stefan Szeider Compendium of Parameterized Problems at Higher Levels of the Polynomial Hierarchy. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2014 DBLP  BibTeX  RDF
1Ronald de Haan, Stefan Szeider Fixed-Parameter Tractable Reductions to SAT. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Iyad A. Kanj, Stefan Szeider Small Unsatisfiable Subsets in Constraint Satisfaction. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Iyad A. Kanj, Stefan Szeider Subexponential Time Complexity of CSP with Global Constraints. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ronald de Haan, Stefan Szeider The Parameterized Complexity of Reasoning Problems Beyond NP. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ronald de Haan, Stefan Szeider The Parameterized Complexity of Reasoning Problems Beyond NP. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ronald de Haan, Anna Roubícková, Stefan Szeider Parameterized Complexity Results for Plan Reuse. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ronald de Haan, Iyad A. Kanj, Stefan Szeider Local Backbones Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ronald de Haan, Anna Roubícková, Stefan Szeider Parameterized Complexity Results for Plan Reuse. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Ronald de Haan, Iyad A. Kanj, Stefan Szeider Local Backbones. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ronald de Haan Functional Logic Programming with Generalized Circular Coinduction Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Ronald de Haan, Nina Narodytska, Toby Walsh The RegularGcc Matrix Constraint Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Ronald de Haan, Mikhail Roshchin Detecting Temporally Related Arithmetical Patterns - An Extension of Complex Event Processing. Search on Bibsonomy KDIR The full citation details ... 2012 DBLP  BibTeX  RDF
1Ronald de Haan, Nina Narodytska, Toby Walsh The RegularGcc Matrix Constraint. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #51 of 51 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license