Implicit structural analysis of multimode DAE systems. - Benoît Caillaud; Mathias Malandain; Joan Thibault (HSCC, 2020)

Ordered Functional Decision Diagrams. - Joan Thibault; Khalil Ghorbal (CoRR, 2020)

Introduction to structure theory and its application to boolean functions. (Introduction à la théorie des structures et son application aux fonctions booléennes). - Joan Thibault (2024)