Publications

• Translating BNGL models into Kappa, our experience. Abstract paper of the 8th International Workshop on Static Analysis for Systems Biology (SASB 2017).
• KaDE: a Tool to Compile Kappa Rules into (Reduced) ODE Models with Jérôme Feret. and Ferdinanda Camporesi. In the Proceedings of the 14th Conference on Computational Methods in Systems Biology, tools paper track(CMSB 2017), to appear in in Lecture Notes in Computer Sciences / Lecture Notes in BioInformatics. © 2017, Springer.
• Local traces: an over-approximation of the behaviour of the proteins in rule-based models with Jérôme Feret. In the Proceedings of the 14th Conference on Computational Methods in Systems Biology (CMSB 2016), to appear in Lecture Notes in Computer Sciences / Lecture Notes in BioInformatics.© 2016, Springer.
• Reachability analysis via orthogonal sets of patterns with Jérôme Feret. In the PostProceedings of the 7th International Workshop on Static Analysis and Systems Biology (SASB 2016). To appear in Electronic Notes in Theoretical Computer Science, Elsevier Science.
• PhD thesis Automated verification of termination certificates (University Joseph Fourier, Grenoble, France, 2011-2014)
• Automated verification of termination certificates, with F.Blanqui, note presented at the 15th Vietnamese National Symposium of Selected ICT Problems (2012)
• Internship on The certification of polynomial interpretaions on rationals (Tsinghua university, Beijing, China, May-October 2010)
• Internship on Studying and implementing 3D geometric routing algorithm and spanners (INRIA Bordeaux, Bordeaux, France, June-November 2009)

• Translating BNGL models into Kappa, our experience. Abstract paper of the 8th International Workshop on Static Analysis for Systems Biology (SASB 2017).
• KaDE: a Tool to Compile Kappa Rules into (Reduced) ODE Models with Jérôme Feret. and Ferdinanda Camporesi. In the Proceedings of the 14th Conference on Computational Methods in Systems Biology, tools paper track(CMSB 2017), to appear in in Lecture Notes in Computer Sciences / Lecture Notes in BioInformatics. © 2017, Springer.
• Reachability analysis via orthogonal sets of patterns with Jérôme Feret. In the PostProceedings of the 7th International Workshop on Static Analysis and Systems Biology (SASB 2016). To appear in Electronic Notes in Theoretical Computer Science, Elsevier Science.
• PhD thesis Automated verification of termination certificates (University Joshep Fourier, Grenoble, France, 09 October 2014)
• 1st PhD conference at LIAMA Automated verification of termination certificates (LIAMA, Beijing, China, 05 June 2013)
• 15th Vietnamese National Symposium of Selected ICT Problems Automated verification of termination certificates (Hanoi, Vietnam, 03-04 December 2012)
• PhD seminar at CAS Confluence, local confluence, cirtical pair lemma, orthogonal systems (Chinese Academy of Sciences, Beijing, China, 26 June 2012)
• 2nd PhD day at Tsinghua University Automated verification of termination certificates (Tsinghua university, Beijing, China, 02 March 2012)
• 1st PhD day at Tsinghua University Automated verification of termination certificates (Tsinghua university, Beijing, China, 17 November 2011)
• INRIA internship Coq formalization of polynomial interpretations on Q (Tsinghua university, Beijing, China, 02 October 2010)