Jon Sneyers

According to our database, Jon Sneyers authored at least 22 papers between 2005 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Committee Draft of JPEG XL Image Coding System.

Alexander Rhatushnyak, Jan Wassenberg, Jon Sneyers, Jyrki Alakuijala, Lode Vandevenne, Luca Versari, Robert Obryk, Zoltan Szabadka, Evgenii Kliuchnikov, Iulia-Maria Comsa, Krzysztof Potempa, Martin Bruse, Moritz Firsching, Renata Khasanova, Ruud van Asseldonk, Sami Boukortt, Sebastian Gomez, Thomas Fischbacher

CoRR, 2019

2016

FLIF: Free lossless image format based on MANIAC compression.

Jon Sneyers, Pieter Wuille

Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

2014

Proceedings of the Eleventh Workshop on Constraint Handling Rules.

Rémy Haemmerlé, Jon Sneyers

CoRR, 2014

2013

Probabilistic legal reasoning in CHRiSM.

Jon Sneyers, Danny De Schreye, Thom W. Frühwirth

Theory Pract. Log. Program., 2013

2011

Probabilistic Termination of CHRiSM Programs.

Jon Sneyers, Danny De Schreye

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise.

Colin J. Nicholson, Danny De Schreye, Jon Sneyers

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010

As time goes by: Constraint Handling Rules.

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck

Theory Pract. Log. Program., 2010

CHR(PRISM)-based probabilistic logic learning.

Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato

Theory Pract. Log. Program., 2010

Decidability properties for fragments of CHR.

Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo, Jon Sneyers

Theory Pract. Log. Program., 2010

2009

The computational power and complexity of constraint handling rules.

Jon Sneyers, Tom Schrijvers, Bart Demoen

ACM Trans. Program. Lang. Syst., 2009

As time goes by: Constraint Handling Rules - A survey of CHR research from 1998 to 2007

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Leslie De Koninck

CoRR, 2009

Optimizing Compilation and Computational Complexity of Constraint Handling Rules.

Jon Sneyers

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Guard Reasoning in the Refined Operational Semantics of CHR.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the Constraint Handling Rules, 2008

Turing-Complete Subclasses of CHR.

Jon Sneyers

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Aggregates for CHR through Program Transformation.

Peter Van Weert, Jon Sneyers, Bart Demoen

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Aggregates in Constraint Handling Rules.

Jon Sneyers, Peter Van Weert, Tom Schrijvers, Bart Demoen

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the 20th Workshop on Logic Programming, 2006

Probabilistic-Logical Modeling of Music.

Jon Sneyers, Joost Vennekens, Danny De Schreye

Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Memory Reuse for CHR.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Guard Simplification in CHR programs.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Guard and Continuation Optimization for Occurrence Representations of CHR.

Jon Sneyers, Tom Schrijvers, Bart Demoen

Proceedings of the Logic Programming, 21st International Conference, 2005

Analysis and Optimization of CHR Programs.

Jon Sneyers

Proceedings of the Logic Programming, 21st International Conference, 2005