罗奇鸣

Email：luoq@ustc.edu.cn 

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

罗奇鸣，讲师，2007年8月来到中国科大计算机科学与技术系(现8797威尼斯老品牌)工作。

代表性论著：

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.