Automated verification of termination certificates - Frédéric Blanqui; Kim Quyen Ly (CoRR, 2012)

Automated verification of termination certificates. (Vérification automatique de certificats de terminaison). - Kim Quyen Ly (2014)

Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models. - Jérôme Feret; Kim Quyên Lý (CMSB, 2016)

KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models. - Ferdinanda Camporesi; Jérôme Feret; Kim Quyên Lý (CMSB, 2017)

KaSa: A Static Analyzer for Kappa. - Pierre Boutillier; Ferdinanda Camporesi; Jean Coquet; Jérôme Feret; Kim Quyên Lý; Nathalie Théret; Pierre Vignet (CMSB, 2018)

Reachability Analysis via Orthogonal Sets of Patterns. - Jérôme Feret; Kim Quyên Lý (SASB, 2018)

Local Traces: An Over-Approximation of the Behavior of the Proteins in Rule-Based Models. - Jérôme Feret; Kim Quyen Ly (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)