| FLIF: Free lossless image format based on MANIAC compression J Sneyers, P Wuille 2016 IEEE international conference on image processing (ICIP), 66-70, 2016 | 197 | 2016 |
| As time goes by: constraint handling rules: a survey of CHR research from 1998 to 2007 J Sneyers, P Van Weert, T Schrijvers, L De Koninck Theory and practice of logic programming 10 (1), 1-47, 2010 | 103 | 2010 |
| JPEG XL next-generation image compression architecture and coding tools J Alakuijala, R Van Asseldonk, S Boukortt, M Bruse, IM Comșa, ... Applications of digital image processing XLII 11137, 112-124, 2019 | 90 | 2019 |
| Dijkstra's algorithm with Fibonacci heaps: An executable description in CHR J Sneyers, T Schrijvers, B Demoen Proceedings of the 20th Workshop on logic programming 1843, 182-191, 2006 | 80 | 2006 |
| The computational power and complexity of Constraint Handling Rules J Sneyers, T Schrijvers, B Demoen Proceedings of the 2nd workshop on constraint handling rules, 3-17, 2005 | 68 | 2005 |
| The computational power and complexity of Constraint Handling Rules J Sneyers, T Schrijvers, B Demoen ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (2), 1-42, 2009 | 51 | 2009 |
| CHR (PRISM)-based probabilistic logic learning J Sneyers, W Meert, J Vennekens, Y Kameya, T Sato Theory and Practice of Logic Programming 10 (4-6), 433-447, 2010 | 36 | 2010 |
| Extending CHR with negation as absence P Van Weert, J Sneyers, T Schrijvers, B Demoen Proceedings of the Third Workshop on Constraint Handling Rules, 125-139, 2006 | 34 | 2006 |
| APOPCALEAPS: Automatic music generation with CHRiSM J Sneyers, D De Schreye Proceedings of 22nd Benelux Conference on Artificial Intelligence (BNAIC'10 …, 2010 | 29 | 2010 |
| Benchmarking JPEG XL image compression J Alakuijala, S Boukortt, T Ebrahimi, E Kliuchnikov, J Sneyers, E Upenik, ... Optics, photonics and digital technologies for imaging applications VI 11353 …, 2020 | 26 | 2020 |
| Guard and continuation optimization for occurrence representations of CHR J Sneyers, T Schrijvers, B Demoen Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005 | 24 | 2005 |
| Join ordering for constraint handling rules L De Koninck, J Sneyers Proceedings of the Fourth Workshop on Constraint Handling Rules, 107-121, 2007 | 22 | 2007 |
| Memory reuse for CHR J Sneyers, T Schrijvers, B Demoen International Conference on Logic Programming, 72-86, 2006 | 20 | 2006 |
| Turing-complete subclasses of CHR J Sneyers Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 19 | 2008 |
| Committee draft of JPEG XL image coding system A Rhatushnyak, J Wassenberg, J Sneyers, J Alakuijala, L Vandevenne, ... arXiv preprint arXiv:1908.03565, 2019 | 16 | 2019 |
| Aggregates for CHR through program transformation P Van Weert, J Sneyers, B Demoen Logic-Based Program Synthesis and Transformation: 17th International …, 2008 | 16 | 2008 |
| Aggregates in constraint handling rules J Sneyers, P Van Weert, T Schrijvers, B Demoen Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 13 | 2007 |
| Guard simplification in CHR programs J Sneyers, T Schrijvers, B Demoen 19th Workshop on (Constraint) Logic Programming 2005, 123-134, 2005 | 13 | 2005 |
| Probabilistic-logical modeling of music J Sneyers, J Vennekens, D De Schreye Practical Aspects of Declarative Languages: 8th International Symposium …, 2006 | 12 | 2006 |
| CHRiSM: Chance rules induce statistical models J Sneyers, W Meert, J Vennekens Proceedings of the Sixth International Workshop on Constraint Handling Rules …, 2009 | 11 | 2009 |
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be