学术活动
  2010-3-16
  2010-3-16
  2009-7-18
  2009-7-18
  2008-1-18
 

黄志球    Huang Zhiqiu


南京航空航天大学计算机科学与技术学院



研究领域:


研究兴趣:


共检索到结果111条  被引117次[注:ScholarSpace内自引数]
查看黄志球的合作作者    在DBLP中查找该作者文献
查看该作者的单位历史    作者项目历史

论文列表


注:被引数指ScholarSpace内自引数
No. 论文信息 被引数
2019
111 喻垚慎 黄志球 沈国华 王飞 崔少轩 . 基于抽象解释的嵌入式软件模块化Cache行为分析框架. 计算机学报, 2019, (10): 0
110 许金淼 杨志斌 黄志球 谢健 周勇 . 系统架构描述语言AADL的功能行为建模扩展. 计算机科学与探索, 2019, (10): 0
109 柯昌博 黄志球 吴嘉余 . 面向大数据的隐私发布暴露检测方法. 计算机科学, 2019, (10): 0
108 谢健 阚双龙 黄志球 王飞 杨志斌 李伟湋 . 嵌入偏序约简的状态事件线性时序逻辑验证. 计算机学报, 2019, (10): 0
107 邓刘梦 沈国华 黄志球 王飞 葛晓瑜 . 扩展SysML支持需求追踪模型的自动生成. 计算机科学与探索, 2019, (06): 0
106 杜天保 沈国华 黄志球 王飞 吴德香 . 通过代码模式改进基于IR的需求和代码之间追踪生成方法. 小型微型计算机系统, 2019, (05): 0
2018
105 王飞 杨志斌 黄志球 周勇 刘承威 章文炳 薛垒 许金淼 . 基于限定自然语言需求模板的AADL模型生成方法. 软件学报, 2018, (08): 0
104 王飞 黄志球 杨志斌 阚双龙 沈国华 陈光颖 . 一种安全攸关嵌入式系统需求追踪方法. 计算机学报, 2018, (03): 652-670 1
103 房丙午 黄志球 王勇 李勇 . 状态不可观测的信息物理融合系统运行时验证. 电子学报, 2018, (12): 0
102 阚双龙 黄志球 杨志斌 . SIGNAL模型多线程代码生成研究. 计算机科学与探索, 2018, (04): 0
101 曹彦 黄志球 阚双龙 彭焕峰 柯昌博 . 位置约束的访问控制模型及验证方法. 计算机研究与发展, 2018, (08): 0
100 祝义 黄志球 周航 . 采用函数式语言的BPEL模型形式化验证方法. 计算机科学与探索, 2018, (02): 0
99 彭焕峰 黄志球 刘林源 李勇 柯昌博 . 服务组合安全隐私信息流静态分析方法. 软件学报, 2018, (06): 0
98 陶灵灵 黄志球 曹彦 张梦娇 . 支持访问目的与信誉度标注的隐私保护方法. 计算机科学与探索, 2018, (05): 0
97 姜家鑫 黄志球 马薇薇 . 满足隐私需求的服务组合信息流控制方法研究. 计算机科学与探索, 2018, (03): 0
2017
96 王进 黄志球 . 面向超媒体链接的RESTful服务隐私建模方法. 计算机研究与发展, 2017, (04): 886-906 0
95 张弛 黄志球 丁泽文 . 支持抽象解释的静态分析方法的形式化体系研究. 计算机科学, 2017, (12): 0
94 房丙午 黄志球 王勇 李勇 . 基于混合贝叶斯网络的混合系统安全性分析方法. 电子学报, 2017, (12): 2896-2903 0
93 李昕 陈哲 王哲民 黄志球 . 嵌套模式模板在运行时验证中的应用. 小型微型计算机系统, 2017, (03): 489-494 0
92 司佳 沈国华 黄志球 王梓 潘诚 . 一种工具支撑的动态故障树定量分析方法. 小型微型计算机系统, 2017, (09): 2006-2011 0
91 柯昌博 黄志球 肖甫 . 基于本体概念相似度的软件构件检索方法. 计算机科学, 2017, (12): 0
90 李勇 黄志球 王勇 房丙午 . 数据驱动的软件缺陷预测研究综述. 电子学报, 2017, (04): 982-989 1
89 严俊琦 陈哲 黄志球 . C程序内存安全的运行时检测方法研究和实现. 小型微型计算机系统, 2017, (10): 2358-2363 0
88 潘诚 黄志球 王珊珊 王梓 . 采用CCSL仿真与分析反应式系统事件链模型. 小型微型计算机系统, 2017, (08): 1718-1724 0
2016
87 陆陈 黄志球 阚双龙 曹德建 黄传林 . 基于八边形抽象域的襟缝翼控制系统安全性分析. 小型微型计算机系统, 2016, (05): 902-908 1
86 沈国华 黄志球 谢冰 朱羿全 廖莉莉 王飞 刘银陵 . 软件可信评估研究综述:标准、模型与工具. 软件学报, 2016, (04): 955-969 1
85 王思琪 黄志球 黄传林 陈光颖 潘诚 . 一种基于状态事件故障树的软件安全性分析方法研究. 小型微型计算机系统, 2016, (01): 12-18 1
84 彭焕峰 黄志球 范大娟 章永龙 . 面向服务组合的用户隐私需求规约与验证方法. 软件学报, 2016, (08): 1948-1964 2
83 张学明 黄志球 孙艺 . 基于RBAC的隐私访问控制研究. 计算机科学, 2016, (01): 166-172 1
82 王哲民 陈哲 朱云龙 黄志球 . 参数化运行时验证研究和工具实现. 小型微型计算机系统, 2016, (12): 2667-2673 0
81 曹德建 黄志球 陆陈 陈光颖 仵志鹏 . 将故障信息扩展到功能模型的安全性分析方法研究. 小型微型计算机系统, 2016, (01): 24-33 0
80 杨志斌 赵永望 黄志球 胡凯 马殿富 Jean-Paul BODEVEIX Mamoun FILALI . 同步语言的时间可预测多线程代码生成方法. 软件学报, 2016, (03): 611-633 1
79 陈光颖 黄志球 陈哲 阚双龙 . 面向DO-333的襟缝翼控制单元安全性分析. 计算机科学, 2016, (05): 150-157 1
78 房丙午 黄志球 李勇 王勇 . 基于贝叶斯网络的复杂系统动态故障树定量分析方法. 电子学报, 2016, (05): 1
77 朱云龙 陈哲 王哲民 李绪蓉 黄志球 . 针对C语言的面向方面语言设计与实现. 小型微型计算机系统, 2016, (12): 2679-2685 1
2015
76 王飞 沈国华 黄志球 马琳 刘畅 李海峰 廖莉莉 . 一种结合线性时序逻辑和故障树的软件安全验证方法. 计算机科学, 2015, (12): 71-76 0
75 刘博 黄志球 王珊珊 . 一种隐私需求驱动的服务协调方法. 小型微型计算机系统, 2015, (10): 2183-2190 0
74 黄传林 黄志球 胡军 徐丙凤 曲长亮 . 基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究. 小型微型计算机系统, 2015, (03): 411-411 2
73 周亮 黄志球 黄传林 . 故障树领域本体及SWRL规则的构建方法研究. 计算机科学, 2015, (08): 198-203 0
72 彭焕峰 黄志球 范大娟 . 一种面向服务组合的隐私保护方法. 小型微型计算机系统, 2015, (08): 1671-1677 2
71 柯昌博 黄志球 . 云计算环境下隐私需求的描述与检测方法. 计算机研究与发展, 2015, (04): 3
70 胡军 马金晶 刘雪 程桢 石娇洁 黄志球 . 模型驱动的安全关键系统重配置信息验证方法. 计算机科学与探索, 2015, 9 (04): 385-402 0
69 王进 黄志球 . 云计算中隐私需求的建模与一致性检测. 计算机研究与发展, 2015, (10): 2395-2411 1
68 朱羿全 沈国华 黄志球 康达周 阚双龙 . 云计算环境中支持语义的安全策略匹配研究. 小型微型计算机系统, 2015, (11): 2451-2457 0
67 何一凡 黄志球 孙艺 . 面向Web服务组合的pivot事务嵌套模型. 计算机科学与探索, 2015, (08): 0
66 方黎明 黄志球 王建东 . 标准模型下增强的无需安全信道的带关键词搜索的公钥加密. 计算机科学, 2015, (11): 197-203 0
65 曹德建 黄志球 阚双龙 黄传林 . 基于故障扩展SysML活动图的软件安全性分析方法研究. 小型微型计算机系统, 2015, (09): 2067-2075 1
64 倪川 黄志球 王珊珊 黄传林 . 基于属性的支持策略本体推理的访问控制方法研究. 计算机科学, 2015, (03): 411-411 1
63 仵志鹏 黄志球 王珊珊 曹德建 . 一种基于故障扩展SysML活动图的安全性验证框架研究. 计算机科学, 2015, (07): 222-229 0
62 马银雪 陈哲 黄志球 黄吴丹 . 使用模型检验自动化验证路由协议. 小型微型计算机系统, 2015, (11): 2462-2467 0
61 徐丙凤 黄志球 胡军 魏欧 李伟湋 . 一种状态事件故障树的时间特性分析方法. 软件学报, 2015, (02): 411-411 2
60 周宇 黄延凯 黄志球 吴维刚 . 一种开放环境下软件在线演化一致性验证方法. 软件学报, 2015, (04): 3
59 魏欧 石玉峰 徐丙凤 黄志球 陈哲 . 软件模型检测中的抽象模型研究综述. 计算机研究与发展, 2015, (07): 1580-1604 0
2014
58 曲长亮 胡军 徐丙凤 黄志球 . 一种基于操作表达式模型的关键软件安全性验证方法研究. 小型微型计算机系统, 2014, (07): 0
57 阚双龙 黄志球 陈哲 徐丙凤 . 使用事件自动机规约的C语言有界模型检测. 软件学报, 2014, (11): 411-411 1
56 李勇 黄志球 房丙午 王勇 . 代价敏感分类的软件缺陷预测方法. 计算机科学与探索, 2014, (12): 2
55 王进 黄志球 唐佳俊 陈哲 肖芳雄 . BPEL谓词约束建模及可行路径分析. 计算机研究与发展, 2014, (04): 838-848 0
54 祝义 黄志球 张广泉 周航 肖芳雄 . 硬实时软件建模与分析的进程代数方法. 计算机科学与探索, 2014, (06): 0
53 黄志球 徐丙凤 阚双龙 胡军 陈哲 . 嵌入式机载软件安全性分析标准、方法及工具研究综述. 软件学报, 2014, (02): 200-219 11
2013
52 唐佳俊 黄志球 王进 . 一种Web服务组合的可信评估方法. 计算机科学, 2013, (02): - 1
51 徐丙凤 黄志球 胡军 魏欧 肖芳雄 . 一种状态事件故障树的定量分析方法. 电子学报, 2013, (08): 1480-1487 4
50 沈国华 张伟 黄志球 张钰龙 金澜涛 何文民 贾哲 赵子玥 . 基于描述逻辑的特征语义建模及验证. 计算机研究与发展, 2013, (07): 1501-1513 4
49 孙艺 黄志球 沈国华 柯昌博 . 支持冲突检测的P3P形式化语义研究. 计算机科学与探索, 2013, (10): 0
48 贾哲 黄志球 王珊珊 沈国华 柯昌博 . 支持本体推理的P3P隐私策略冲突检测研究. 计算机科学与探索, 2013, (01): 3
47 葛强 沈国华 黄志球 柯昌博 贾哲 . Web服务中支持本体推理的隐私保护研究. 计算机科学与探索, 2013, (06): 3
46 陆嘉俊 黄志球 王进 沈国华 柯昌博 . 面向行为的Web服务组合隐私策略描述研究. 计算机科学与探索, 2013, (07): 1
2012
45 蔡正平 黄志球 王进 王珊珊 徐丙凤 . 基于BPEL和WS-TX的Web服务组合事务协调框架研究. 计算机科学, 2012, (06): - 1
44 肖芳雄 李燕 黄志球 曹子宁 陈哲 范大娟 . 基于时间概率代价进程代数的Web服务组合建模和分析. 计算机学报, 2012, (05): - 6
43 柯昌博 黄志球 刘林源 曹子宁 . 面向约束的Web服务发现方法研究. 软件学报, 2012, (10): - 1
42 蔡昕烨 牛耘 黄志球 范大娟 . 一种用于基因调控网络建模的CGP-WPSO混合算法. 计算机科学, 2012, (09): - 0
41 朱小栋 肖芳雄 黄志球 沈国华 靳玲 . 基于描述逻辑的扩展预测模型标记语言EPMML. 计算机学报, 2012, (08): - 0
40 周航 黄志球 祝义 夏良 刘林源 . 基于Time Petri Net的实时系统冲撞检测与消解. 计算机研究与发展, 2012, (02): - 0
39 赵亮 黄志球 刘林源 . Web服务组装中的隐私暴露分析方法. 计算机科学与探索, 2012, (04): 4
38 袁敏 黄志球 胡军 . 跨组织多业务事务建模与验证方法. 软件学报, 2012, (03): - 4
2011
37 吉鸣 黄志球 祝义 王珊珊 沈国华 . 基于MDA的实时软件资源建模与模型转换的方法. 计算机科学, 2011, (08): 1
36 洪宏 黄志球 沈国华 钱巨 刘春勇 . 支持软件可信评估的框架及其应用研究. 计算机科学与探索, 2011, (02): 2
35 袁敏 黄志球 李祥 . 支持业务事务验证的服务协调模型. 小型微型计算机系统, 2011, (09): 1734-1740 0
34 闫艳 黄志球 袁敏 沈国华 . 面向服务的多参与者协调事务建模方法. 计算机科学与探索, 2011, (04): 2
33 魏欧 袁泳 蔡昕烨 黄志球 徐丙凤1 . 循环对称化简及在三值模型上的扩展. 软件学报, 2011, (06): 1169-1185 3
32 肖芳雄 黄志球 曹子宁 屠立忠 祝义 . Web服务组合功能与QoS的形式化统一建模和分析. 软件学报, 2011, (11): 2698-2716 5
31 祝义 黄志球 周航 刘林源 . 基于进程代数规约生成软件体系结构模型的方法. 计算机研究与发展, 2011, (02): 1
30 沈国华 黄志球 钱巨 徐拥军 郝进 赵文耘 彭鑫 . 软件可信评估模型及其工具实现. 计算机科学与探索, 2011, (06): 4
2010
29 徐丙凤 胡军 曹东 黄志球 郭丽娟 张剑 . 构件化嵌入式软件设计模型非功能性质验证的工具实现. 计算机科学, 2010, 37 (08): 156-164 1
28 徐丙凤 胡军 曹东 黄志球 郭丽娟 张剑 . T-CBESD:一个构件化嵌入式软件设计模型验证工具. 小型微型计算机系统, 2010, (11): 1
27 祝义 黄志球 曹子宁 周航 刘亚萍 . 一种基于形式化规约生成软件体系结构模型的方法. 软件学报, 2010, (11): 1
26 于瑞强 黄志球 . 利用时间约束Petri网进行项目绩效分析. 小型微型计算机系统, 2010, (02): 0
25 赵晓非 黄志球 . 基于描述逻辑的元数据存储库系统的结构完整性检测. 小型微型计算机系统, 2010, (06): 1084-1090 0
24 刘亚萍 黄志球 祝义 . 基于元建模的实时系统模型转换方法研究. 小型微型计算机系统, 2010, (11): 4
23 周航 黄志球 张广泉 祝义 胡军 . 基于PTCPN的网构软件建模与分析. 软件学报, 2010, (06): 1254- 3
22 赵晓非 黄志球 . 基于描述逻辑的CWM元数据冲突的检测和消解. 计算机科学, 2010, (11): 0
21 袁敏 黄志球 曹子宁 肖芳雄 . 一种扩充的π-演算及事务性等价关系研究. 计算机研究与发展, 2010, (03): 541-549 2
2009
20 周航 黄志球 胡军 祝义 . 基于Time Petri Nets的实时系统资源冲突检测. 计算机研究与发展, 2009, (09): 1
19 朱小栋 黄志球 沈国华 . 基于描述逻辑的数据挖掘元数据的一致性检验. 小型微型计算机系统, 2009, 30 (02): 266-270 0
18 肖芳雄 黄志球 曹子宁 袁敏 张君华 . 基于价格进程代数的Web服务组合描述和成本分析. 计算机研究与发展, 2009, (05): 1
2008
17 朱小栋 黄志球 . 直觉模糊集的模糊蕴含式运算方法. 计算机科学, 2008, 35 (03): 126-128 0
16 严巍 黄志球 刘毅 王凯 . 协同设计中层次访问控制模型的研究. 计算机工程, 2008, 34 (13): 40-42 1
15 张君华 黄志球 曹子宁 . 模型检测基于概率时间自动机的反例产生研究. 计算机研究与发展, 2008, (10): 1638-1646 4
14 王磊 黄志球 朱小栋 沈国华 程亮 . 数据流中基于矩阵的频繁项集挖掘. 计算机科学与探索, 2008, (03): 0
13 胡军 黄志球 曹东 徐丙凤 . 网构软件的资源自适应性的形式化分析与验证. 软件学报, 2008, 19 (05): 1186-1200 5
12 沈国华 黄志球 朱小栋 王磊 曾云峰 . 一种应用描述逻辑推理实现本体映射的方法. 小型微型计算机系统, 2008, 29 (11): 1979-1985 0
11 张君华 黄志球 曹子宁 . 模型检测基于概率时间自动机的反例产生研究. , 2008, (10): 0
2007
10 祝义 张永常 张广泉 黄志球 . UML与Z结合的建模过程及其应用. 计算机科学, 2007, 34 (05): 273-276 0
9 赵晓非 黄志球 . 基于CWM的元数据的形式化推理框架研究. 计算机研究与发展, 2007, 44 (05): 829-836 1
2006
8 赵晓非 黄志球 . 基于CWM的元数据集成中形式化推理技术的研究. 计算机科学, 2006, 33 (12): 177-182 0
7 杜防汛 黄志球 杨俊 张玉宏 . 基于UML时序图的系统运行时耦合度量方法. 计算机工程, 2006, 32 (20): 75-77 0
6 余勇 黄志球 刘毅 周安宁 . 基于XML的组员关系协议的设计与实现. 计算机工程, 2006, 32 (22): 136-138 0
2004
5 沈国华 黄志球 柳雪涛 张定会 . 基于数据仓库技术的工程数据管理系统的研究与实现. 小型微型计算机系统, 2004, 25 (01): 127-130 0
2002
4 柳雪涛 黄志球 左银龙 高鹏 . 数据仓库系统中用户驱动报表工具的设计与实现. 小型微型计算机系统, 2002, 23 (02): 185-188 0
2001
3 李臻峰 黄志球 . 通用静态格式报表打印设计. , 2001, 27 (04): 191- 1
2 左银龙 黄志球 高鹏 张本柱 左敦稳 . 分布式多层应用系统的设计与实现. 计算机工程, 2001, 27 (03): 176-178 0
2000
1 王珊珊 黄志球 尤晓梅 . 建立面向试飞数据处理的试飞数据库系统FTDBMS. 计算机工程, 2000, 26 (02): 50-52 0

