2007 |
4 | EE | Marc Meister,
Khalil Djelloul,
Jacques Robin:
A Unified Semantics for Constraint Handling Rules in Transaction Logic.
LPNMR 2007: 201-213 |
2006 |
3 | EE | Marc Meister,
Khalil Djelloul,
Thom W. Frühwirth:
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.
CSCLP 2006: 139-153 |
2 | EE | Marc Meister:
Fine-grained Parallel Implementation of the Preflow-Push Algorithm in CHR.
WLP 2006: 172-181 |
2005 |
1 | EE | Armin Wolf,
Thom W. Frühwirth,
Marc Meister:
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005
Universität Ulm, Germany 2005 |