| Publication | Date of Publication | Type |
|---|
| Coalitional games induced by matching problems: complexity and islands of tractability for the Shapley value | 2020-01-20 | Paper |
| Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms | 2018-04-18 | Paper |
| The Power of Local Consistency in Conjunctive Queries and Constraint Satisfaction Problems | 2017-07-21 | Paper |
| The DLV system for knowledge representation and reasoning | 2017-07-12 | Paper |
| Greedy strategies and larger islands of tractability for conjunctive queries and constraint satisfaction problems | 2016-12-22 | Paper |
| The complexity of the nucleolus in compact games | 2016-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457238 | 2015-12-11 | Paper |
| The complexity of acyclic conjunctive queries | 2015-10-30 | Paper |
| Structural tractability of enumerating CSP solutions | 2015-04-29 | Paper |
| Mechanisms for Fair Allocation Problems: No-Punishment Payment Rules in Verifiable Settings | 2014-03-24 | Paper |
| Tree projections and structural decomposition methods: minimality and game-theoretic characterization | 2014-01-24 | Paper |
| On the complexity of core, kernel, and bargaining set | 2011-11-25 | Paper |
| Census Data Repair: A Challenging Application of Disjunctive Logic Programming | 2011-05-06 | Paper |
| On the complexity of regular-grammars with integer attributes | 2011-03-28 | Paper |
| Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints | 2010-09-09 | Paper |
| On the power of structural decompositions of graph-based representations of constraint problems | 2010-05-07 | Paper |
| Tree projections: Game characterization and computational aspects | 2010-01-07 | Paper |
| On the complexity of constrained Nash equilibria in graphical games | 2009-09-10 | Paper |
| Tractable Optimization Problems through Hypergraph-Based Structural Restrictions | 2009-07-14 | Paper |
| Uniform Constraint Satisfaction Problems and Database Theory | 2009-01-22 | Paper |
| Tree Projections: Hypergraph Games and Minimality | 2008-08-28 | Paper |
| Enhancing DLV instantiator by backjumping techniques | 2008-04-21 | Paper |
| Weighted hypertree decompositions and optimal query plans | 2007-04-26 | Paper |
| Graph-Theoretic Concepts in Computer Science | 2006-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715720 | 2006-01-04 | Paper |
| Abductive logic programs with penalization: semantics, complexity and implementation | 2005-04-29 | Paper |
| Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. | 2003-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798016 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4799253 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779133 | 2002-11-25 | Paper |
| Hypertree decompositions and tractable queries | 2002-09-12 | Paper |
| Fixed-parameter complexity in AI and nonmonotonic reasoning | 2002-07-15 | Paper |
| Computing LOGCFL certificates | 2002-03-03 | Paper |
| A comparison of structural CSP decomposition methods | 2000-12-12 | Paper |
| Semantical and computational aspects of Horn approximations | 2000-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955325 | 2000-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938636 | 2000-07-10 | Paper |
| Propositional lower bounds: Algorithms and complexity | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375823 | 1998-06-09 | Paper |
| Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation | 1998-01-12 | Paper |