DBLP检索到的论文列表

No. Paper Inforamtion
2012
1 Guohua Shen, Zhiqiu Huang, Changbao Tian, Qiang Ge, Wei Zhang, Feature modeling and Verification based on Description Logics. SEKE, 2012
2010
0 Yi Zhu, Zhiqiu Huang, Zining Cao, Hang Zhou, Min Yuan, An MDE Based Approach for Generating Software Architecture Models from Formal Specifications. QSIC, 2010
-1 Min Yuan, Zhiqiu Huang, Xiang Li, Yan Yan, Towards a Formal Verification Approach for Business Process Coordination. ICWS, 2010
2009
-2 Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu, Modeling Cost-Aware Web Services Composition Using PTCCS. ICWS, 2009
-3 Min Yuan, Zhiqiu Huang, Fangxiong Xiao, Modeling and Analysis of Flexible Transaction for Web Services. ICWS, 2009
-4 Min Yuan, Zhiqiu Huang, Jian Zhao, Xiang Li, Modeling and Verification of Automatic Multi-business Transactions. SEKE, 2009
2008
-5 Fangxiong Xiao, Zhiqiu Huang, Jun Hu, Min Yuan, Junhua Zhang, Support Web Services Composition with Optimal Cost Using PPA. ICWS, 2008
2006
-6 Xiaofei Zhao, Zhiqiu Huang, A Formal Framework for Reasoning on Metadata Based on CWM. ER, 2006

