Concepedia

Jon Sneyers

JS

11

Publications

524

Citations

10

H-Index

2005

Active since

Affiliations

KU Leuven(Current)

Google (Switzerland)

Jon Sneyers is an author at KU Leuven specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsImage AnalysisComputer VisionAutomated ReasoningConstraintsFormal VerificationProgramming LanguagesBusiness

Publications per year

2005–2020

11

Publications

11

FLIF: Free lossless image format based on MANIAC compression

Jon Sneyers, Pieter Wuille · 2016 · 155 citations

Lossy Compression, Image Analysis, Engineering +9

JPEG XL next-generation image compression architecture and coding tools

Ruud van Asseldonk, Sami Boukortt, Zoltán Szabadka et al. · 2019 · 102 citations · Full text

Lossy Compression, Image Analysis, Engineering +11

The computational power and complexity of constraint handling rules

Jon Sneyers, Tom Schrijvers, Bart Demoen · ACM Transactions on Programming Languages and Systems · 2009 · 59 citations · Full text

Mathematical Programming, Engineering, Constraints +18

As time goes by: Constraint Handling Rules

Jon Sneyers, Peter Van Weert, Tom Schrijvers et al. · Theory and Practice of Logic Programming · 2009 · 53 citations · Full text

High-level Programming Language, Constraint Solving, Engineering +14

Dijkstra's algorithm with Fibonacci heaps: an executable description in CHR

Jon Sneyers, Tom Schrijvers, Bart Demoen · Lirias (KU Leuven) · 2006 · 42 citations · Full text

Rows per page

1–5 of 11