Associative Commutative Pattern Matching. - Jean-Marie Hullot (IJCAI, 1979)

Canonical Forms and Unification. - Jean-Marie Hullot (CADE, 1980)

Proofs by Induction in Equational Theories with Constructors. - Gérard P. Huet; Jean-Marie Hullot (J. Comput. Syst. Sci., 1982)

A Multi-Formalism Programming Environment. - Jean-Marie Hullot (IFIP Congress, 1983)

LE LISP, a Portable and Efficient LISP System. - Jérôme Chailloux; Matthieu Devin; Jean-Marie Hullot (LISP and Functional Programming, 1984)

Ubiquitous Devices, Mobility and Context Awareness. - Jean-Marie Hullot (AINTEC, 2007)