中国地质大学(北京)高等教育研究所 
研究主题：形式化方法 人机交互 软件产品 计算机 高等教育学
研究学科：自动化类
- 软件工程学科何以独特——形式化方法的双重路径
- 1
- 《软件》中国地质大学(北京)高等教育研究所;清华科技园(珠海)融智文化基因工程研究所(筹);中国电子学会;天津电子学会<软件>杂志 邹晓辉 邹顺鹏 出版年：2011
- 关键词：软件产品 软件工程服务 双语信息处理 间接形式化.
- 间接计算模型和间接形式化方法
- 2
- 《软件》中国地质大学(北京)高等教育研究所;清华科技园融智文化基因工程研究所筹;加州大学贝克莱分校塞尔研究双语信息处理课题组 邹晓辉 邹顺鹏 出版年：2011
- 关键词：计算理论 形式理论 人机交互 协同计算
- 协同智能计算系统——理论模型及其应用
- 3
- 《软件》中国地质大学(北京)高等教育研究所 邹晓辉 邹顺鹏 出版年：2011
- 关键词：计算机 间接计算 间接形式化 软件
- 当代中国大学新使命:基于汉语思维与双语处理的文化传承和创新
- 4
- 《南京理工大学学报（社会科学版）》中国地质大学(北京)高等教育研究所;清华科技园(珠海)融智文化基因工程研究所(筹);贝克莱大学塞尔研究(中美合作)双语信息处理项目 邹晓辉 邹顺鹏 出版年：2012
- 关键词：形式信息学 形式语言学 高等教育学 科学哲学 协同智能计算系统 双语处理
- 两大类形式化方略
- 5
- 《计算机应用与软件》中国地质大学(北京)高等教育研究所;加州大学伯克利分校塞尔研究中心 邹晓辉 邹顺鹏 出版年：2013
- 关键词：机器翻译 形式化 双语信息处理
- “云计算”概念的分析研究——协同智能计算系统的一个特例
- 6
- 《软件》中国地质大学(北京)高等教育研究所 邹晓辉 邹顺鹏 出版年：2011
- 关键词：云计算理论 云计算技术 云计算服务
- 新时代对中国特色社会主义理论体系的理论认同研究
- 7
- 《中国政法大学学报》中国地质大学(北京)高等教育研究所 王静修 出版年：2023
- 关键词：中国特色社会主义 理论认同 逻辑基础 实践路径
- 大学的教育与管理“迭交”模型
- 8
- 2011 2nd International Conference on Management Science and Engineering(MSE 2011) 2011邹顺鹏 邹晓辉 刘志方 出版年：2011
- 关键词：高等教育 学科建设 教管模型
- 虚拟的孪生图灵机——以双语信息处理为例
- 9
- 《软件》中国地质大学(北京)高等教育研究所;塞尔研究双语信息处理课题组 邹晓辉 邹顺鹏 出版年：2011
- 关键词：图灵机 人机交互 双语信息处理
