| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 12 |       | Jon Sneyers, Tom Schrijvers, Bart Demoen: The computational power and complexity of constraint handling rules. ACM Trans. Program. Lang. Syst. 31(2): (2009) |
| 9 | | Jon Sneyers, Tom Schrijvers, Bart Demoen: Guard Reasoning in the Refined Operational Semantics of CHR. Constraint Handling Rules 2008: 213-244 |
| 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 |
| 6 | | Jon Sneyers, Tom Schrijvers, Bart Demoen: Memory Reuse for CHR. ICLP 2006: 72-86 |
| 4 | | Jon Sneyers, Tom Schrijvers, Bart Demoen: Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR. WLP 2006: 182-191 |
| 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 |
Selection of 8 from 20 records - Jon Sneyers has 13 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page