Jon Sneyers

According to our database1, Jon Sneyers authored at least 24 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Committee Draft of JPEG XL Image Coding System.
CoRR, 2019

2016
FLIF: Free lossless image format based on MANIAC compression.
Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

2014
Proceedings of the Eleventh Workshop on Constraint Handling Rules.
CoRR, 2014

2013
Probabilistic legal reasoning in CHRiSM.
TPLP, 2013

2011
Probabilistic Termination of CHRiSM Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

2010
As time goes by: Constraint Handling Rules.
TPLP, 2010

CHR(PRISM)-based probabilistic logic learning.
TPLP, 2010

Decidability properties for fragments of CHR.
TPLP, 2010

Decidability properties for fragments of CHR
CoRR, 2010

CHR(PRISM)-based Probabilistic Logic Learning
CoRR, 2010

2009
The computational power and complexity of constraint handling rules.
ACM Trans. Program. Lang. Syst., 2009

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

Optimizing Compilation and Computational Complexity of Constraint Handling Rules.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Guard Reasoning in the Refined Operational Semantics of CHR.
Proceedings of the Constraint Handling Rules, 2008

Turing-Complete Subclasses of CHR.
Proceedings of the Logic Programming, 24th International Conference, 2008

2007
Aggregates for CHR through Program Transformation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Aggregates in Constraint Handling Rules.
Proceedings of the Logic Programming, 23rd International Conference, 2007

2006
Dijkstra's Algorithm with Fibonacci Heaps: An Executable Description in CHR.
Proceedings of the 20th Workshop on Logic Programming, 2006

Probabilistic-Logical Modeling of Music.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Memory Reuse for CHR.
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
Guard Simplification in CHR programs.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

Guard and Continuation Optimization for Occurrence Representations of CHR.
Proceedings of the Logic Programming, 21st International Conference, 2005

Analysis and Optimization of CHR Programs.
Proceedings of the Logic Programming, 21st International Conference, 2005


  Loading...