| Constraint logic programming J Jaffar, JL Lassez Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987 | 2402 | 1987 |
| Unification revisited JL Lassez, MJ Maher, K Marriott Foundations of Logic and Functional Programming: Workshop Trento, Italy …, 1988 | 678 | 1988 |
| Fixed point theorems and semantics: A folk tale JL Lassez, VL Nguyen, EA Sonenberg Information processing letters 14 (3), 112-116, 1982 | 201 | 1982 |
| Closures and fairness in the semantics of programming logic JL Lassez, MJ Maher Theoretical computer science 29 (1-2), 167-184, 1984 | 159 | 1984 |
| Whole-genome comparative analysis of three phytopathogenic Xylella fastidiosa strains A Bhattacharyya, S Stilwagen, N Ivanova, M D'Souza, A Bernal, A Lykidis, ... Proceedings of the National Academy of Sciences 99 (19), 12403-12408, 2002 | 148 | 2002 |
| Explicit representation of terms defined by counter examples JL Lassez, K Marriott Journal of Automated reasoning 3, 301-317, 1987 | 147 | 1987 |
| A theory of complete logic programs with equality J Jaffar, JL Lassez, MJ Maher The Journal of Logic Programming 1 (3), 211-223, 1984 | 145 | 1984 |
| Completeness of the negation as failure rule J Jaffar, JL Lassez, J Lloyd Proceedings of the Eighth international joint conference on Artificial …, 1983 | 136 | 1983 |
| Logic programming language scheme J Jaffar Logic programming, functions, relations, and equations, 441-467, 1986 | 124 | 1986 |
| Computationally intelligent agents for distributed intrusion detection system and method of practicing same AH Sung, S Mukkamala, JL Lassez US Patent 7,941,855, 2011 | 101 | 2011 |
| A canonical form for generalized linear constraints JL Lassez, K McAloon Journal of Symbolic Computation 13 (1), 1-24, 1992 | 101 | 1992 |
| Practical issues on the projection of polyhedral sets T Huynh, C Lassez, JL Lassez Annals of mathematics and artificial intelligence 6, 295-315, 1992 | 100 | 1992 |
| Querying constraints JL Lassez Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of …, 1990 | 89 | 1990 |
| On Fourier's algorithm for linear arithmetic constraints JL Lassez, MJ Maher Journal of Automated Reasoning 9, 373-379, 1992 | 83 | 1992 |
| Quantifier elimination for conjunctions of linear constraints via a convex hull algorithm C Lassez Symbolic and Numerical Computation for Artificial Intelligence, 103-122, 1992 | 83 | 1992 |
| Optimal fixedpoints of logic programs JL Lassez, MJ Maher Theoretical Computer Science 39, 15-25, 1985 | 70 | 1985 |
| Huynh, T. and McAloon, K.: Simplification and Elimination of Redundant Linear Arithmetic Consraints JL Lassez Proc. of the North American Conf.'89, 37-51, 1989 | 61 | 1989 |
| A Unified Treatment of Resolution Strategies for Logic Programs. DA Wolfram, MJ Maher, JL Lassez ICLP, 263-276, 1984 | 61 | 1984 |
| Principles and practice of constraint programming: the Newport papers V Saraswat, P Van Hentenryck MIT press, 1995 | 56 | 1995 |
| A critical examination of software science JL Lassez, D van der Knijff, J Shepherd, C Lassez Journal of Systems and Software 2 (2), 105-112, 1981 | 54 | 1981 |
