罗奇鸣

  

Email:luoq@ustc.edu.cn 

  

主要研究方向程序设计语言理论、算法设计

  



罗奇鸣,讲师,2007年8月来到中国科大计算机科学与技术系(现计算机科学与技术学院)工作。

 

 

代表性论著

  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.