1,068
个编辑
更改
科研进展
,无编辑摘要
----
'''<font sizeface="3微软雅黑" facesize="微软雅黑3"><span style="line-height: 24.96px">Selected Paper</span></font>'''<p align="center" style="margin-bottom:7.8pt; text-align:center" align="center"><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US">2017</span></span></span></p>
#<span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US"><span style="color:black">Wu J, Zhang L, Wang C, Xie J. Mechanism Design for Social Law Synthesis under Incomplete Information[C]. In ''Proceedings of AAMAS-17''. São Paulo, Brazil, 2017.</span></span></span></span>
#<span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US"><span style="color:black">Wu J, Zhang L, Wang C, Xie J. Synthesizing Optimal Social Laws for Strategical Agents via Bayesian Mechanism Design[C]. In ''Proceedings of AAMAS-17''. São Paulo, Brazil, 2017.</span></span></span></span>
#<span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Lu H, Xie L, Kang N, Wang C and Xie J. Don't Forget the Quantifiable Relationship between Words: Using Recurrent Neural Network for Short Text Topic Discovery[C]. In ''Proceedings of AAAI-17''. San Francisco, USA, 2017: 1192-1198.</span></span></span> #<span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Jiang J, Shi P, An B, Yu J, Wang C. Measuring the social influences of scientist groups based on multiple types of collaboration relations[J]. ''Information Processing and Management'', 2016, 53(1): 1-20.</span></span></span> <p align="center" style="margin-left:1.0cm; text-align:center" align="center"><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">2016</span></span></span></p> <ol start="5"><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Li Y, Li H, Wang Q, Wang C and Fan X. Traditional Chinese Medicine Formula Evaluation Using Multi-instance Multi-label Framework[C]. In ''Proceedings of BIBM-16''. Shenzhen, China, 2016: 484-488.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Liu L, Liu M, Wang C, Wang J. Compile-time Automatic Synchronization Insertion and Redundant Synchronization Elimination for GPU Kernels[C]. In ''Proceedings of ICPADS-16''. Wuhan, China, 2016: 826-834.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Jiang L, Lu H, Xu M and Wang C. Biterm Pseudo Document Topic Model for Short Text[C]. In ''Proceedings of ICTAI-16''. San Jose, USA, 2016: 865-872.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Feng H, Zhang W, Wu H and Wang C. Web Page Segmentation and its Application for Web Information Crawling[C]. In ''Proceedings of ICTAI-16''. San Jose, USA, 2016: 598-605.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhang L, Chen H, Wu J, Wang C, Xie J. False-Name-Proof Mechanisms for Path Auctions in Social Networks[C]. In ''Proceedings of'' ''ECAI-16''. Hague, Holland, 2016: 1485-1492.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">刘峰</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">骆斌</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">一种基于最优策略概率分布的</span><span lang="EN-US" style="color:black" lang="EN-US">POMDP</span><span style="color:black">值迭代算法</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">电子学报</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2016, 44(5): 1078-1084.</span></span></span></li>
</ol>
<p align="center" style="text-align:center" align="center"><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">2015</span></span></span></p> <ol start="11"><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhang L, Wang C and Xie J. Cost optimal planning with multi valued landmarks[J]. ''AI Communications'', 2015, 28(3): 579-590.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Liu F, Wang C and Luo B. PCFBPI: A point clustering feature based policy iteration algorithm[C]. In ''Proceedings of'' ''ICTAI-15''. Vietri sul Mare, Italy, 2015: 119-124.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Wang Q, Li H and Wang C. Using hierarchical clustering algorithm to detect community structure in Traditional Chinese Medicine Formula network[C]. In ''Proceedings of'' ''ICTAI-15''. Vietri sul Mare, Italy, 2015: 132-138.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Lu H, Chen F, Xu M, Wang C and Xie J. Never Ignore The Significance Of Different Anomalies: A Cost-sensitive Algorithm Based On Loss Function For Anomaly Detection[C]. In ''Proceedings of'' ''ICTAI-15''. Vietri sul Mare, Italy, 2015: 1099-1105.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Peng Y, Fang M, Wang C, and Xie J. Entropy Chain Multi-Label Classifiers for Traditional Medicine Diagnosing Parkinson’s Disease[C]. In ''Proceedings of'' ''BIBM-15''. Washington DC, USA, 2015: 1722-1724.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Liu L, Liu M, Wang C. A low overhead storage format for SPmV on GPU systems[C]. In ''Proceedings of'' ''ICPADS-15''. Melbourne, Australia, 2015: 733-741.</span></span></span></li>
</ol>
<p align="center" style="text-align:center" align="center"><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">2014</span></span></span></p> <ol start="17"><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">胡云</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">吴骏</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">谢俊元</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">李慧</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">微博网络上的重叠社群发现与全局表示</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">软件学报</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2014, 25(12): 2824-2836.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhang L, Wang C and Xie J. Cost optimal planning with LP-based multi-valued landmark heuristic[C]. In ''Proceedings of AAMAS-14''. Paris, France, 2014: 509-516.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Yang J, Jiang L, Wang C and Xie J. Multi-Label Emotion Classification for Tweets in Weibo: Method and Application[C]. In ''Proceedings of ICTAI-14''. Limassol, Cyprus, 2014: 424-428.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Liu F, Li H and Wang C. nso-HSVI: A not-so-optimistic Heuristic Search Value Iteration Algorithm for POMDPs[C]. In ''Proceedings of ICTAI-14''. Limassol, Cyprus, 2014: 689-693.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Fang M, Xiao Y, Wang C and Xie J. Multi-Label classification: Dealing with Imbalance by Combining Labels[C]. In ''Proceedings of ICTAI-14''. Limassol, Cyprus, 2014: 233-237.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhang C, Zhang L, Wang C and Xie J. Text Summarization Based on Sentence Selection with Semantic Representation[C]. In ''Proceedings of ICTAI-14''. Limassol, Cyprus, 2014: 584-590.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Wu J, Wang C and Xie J. Automated Model Revision for Coordinated Open Systems[C]. In ''Proceedings of ICTAI-14''. Limassol, Cyprus, 2014: 984-988.</span></span></span></li>
</ol>
<p align="center" style="text-align:center" align="center"><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">2013</span></span></span></p> <ol start="24"><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Liu Y, Pan L, Jia X, Wang C, Xie J. Three-Way Decision Based Overlapping Community Detection[C]. In ''Proceedings of'' ''RSKT-13''. Halifax, Canada, 2013: 279-290.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Hu Y, Zhou Z, Xie J, Wang C. An Algorithm for Mining Top K Influential Community Based Evolutionary Outliers in Temporal Dataset[C]. In ''Proceedings of'' ''ICTAI-13. ''Washington DC, USA, 2013: 524-531.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhan Q, Yang H, Wang C, Xie J. CPP-SNS: A Solution to Influence Maximization Problem Under Cost Control[C]. In ''Proceedings of ICTAI-13. ''Washington DC, USA, 2013: 849-856.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Pan L, Wang C, Xie J. Spin-Glass Model based Local Community Detection Method in Social Networks[C]. In ''Proceedings of'' ''ICTAI-13. ''Washington DC, USA, 2013: 108-115.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhan Y, Wu J, Wang C, Liu M, Xie J. On the complexity of undominated core and farsighted solution concepts in coalitional games[C]. In ''Proceedings of'' ''AAMAS-13''. Saint Paul, USA, 2013: 1177-1178.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhang L, Wang C, Wu J, Liu M, Xie J. Planning Multi-Valued Landmarks[C]. In ''Proceedings of'' ''AAAI-13''.</span> <span style="color:black">Bellevue, USA, 2013: 1653-1654.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">胡云</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">谢俊元</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">周作建</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">社群演化的稳健迁移估计及演化离群点检测</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">软件学报</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2013, 24(11): 2710-2720.</span></span></span></li>
</ol>
<p align="center" style="text-align:center" align="center"><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">2012</span></span></span></p> <ol start="31"><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhan Y, Wu J, Wang C, Liu M and Xie J. On the Complexity and Algorithms of Coalition Structure Generation in Overlapping Coalition Formation Games[C]. In ''Proceedings of ICTAI-12''. Athens, Greece, 2012: 868-873.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Pan L, Dai C, Wang C, Xie J and Liu M. Overlapping Community Detection via leader-based Local Expansion in Social Networks[C]. In ''Proceedings of ICTAI-12''. Athens, Greece, 2012: 397-404.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">王崇骏</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">吴骏</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">张雷等</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">联盟规范系统及其规范能力极限</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">软件学报</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2012, 23(7): 1796-1804.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">潘磊</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">金杰</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏等</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">社会网络中基于局部信息的边社区挖掘</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">电子学报</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2012, 40(11): 2255-2263.</span></span></span></li>
</ol>
<p align="center" style="text-align:center" align="center"><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">2011</span></span></span></p> <ol start="35"><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Pan L, Wang C, Xie J, Liu M. Detecting Link Communities Based on Local Approach[C]. In ''Proceedings of ICTAI-11''. Boca Raton, USA, 2011: 884-886.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Jin J, Pan L, Wang C, Xie J. A Center-based Community Detection Method In Weighted Networks[C]. In ''Proceedings of ICTAI-11''. Boca Raton, USA, 2011: 513-518.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Wang C, Wu J, Wang Z, Xie J. Strategic Ability Updating in Concurrent Games by Coalitional Commitment[J]. ''IEEE Transactions on SMC(Part B)'', 2011, 41(6): 1442-1457.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Wu J, Wang C, Xie J. A Framework for Coalitional Normative Systems[C]. In ''Proceedings of'' ''AAMAS-11''. Taipei, 2011: 259-266.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">胡云</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">谢俊元</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">基于组合码字的矢量量化编码算法</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">南京大学学报自然科学</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2011, 47(5): 559-565.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">张玉华</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">华浩明</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">范欣生</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏,段金廒</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">基于关联规则方法探讨胸痹心痛方中十八反药对的应用规律</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">中国中药杂志</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2011, 36(24): 3544-3547.</span></span></span></li>
</ol>
<p align="center" style="text-align:center" align="center"><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">2010</span></span></span></p> <ol start="41"><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span stylelang="color:blackEN-US" langstyle="EN-UScolor:black">Zhang L, Wu J, Wang C. A Factor-Based Model for Context-Sensitive Skill Rating Systems[C]. In ''Proceedings of ICTAI-10''. Arras, France, 2010: 249-255.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhang L, Wu J, Wang C. Multi-relational Topic Model for Social Recommendation[C]. In ''Proceedings of ICTAI-10''. Arras, France, 2010: 349-350.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">韩进</span><span stylelang="color:blackEN-US" langstyle="EN-UScolor:black">, </span><span style="color:black">蔡圣闻</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏等</span><span stylelang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">一种基于</span><span lang="EN-US" style="color:black" lang="EN-US">π^t</span><span style="color:black">演算的安全协议建模方法</span><span stylelang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">计算机研究与发展</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2010, 47(4): 613-620.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">朱小虎</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">宋文军</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏等</span><span stylelang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">用于社团发现的</span><span lang="EN-US" style="color:black" lang="EN-US">Girvan-Newman</span><span style="color:black">改进算法</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">计算机科学与探索</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2010, 04(12): 1101-1108.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">宋文军</span><span stylelang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">刘红星</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏等</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">以图频繁集为基础的核心节点发现</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">计算机科学与探索</span>''<span stylelang="EN-US" style="color:black" lang="EN-US">, 2010, 4(1): 82-88.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">吴涛</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">谢俊元</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">基于部分可观测马尔可夫决策过程的网络入侵意图识别研究</span><span stylelang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">南京大学学报自然科学</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2010, 46(2): 122-130.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">孙正</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">宋文军</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏等</span><span stylelang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">用于社团分析的差异性度量方法</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">南京大学学报自然科学</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2010, 46(5): 528-534.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">刘志杰</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏</span><span stylelang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">一个基于复合攻击路径图的报警关联算法</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">南京大学学报自然科学</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2010, 46(1): 56-63.</span></span></span></li>
</ol>
<p align="center" style="text-align:center" align="center"><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">2009</span></span></span></p> <ol start="49"><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Wu J, Wang C, Zhang L, et al. Coalitional planning in game-like domains via ATL model checking[C]. In ''Proceedings of ICTAI-09''. Newark, USA, 2009: 645-652.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Zhou Q, Wang C, Xie J. CORE: A Trust Model for Agent Coalition Formation[C]. In ''Proceedings of ICNC and FSKD-09''. Tianjin, China, 2009: 11-17.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Wu J, Wang C, Tu X, Xie J, Pu L. Temporal Reasoning in Urban Growth Simulation[C]. In ''Proceedings of RSKT-09''. Gold Coast, Australia, 2009: 529-537.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span lang="EN-US" style="color:black" lang="EN-US">Wu J, Wang C, Tu X, Xie J. On the Logic of Cellular Reactive Systems[C]. In ''Proceedings of IAT-09''. Milan, Italy, 2009: 241-248.</span></span></span></li><li><span style="font-family:Times New Roman,Times,serif"><span style="font-size:larger"><span style="color:black">周清华</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">谢俊元</span><span lang="EN-US" style="color:black" lang="EN-US">, </span><span style="color:black">王崇骏</span><span lang="EN-US" style="color:black" lang="EN-US">. </span><span style="color:black">多</span><span lang="EN-US" style="color:black" lang="EN-US">Agent</span><span style="color:black">对抗环境下联盟形成的信任模型</span><span lang="EN-US" style="color:black" lang="EN-US">[J]. </span>''<span style="color:black">计算机科学与探索</span>''<span lang="EN-US" style="color:black" lang="EN-US">, 2009, 3(5): 491-497.</span></span></span></li>
</ol>