Packet mode data communications in NUMERIS, the French ISDN. - Alain Le Roux; François Leclerc (IEEE Commun. Mag., 1990)

ISDN in France - 1987 to 1990: from the first commercial offering to national coverage of NUMERIS. - Jean-Pierre Guenin; Thérèse Morin; Pierre Deffin; François Leclerc; Roger Trubert (IEEE Commun. Mag., 1991)

Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes. - François Leclerc; Christine Paulin-Mohring (TYPES, 1993)

Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq. - François Leclerc (TLCA, 1995)

An explainable machine learning approach for energy forecasting at the household level. - Pauline Béraud; Margaux Rioux; Michel Babany; Philippe de La Chevasnerie; Damien Theis; Giacomo Teodori; Chloé Pinguet; Romane Rigaud; François Leclerc (CoRR, 2024)