François Leclerc
According to our database1,
François Leclerc
authored at least 5 papers
between 1990 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
An explainable machine learning approach for energy forecasting at the household level.
CoRR, 2024
1995
Termination Proof of Term Rewriting System with the Multiset Path Ordering. A Complete Development in the System Coq.
Proceedings of the Typed Lambda Calculi and Applications, 1995
1993
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.
IEEE Commun. Mag., 1991
1990