| Publication | Date of Publication | Type |
|---|
| Proving Conjectures Acquired by Composing Multiple Biases | 2023-12-14 | Paper |
| Boolean-arithmetic equations: acquisition and uses | 2023-10-04 | Paper |
| Parameterised bounds on the sum of variables in time-series constraints | 2022-12-21 | Paper |
| Invariants for time-series constraints | 2021-12-16 | Paper |
| Deriving generic bounds for time-series constraints based on regular expressions characteristics | 2018-03-22 | Paper |
| Range-consistent forbidden regions of Allen's relations | 2017-08-04 | Paper |
| A parametric propagator for pairs of \textsc{Sum} constraints with a discrete convexity property | 2016-11-01 | Paper |
| Time-Series Constraints: Improvements and Application in CP and MIP Contexts | 2016-06-27 | Paper |
| The TaskIntersection Constraint | 2016-06-27 | Paper |
| Using finite transducers for describing and synthesising structural time-series constraints | 2016-04-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457209 | 2015-12-11 | Paper |
| On the reification of global constraints | 2015-04-29 | Paper |
| Synchronized sweep algorithms for scalable scheduling constraints | 2015-04-29 | Paper |
| On matrices, automata, and double counting in constraint programming | 2015-04-29 | Paper |
| A Synchronized Sweep Algorithm for the k-dimensional cumulative Constraint | 2013-06-04 | Paper |
| New filtering for the cumulative constraint in the context of non-overlapping rectangles | 2011-06-22 | Paper |
| On Matrices, Automata, and Double Counting | 2010-06-22 | Paper |
| The Increasing Nvalue Constraint | 2010-06-22 | Paper |
| Undirected forest constraints | 2010-02-01 | Paper |
| Six Ways of Integrating Symmetries within Non-overlapping Constraints | 2009-06-03 | Paper |
| Combining tree partitioning, precedence, and incomparability constraints | 2009-05-29 | Paper |
| Necessary Condition for Path Partitioning Constraints | 2009-03-10 | Paper |
| A Continuous Multi-resources cumulative Constraint with Positive-Negative Resource Consumption-Production | 2009-03-10 | Paper |
| Filtering algorithms for the \texttt{Same} and \texttt{UsedBy} constraints | 2008-11-21 | Paper |
| Bounds of graph parameters for global constraints | 2008-11-03 | Paper |
| Graph Invariants as Necessary Conditions for Global Constraints | 2008-09-09 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Bounds of Graph Characteristics | 2008-09-09 | Paper |
| New Filtering for the $\mathit{cumulative}$ Constraint in the Context of Non-Overlapping Rectangles | 2008-05-27 | Paper |
| The tree Constraint | 2008-03-17 | Paper |
| Programming Languages and Systems | 2007-09-28 | Paper |
| Global constraint catalogue: past, present and future | 2007-05-10 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2007-04-30 | Paper |
| Reformulation of global constraints based on constraints checkers | 2006-11-03 | Paper |
| Sweep synchronization as a global propagation mechanism | 2006-05-16 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2005-12-27 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2005-12-27 | Paper |
| Recent Advances in Constraints | 2005-11-11 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475633 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475645 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475646 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736503 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472552 | 2004-08-04 | Paper |
| Computing a lower approximation of the compulsory part of a task with varying duration and varying resource consumption. | 2004-01-05 | Paper |
| Introducing global constraints in CHIP | 1995-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3814824 | 1988-01-01 | Paper |
