Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. - Walid Belkhir; Nicolas Ratier; Duy Duc Nguyen; Bin Yang; Michel Lenczner; Frédéric Zamkotsian; Horatiu Cirstea (SYNASC, 2015)

Combining representation formalisms for reasoning upon mathematical knowledge. - Mathieu d'Aquin; Renata Bunoiu; Horatiu Cirstea; Michel Lenczner; Jean Lieber; Frédéric Zamkotsian (K-CAP, 2023)