Verification of Pushdown Systems Using Omega Algebra with Domain. - Vincent Mathieu; Jules Desharnais (RelMiCS, 2005)

Toward a More Realistic 3D Biomimetic Soft Robotic Tongue to Investigate Oral Processing of Semi-solid Foods. - Alejandro Avila-Sierra; Yurixy Bugarin-Castillo; Juluan Voisin; Vincent Mathieu; Marco Ramaioli (Living Machines (2), 2023)