Constraint logic programming J Jaffar, JL Lassez Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of …, 1987 | 2403 | 1987 |
Unification revisited JL Lassez, MJ Maher, K Marriott Foundations of Logic and Functional Programming: Workshop Trento, Italy …, 1988 | 677 | 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 | 149 | 2002 |
Explicit representation of terms defined by counter examples JL Lassez, K Marriott Journal of Automated reasoning 3, 301-317, 1987 | 146 | 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 | 141 | 1984 |
Completeness of the negation as failure rule J Jaffar, JL Lassez, J Lloyd Proceedings of the Eighth international joint conference on Artificial …, 1983 | 135 | 1983 |
Logic programming language scheme J Jaffar Logic programming, functions, relations, and equations, 441-467, 1986 | 123 | 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 | 102 | 2011 |
Practical issues on the projection of polyhedral sets T Huynh, C Lassez, JL Lassez Annals of mathematics and artificial intelligence 6, 295-315, 1992 | 102 | 1992 |
A canonical form for generalized linear constraints JL Lassez, K McAloon Journal of Symbolic Computation 13 (1), 1-24, 1992 | 101 | 1992 |
Querying constraints JL Lassez Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of …, 1990 | 90 | 1990 |
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 |
On Fourier's algorithm for linear arithmetic constraints JL Lassez, MJ Maher Journal of Automated Reasoning 9, 373-379, 1992 | 82 | 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 | 57 | 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 | 52 | 1981 |