JAIST Repository >

Xin Li Research Assistant ProfessorFaculty Profile

No.Bibliographical information
1 A Formal Framework for Access Rights Analysis / Li, Xin, Hua, Vy Le Thanh, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2012-001, pp.1-17, 2012-09-11, 北陸先端科学技術大学院大学情報科学研究科
2 Modular Stacking-based Context-Sensitive Program Analysis / Li, Xin, Ogawa, Mizuhito, Research report (School of Information Science, Japan Advanced Institute of Science and Technology), IS-RR-2011-002, pp.1-22, 2011-06-29, 北陸先端科学技術大学院大学情報科学研究科
3 Stacking-based context-sensitive points-to analysis for java / Li, Xin, Ogawa, Mizuhito, Lecture Notes in Computer Science, 6405/2011, pp.133-149, 2009/10/20, Springer

 


Contact : Scholarly Communication Section, JAIST (ir-sys[at]ml.jaist.ac.jp)