François Leclerc

According to our database, François Leclerc authored at least 5 papers between 1990 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

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

1995

Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq.

François Leclerc

Proceedings of the Typed Lambda Calculi and Applications, 1995

1993

Programming with Streams in Coq - A Case Study: the Sieve of Eratosthenes.

François Leclerc, Christine Paulin-Mohring

Proceedings of the Types for Proofs and Programs, 1993

1991

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

1990

Packet mode data communications in NUMERIS, the French ISDN.

Alain Le Roux, François Leclerc

IEEE Commun. Mag., 1990