Formal first integrals along solutions of differential systems I. - Ainhoa Aparicio-Monforte; Moulay A. Barkatou; Sergi Simon; Jacques-Arthur Weil (ISSAC, 2011)

A Reduction Method for Higher Order Variational Equations of Hamiltonian Systems - Ainhoa Aparicio-Monforte; Jacques-Arthur Weil (CoRR, 2012)

A Characterization of Reduced Forms of Linear Differential Systems - Ainhoa Aparicio-Monforte; Elie Compoint; Jacques-Arthur Weil (CoRR, 2012)

A reduced form for linear differential systems and its application to integrability of Hamiltonian systems. - Ainhoa Aparicio-Monforte; Jacques-Arthur Weil (J. Symb. Comput., 2012)

Liouville integrability: An effective Morales-Ramis-Simó theorem. - Ainhoa Aparicio-Monforte; Thomas Dreyfus; Jacques-Arthur Weil (J. Symb. Comput., 2016)