| Constraint logic programming J Jaffar, JL Lassez Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987 | 2210 | 1987 |
| Constraint logic programming: A survey J Jaffar, MJ Maher The journal of logic programming 19, 503-581, 1994 | 1877 | 1994 |
| The CLP (ℛ) language and system J Jaffar, S Michaylov, PJ Stuckey, RHC Yap ACM Transactions on Programming Languages and Systems (TOPLAS) 14 (3), 339-395, 1992 | 768 | 1992 |
| Methodology and Implementation of a CLP System J Jaffar In Proceedings of the Fourth International Conference Logic Programming, 196-218, 1987 | 292 | 1987 |
| The semantics of constraint logic programs J Jaffar, M Maher, K Marriott, P Stuckey The Journal of Logic Programming 37 (1-3), 1-46, 1998 | 259 | 1998 |
| A finite presentation theorem for approximating logic programs N Heintze, J Jaffar Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989 | 188 | 1989 |
| Types in logic programming F Pfenning MIT Press, 1992 | 187 | 1992 |
| A decision procedure for a class of set constraints N Heintze, J Jaffar [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990 | 153 | 1990 |
| A theory of complete logic programs with equality J Jaffar, JL Lassez, MJ Maher The Journal of Logic Programming 1 (3), 211-223, 1984 | 138 | 1984 |
| Minimal and complete word unification J Jaffar Journal of the ACM (JACM) 37 (1), 47-85, 1990 | 128 | 1990 |
| TRACER: A symbolic execution tool for verification J Jaffar, V Murali, J Navas, A Santosa Computer Aided Verification, 758-766, 2012 | 124 | 2012 |
| Completeness of the negation as failure rule J Jaffar, JL Lassez, J Lloyd Proceedings of the Eighth international joint conference on Artificial …, 1983 | 119 | 1983 |
| S3: A symbolic string solver for vulnerability detection in web applications MT Trinh, DH Chu, J Jaffar Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 2014 | 118 | 2014 |
| Logic programming scheme J Jaffar Logic Programming: Functions, Relations, and Equations, 441-467, 1986 | 112 | 1986 |
| Beyond finite domains J Jaffar, M Maher, P Stuckey, R Yap Principles and Practice of Constraint Programming, 86-94, 1994 | 100 | 1994 |
| Toward practical constraint databases A Brodsky, J Jaffar, MJ Maher Proceedings of the 19th International Conference on Very Large Data Bases …, 1993 | 87* | 1993 |
| An interpolation method for CLP traversal J Jaffar, A Santosa, R Voicu Principles and Practice of Constraint Programming-CP 2009, 454-469, 2009 | 82 | 2009 |
| Efficient unification over infinite terms J Jaffar New Generation Computing 2 (3), 207-219, 1984 | 79 | 1984 |
| Set constraints and set-based analysis N Heintze, J Jaffar Principles and Practice of Constraint Programming, 281-298, 1994 | 78 | 1994 |
| Boosting concolic testing via interpolation J Jaffar, V Murali, JA Navas Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 64 | 2013 |
Roland YapNational University of SingaporeVerified email at comp.nus.edu.sg
