 | 2009 |
|---|
| 13 |       | Jon Sneyers:
Optimizing Compilation and Computational Complexity of Constraint Handling Rules.
ICLP 2009: 494-498 |
| 12 | | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
The computational power and complexity of constraint handling rules.
ACM Trans. Program. Lang. Syst. 31(2): (2009) |
| 11 | | Jon Sneyers,
Peter Van Weert,
Tom Schrijvers,
Leslie De Koninck:
As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007
CoRR abs/0906.4474: (2009) |
| 2008 |
|---|
| 10 | | Jon Sneyers:
Turing-Complete Subclasses of CHR.
ICLP 2008: 759-763 |
| 9 | | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
Guard Reasoning in the Refined Operational Semantics of CHR.
Constraint Handling Rules 2008: 213-244 |
| 2007 |
|---|
| 8 | | Jon Sneyers,
Peter Van Weert,
Tom Schrijvers,
Bart Demoen:
Aggregates in Constraint Handling Rules.
ICLP 2007: 446-448 |
| 7 | | Peter Van Weert,
Jon Sneyers,
Bart Demoen:
Aggregates for CHR through Program Transformation.
LOPSTR 2007: 59-73 |
| 2006 |
|---|
| 6 | | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
Memory Reuse for CHR.
ICLP 2006: 72-86 |
| 5 | | Jon Sneyers,
Joost Vennekens,
Danny De Schreye:
Probabilistic-Logical Modeling of Music.
PADL 2006: 60-72 |
| 4 | | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR.
WLP 2006: 182-191 |
| 2005 |
|---|
| 3 | | Jon Sneyers:
Analysis and Optimization of CHR Programs.
ICLP 2005: 450-451 |
| 2 | | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
Guard and Continuation Optimization for Occurrence Representations of CHR.
ICLP 2005: 83-97 |
| 1 |  | Jon Sneyers,
Tom Schrijvers,
Bart Demoen:
Guard Simplification in CHR programs.
W(C)LP 2005: 123-134 |
