Kim Quyen Ly

According to our database, Kim Quyen Ly authored at least 7 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Reachability Analysis via Orthogonal Sets of Patterns.

Jérôme Feret, Kim Quyên Lý

Proceedings of SASB 2018, 2018

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

Proceedings of the Computational Methods in Systems Biology, 2018

2017

KaDE: A Tool to Compile Kappa Rules into (Reduced) ODE Models.

Ferdinanda Camporesi, Jérôme Feret, Kim Quyên Lý

Proceedings of the Computational Methods in Systems Biology, 2017

2016

Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models.

Jérôme Feret, Kim Quyên Lý

Proceedings of the Computational Methods in Systems Biology, 2016

2014

Automated verification of termination certificates. (Vérification automatique de certificats de terminaison).

Kim Quyen Ly

PhD thesis, 2014

2012

Automated verification of termination certificates

Frédéric Blanqui, Kim Quyen Ly

CoRR, 2012