On Gateway for Internetworking through ISDN: Architecture and Formal Modelling with Petri Nets. - Guy Juanole; C. Faure (INFOCOM, 1989)

A Meta Simplifier. - C. Faure (ISSAC, 1990)

The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. - C. Faure; André Galligo; J. Grimm; Loic Pottier (DISCO, 1992)

Sparse Jacobian Computation in Automatic Differentiation by Static Program Analysis. - Mohamed Tadjouddine; F. Eyssette; C. Faure (SAS, 1998)