| FLIF: Free lossless image format based on MANIAC compression J Sneyers, P Wuille 2016 IEEE international conference on image processing (ICIP), 66-70, 2016 | 139 | 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 | 98 | 2010 |
| 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 | 79 | 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 | 66 | 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 |
| 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 | 40 | 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 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 | 25 | 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 | 21 | 2005 |
| Turing-complete subclasses of CHR J Sneyers Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 20 | 2008 |
| Join ordering for constraint handling rules L De Koninck, J Sneyers Fourth Workshop on Constraint Handling Rules, U. Porto, 107-121, 2007 | 20 | 2007 |
| Memory reuse for CHR J Sneyers, T Schrijvers, B Demoen Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006 | 20 | 2006 |
| Aggregates for CHR through program transformation P Van Weert, J Sneyers, B Demoen Logic-Based Program Synthesis and Transformation: 17th International …, 2008 | 15 | 2008 |
| 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 | 14 | 2020 |
| Guard simplification in CHR programs J Sneyers, T Schrijvers, B Demoen 19th Workshop on (Constraint) Logic Programming 2005, 123-134, 2005 | 13 | 2005 |
| Aggregates in constraint handling rules J Sneyers, P Van Weert, T Schrijvers, B Demoen Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 12 | 2007 |
| 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 |
| 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 |
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
