The CLP (R) language and system J Jaffar, S Michaylov, PJ Stuckey, RHC Yap ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (3), 339-395, 1992 | 817* | 1992 |
An optimal coarse-grained arc consistency algorithm C Bessiere, JC Régin, RHC Yap, Y Zhang Artificial Intelligence 165 (2), 165-185, 2005 | 297 | 2005 |
Making AC-3 an optimal algorithm Y Zhang, RHC Yap INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 17 (1), 316-321, 2001 | 170 | 2001 |
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints KCK Cheng, RHC Yap Constraints 15 (2), 265-304, 2010 | 147 | 2010 |
Heap bounds protection with low fat pointers GJ Duck, RHC Yap Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 145 | 2016 |
The CLP (R) programmer's manual N Heintze, J Jaffar, S Michaylov, P Stuckey, R Yap Dept. of Computer Science, Monash University, Australia, 1987 | 138* | 1987 |
Stochastic Database Cracking: Towards Robust Adaptive Indexing in Main-Memory Column-Stores F Halim, S Idreos, P Karras, RHC Yap Arxiv preprint arXiv:1203.0055, 2012 | 129 | 2012 |
Stack Bounds Protection with Low Fat Pointers. GJ Duck, RHC Yap, L Cavallaro NDSS 17, 1-15, 2017 | 121 | 2017 |
Constraint logic programming and option trading C Lassez, K McAloon, R Yap IEEE Intelligent Systems 2 (03), 42-50, 1987 | 111 | 1987 |
Beyond finite domains J Jaffar, M Maher, P Stuckey, R Yap Principles and Practice of Constraint Programming, 86-94, 1994 | 107 | 1994 |
EffectiveSan: type and memory error detection using dynamically typed C/C++ GJ Duck, RHC Yap Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 106 | 2018 |
Using feature generation and feature selection for accurate prediction of translation initiation sites F Zeng, RHC Yap, L Wong Genome Informatics 13, 192-200, 2002 | 80 | 2002 |
Maintaining generalized arc consistency on ad hoc r-ary constraints K Cheng, R Yap Principles and Practice of Constraint Programming, 509-523, 2008 | 66 | 2008 |
An Abstract Machine for CLP(R) J Jaffar, S Michaylov, P Stuckey, RHC Yap ACM-SIGPLAN Conference on Programming Language Design and Implementation …, 1992 | 66 | 1992 |
The CLP(R) Programmer's Manual, Version 1.2 N Heintze, J Jaffar, S Michaylov, P Stuckey, RHC Yap | 65* | 1992 |
Tagged-MapReduce: A General Framework for Secure Computing with Mixed-Sensitivity Data on Hybrid Clouds C Zhang, EC Chang, RHC Yap IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 2014 | 62 | 2014 |
The CLP (R) Programmer's Manual, Version 1.1 N Heintze, J Jaffar, S Michaylov, PJ Stuckey, RHC Yap IBM TJ Watson Research Centre, USA, 1991 | 60 | 1991 |
The CLP(R) Programmer's Manual, Version 1.2 N Heintze, J Jaffar, S Michalov, PJ Stuckey, RHC Yap | 59 | 1992 |
A Path-Optimal GAC Algorithm for Table Constraints C Lecoutre, C Likitvivatanavong, RHC Yap European Conference on Artificial Intelligence, 2012 | 54 | 2012 |
A Path-Optimal GAC Algorithm for Table Constraints C Lecoutre, C Likitvivatanavong, RHC Yap | 54 | 2012 |