羅奇鳴

  

Email：luoq@ustc.edu.cn 

  

主要研究方向：程序設計語言理論、算法設計

  



羅奇鳴，講師，2007年8月來到188金宝慱体育版 計算機科學與技術係(現188滚球网 )工作。

 

 

代表性論著：

  1. 孫科;羅奇鳴;李薛劍;陳意雲. 安全C語言驗證器中形狀係統的形狀檢查方法. 小型微型計算機係統, 2019(1), 133-140.

  2. 李雲龍;羅奇鳴;陳意雲. 二叉樹程序循環不變形狀圖的自動推斷. 小型微型計算機係統, 2017(5), 913-918.

  3. 羅奇鳴. 基於閉半環的若幹圖算法. 小型微型計算機係統, 2015 (12), 2671-2674.

  4. 羅奇鳴. 一種構件係統重新配置協議的關係邏輯模型. 小型微型計算機係統, 2014(12), 2686-2690.

  5. 羅奇鳴. 一種利用Kodkod約束求解器驗證UML-OCL類圖的方法. 小型微型計算機係統, 2014(2), 205-209.

  6. 羅奇鳴. 綜合利用語句和序列可疑度的軟件故障定位方法. 小型微型計算機係統, 2013(2), 324-327.

  7. Luo, Q., Chen, E., Xiong, H. A semantic term weighting scheme for text categorization. Expert Systems with Applications 38 (10), pp. 12708-12716.


Baidu
map