A new theoretical approach to relaxation, application to edge detection. - Michel Levy (ICPR, 1988)

Contribution à l'analyse de la methode des tableaux. - Michel Levy (1991)

Constraints that Assist in the Teaching of Logic Programming. - Jeanne Idt; Michel Levy; Laurent Trilling (ICLP Workshop: Logic Programming and Education, 1994)

Prover KT4. - Michel Levy (TABLEAUX, 1998)

A PVS-Based Approach for Teaching Constructing Correct Iterations. - Michel Levy; Laurent Trilling (World Congress on Formal Methods, 1999)