合作作者列表

1 BODEVEIX [80]  
2 FILALI [80]  
3 Jean-Paul [80]  
4 Mamoun [80]  
5 丁泽文 [95]  
6 严俊琦 [89]  
7 严巍 [16]  
8 于瑞强 [26]  
9 仵志鹏 [63]   [81]  
10 何一凡 [67]  
11 何文民 [50]  
12 余勇 [6]  
13 倪川 [64]  
14 刘亚萍 [27]   [24]  
15 刘博 [75]  
16 刘承威 [105]  
17 刘春勇 [36]  
18 刘林源 [31]   [43]  [40]  [39]  [99]  
19 刘毅 [6]   [16]  
20 刘畅 [76]  
21 刘银陵 [86]  
22 刘雪 [70]  
23 司佳 [92]  
24 吉鸣 [37]  
25 吴嘉余 [109]  
26 吴德香 [106]  
27 吴维刚 [60]  
28 周亮 [73]  
29 周勇 [105]   [110]  
30 周宇 [60]  
31 周安宁 [6]  
32 周航 [20]   [23]  [27]  [31]  [40]  [54]  [100]  
33 唐佳俊 [52]   [55]  
34 喻垚慎 [111]  
35 夏良 [40]  
36 姜家鑫 [97]  
37 孔红云 []  
38 孙艺 [49]   [83]  [67]  
39 尤晓梅 [1]  
40 屠立忠 [32]  
41 崔少轩 [111]  
42 左敦稳 [2]  
43 左银龙 [4]   [2]  
44 康达周 [68]  
45 廖莉莉 [86]   [76]  
46 张伟 [50]  
47 张剑 [29]   [28]  
48 张君华 [18]   [11]  [15]  
49 张学明 [83]  
50 张定会 [5]  
51 张广泉 [10]   [23]  [54]  
52 张弛 [95]  
53 张本柱 [2]  
54 张梦娇 [98]  
55 张永常 [10]  
56 张玉宏 [7]  
57 张钰龙 [50]  
58 彭焕峰 [72]   [84]  [99]  [101]  
59 彭鑫 [30]  
60 徐丙凤 [13]   [29]  [28]  [45]  [53]  [58]  [51]  [57]  [61]  [74]  [59]  
61 徐丙凤1 [33]  
62 徐拥军 [30]  
63 房丙午 [56]   [78]  [90]  [94]  [103]  
64 方黎明 [66]  
65 曲长亮 [58]   [74]  
66 曹东 [13]   [29]  [28]  
67 曹子宁 [18]   [11]  [21]  [27]  [32]  [44]  [43]  [15]  
68 曹彦 [98]   [101]  
69 曹德建 [63]   [65]  [81]  [87]  
70 曾云峰 [12]  
71 朱云龙 [82]   [77]  
72 朱小栋 [14]   [17]  []  [12]  [19]  [41]  
73 朱羿全 [86]   [68]  
74 李伟湋 [61]   [108]  
75 李勇 [56]   [78]  [90]  [94]  [99]  [103]  
76 李昕 [93]  
77 李海峰 [76]  
78 李燕 [44]  
79 李祥 [35]  
80 李绪蓉 [77]  
81 李臻峰 [3]  
82 杜天保 [106]  
83 杜防汛 [7]  
84 杨俊 [7]  
85 杨志斌 [80]   [104]  [102]  [105]  [108]  [110]  
86 柯昌博 [43]   [48]  [47]  [46]  [49]  [71]  [91]  [99]  [101]  [109]  
87 柳雪涛 [4]   [5]  
88 沈国华 [5]   [14]  []  [12]  [19]  [36]  [37]  [34]  [30]  [41]  [48]  [50]  [47]  [46]  [49]  
[86]  [76]  [68]  [92]  [104]  [107]  [111]  [106]  
89 洪宏 [36]  
90 潘诚 [85]   [88]  [92]  
91 牛耘 [42]  
92 王凯 [16]  
93 王勇 [56]   [78]  [90]  [94]  [103]  
94 王哲民 [82]   [77]  [93]  
95 王建东 [66]  
96 王思琪 [85]  
97 王梓 [88]   [92]  
98 王珊珊 [1]   [37]  [45]  [48]  [64]  [63]  [75]  [88]  
99 王磊 [14]   [12]  
100 王进 [45]   [52]  [55]  [46]  [69]  [96]  
101 王飞 [86]   [76]  [104]  [105]  [107]  [108]  [111]  [106]  
102 石娇洁 [70]  
103 石玉峰 [59]  
104 祝义 [10]   [20]  [23]  [27]  [24]  [31]  [37]  [32]  [40]  [54]  [100]  
105 程亮 [14]  
106 程桢 [70]  
107 章文炳 [105]  
108 章永龙 [84]  
109 肖甫 [91]  
110 肖芳雄 [18]   [21]  [32]  [44]  [41]  [55]  [54]  [51]  
111 胡军 [13]   [20]  [23]  [29]  [28]  [38]  [53]  [58]  [51]  [61]  [74]  [70]  
112 胡凯 [80]  
113 范大娟 [44]   [42]  [72]  [84]  
114 葛强 [47]  
115 葛晓瑜 [107]  
116 蔡昕烨 [33]   [42]  
117 蔡正平 [45]  
118 薛垒 [105]  
119 袁敏 [18]   [21]  [34]  [35]  [38]  
120 袁泳 [33]  
121 许金淼 [105]   [110]  
122 谢健 [108]   [110]  
123 谢冰 [86]  
124 贾哲 [48]   [50]  [47]  
125 赵亮 [39]  
126 赵子玥 [50]  
127 赵文耘 [30]  
128 赵晓非 [9]   [8]  [25]  [22]  
129 赵永望 [80]  
130 邓刘梦 [107]  
131 郝进 [30]  
132 郭丽娟 [29]   [28]  
133 金澜涛 [50]  
134 钱巨 [36]   [30]  
135 闫艳 [34]  
136 阚双龙 [53]   [57]  [79]  [65]  [68]  [87]  [104]  [102]  [101]  [108]  
137 陆嘉俊 [46]  
138 陆陈 [81]   [87]  
139 陈光颖 [79]   [85]  [81]  [104]  
140 陈哲 [44]   [53]  [55]  [57]  [59]  [79]  [62]  [82]  [77]  [93]  [89]  
141 陶灵灵 [98]  
142 靳玲 [41]  
143 马殿富 [80]  
144 马琳 [76]  
145 马薇薇 [97]  
146 马金晶 [70]  
147 马银雪 [62]  
148 高鹏 [4]   [2]  
149 魏欧 [33]   [51]  [61]  [59]  
150 黄传林 [64]   [74]  [73]  [65]  [85]  [87]  
151 黄吴丹 [62]  
152 黄延凯 [60]  

单位历史信息

南京航空航天大学计算机科学与技术学院 (2011--2019)
南京航空航天大学信息科学与技术学院 (2004--2012)
南京航空航天大学计算机科学与工程系 (2001--2010)

说明: 作者的单位历史信息是根据本系统中论文的单位信息采用算法自动计算得到,部分信息可能不准确,仅供参考。