Jean-Louis Lassez

According to our database1, Jean-Louis Lassez authored at least 54 papers between 1975 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Solving Systems of Linear Inequalities.
CoRR, 2019

2008
Signature based intrusion detection using latent semantic analysis.
Proceedings of the International Joint Conference on Neural Networks, 2008

Ranking Links on the Web: Search and Surf Engines.
Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

2007
Client-side dynamic metadata in web 2.0.
Proceedings of the 25th Annual International Conference on Design of Communication, 2007

Le théorème de Perron Frobenius est-il vraiment nécessaire?
Proceedings of the 23èmes Journées Bases de Données Avancées, 2007

Crick's Hypothesis Revisited: The Existence of a Universal Coding Frame.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Zoomed Clusters.
Proceedings of the Neural Information Processing, 13th International Conference, 2006

2005
Developing a pyramid structure for managing web-centric documents.
Proceedings of the 23rd Annual International Conference on Design of Communication: documenting & Designing for Pervasive Information, 2005

2004
Symbolic Stochastic Systems.
Proceedings of the International Conference on Modeling, 2004

2003
Similarity Based Classification.
Proceedings of the Advances in Intelligent Data Analysis V, 2003

Qualitative Theorem Proving in Linear Constraints.
Proceedings of the Verification: Theory and Practice, 2003

1999
Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data.
J. Autom. Reason., 1999

1992
A Canonical Form for Generalized Linear Constraints.
J. Symb. Comput., 1992

On Fourier's Algorithm for Linear Arithmetic Constraints.
J. Autom. Reason., 1992

Practical Issues on the Projection of Polyhedral Sets.
Ann. Math. Artif. Intell., 1992

1991
Practical tools for reasoning about linear constraints.
Fundam. Informaticae, 1991

From LP to LP: Programming with Constraints.
Proceedings of the Theoretical Aspects of Computer Software, 1991

Elimination of Negation in Term Algebras.
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1990
Most Specific Logic Programs.
Ann. Math. Artif. Intell., 1990

Querying Constraints.
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1990

A Constraint Sequent Calculus
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Reasoning About Linear Constraints Using Parametric Queries.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

Parametric queries, linear constraints and variable elimination.
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990

Fourier Algorithm Revisited.
Proceedings of the Algebraic and Logic Programming, 1990

1989
Independence of Negative Constraints.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Simplification and Elimination of Redundant Linear Arithmetic Constraints.
Proceedings of the Logic Programming, 1989

1988
From Unification to Constraints.
Proceedings of the SPLT'88, 1988

Applications of a Canonical Form of Gerneralized Linear Constraints.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Unification Revisited
Proceedings of the Foundations of Deductive Databases and Logic Programming, 1988

1987
Explicit Representation of Terms Defined by Counter Examples.
J. Autom. Reason., 1987

Constraint Logic Programming.
Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

From Unification to Constraints.
Proceedings of the Logic Programming '87, 1987

PROLOG - II as an instance of the logic programming language scheme.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987

1986
Maximal Unifiable Subsets and Minimal Nonunifiable Subsets.
New Gener. Comput., 1986

Comments on "General Failure of Logic Programs".
J. Log. Program., 1986

Invited Talk: Some Issues and Trends in the Semantics of Logic Programming.
Proceedings of the Third International Conference on Logic Programming, 1986

Unification Revisited.
Proceedings of the Foundations of Logic and Functional Programming, 1986

Logic Programming Language Scheme.
Proceedings of the Logic Programming: Functions, Relations, and Equations, 1986

1985
Optimal Fixedpoints of Logic Programs.
Theor. Comput. Sci., 1985

1984
Closures and Fairness in the Semantics of Programming Logic.
Theor. Comput. Sci., 1984

A Theory of Complete Logic Programs with Equality.
J. Log. Program., 1984

A Unified Treatment of Resolution Strategies for Logic Programs.
Proceedings of the Second International Logic Programming Conference, 1984

1983
Completeness of the Negation as Failure Rule.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

The Denotational Semantics of Horn Clauses as a Production System.
Proceedings of the National Conference on Artificial Intelligence, 1983

1982
Evaluating the effect of inter-programmer communication: levels on productivity by varying programming team structure.
ACM SIGSOFT Softw. Eng. Notes, 1982

Fixed Point Theorems and Semantics: A Folk Tale.
Inf. Process. Lett., 1982

Reasoning about Array Segments.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982

1981
A Dual Problem to Least Fixed Points.
Theor. Comput. Sci., 1981

A critical examination of software science.
J. Syst. Softw., 1981

1979
A Clarification of the Comparison Between Some Measures of Software Science.
Inf. Process. Lett., 1979

Evaluation of length and level for simple program schemes.
Proceedings of the IEEE Computer Society's Third International Computer Software and Applications Conference, 1979

1976
Circular codes and synchronization.
Int. J. Parallel Program., 1976

1975
A correspondence on strongly prefix codes (Corresp.).
IEEE Trans. Inf. Theory, 1975

Prefix codes, trees and automata.
Inf. Sci., 1975


  Loading...