| FLIF: Free lossless image format based on MANIAC compression J Sneyers, P Wuille 2016 IEEE international conference on image processing (ICIP), 66-70, 2016 | 170 | 2016 |
| 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 | 100 | 2009 |
| 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 | 94 | 2010 |
| Dijkstra's algorithm with Fibonacci heaps: An executable description in CHR J Sneyers, T Schrijvers, B Demoen CW Reports, 13-13, 2005 | 77 | 2005 |
| 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 | 62 | 2019 |
| 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 | 35 | 2010 |
| Extending CHR with negation as absence P Van Weert, J Sneyers, T Schrijvers, B Demoen CHR 6, 125-140, 2006 | 31 | 2006 |
| APOPCALEAPS: Automatic music generation with CHRiSM J Sneyers, D De Schreye 11th International Society for Music Information Retrieval Conference (ISMIR …, 2010 | 28 | 2010 |
| 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 | 20 | 2005 |
| 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 | 19 | 2020 |
| Join ordering for constraint handling rules L De Koninck, J Sneyers Fourth Workshop on Constraint Handling Rules, U. Porto, 107-121, 2007 | 17 | 2007 |
| Memory reuse for CHR J Sneyers, T Schrijvers, B Demoen Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006 | 17 | 2006 |
| Turing-complete subclasses of CHR J Sneyers Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 16 | 2008 |
| Aggregates for CHR through program transformation P Van Weert, J Sneyers, B Demoen Logic-Based Program Synthesis and Transformation: 17th International …, 2008 | 13 | 2008 |
| Optimizing Compilation and Computational Complexity of Constraint Handling Rules: Ph. D. Thesis Summary J Sneyers Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009 | 12 | 2009 |
| 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 |
| Guard Simplification in CHR programs J Sneyers, T Schrijvers, B Demoen CW Reports, 23-23, 2004 | 11 | 2004 |
| Probabilistic legal reasoning in CHRiSM J Sneyers, D De Schreye, T Fruehwirth Theory and Practice of Logic Programming 13 (4-5), 769-781, 2013 | 10 | 2013 |
| Aggregates in constraint handling rules J Sneyers, P Van Weert, T Schrijvers, B Demoen Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 10 | 2007 |
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
