一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

LI, Xin（リ　シン）特任助教研究者総覧

No．書籍情報
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

 
お問合せ先 : 北陸先端科学技術大学院大学　研究推進課学術情報係 (ir-sys[at]ml.jaist.ac.jp)