谢瑾奎
计算机科学与技术学院??????


导航
个人资料
研究方向
开授课程
科研项目
学术成果
荣誉及奖励







个人资料
部门： 计算机科学与技术学院
毕业院校：
学位：
学历：
邮编：
联系电话：
传真：
电子邮箱： jkxie@cs.ecnu.edu.cn
办公地址：
通讯地址：

教育经历

工作经历

个人简介

社会兼职
学习经历
²2006年，毕业于上海交通大学，计算机软件与理论博士学位
²2003年，毕业于上海交通大学，计算机应用技术硕士学位
²1997年，毕业于上海交通大学，建筑工程学士学位


研究方向
研究领域
2算法博弈论与社会计算
2机器学习与智能控制
2分布式系统与计算


开授课程


科研项目


学术成果
主持和参与过的研究项目
2上海市科委科技攻关项目“面向智能电视终端的自然人机交互技术研究”(No. )
2上海市自然科学基金项目“基于设计构件的形式规范自动生成与验证分析”(No. 09ZR**)
2国家自然科学基金项目“UML可执行的统一形式语义框架研究”(No. **)
2国家自然科学基金项目“Web事务的模型和语义研究”(No. **)
2国家自然科学基金项目“分布式系统中软件动态更新的形式化研究”(No. **)
2上海市科委重大项目“信息网格设施环境建设与协议标准研究”(No. 03dz15026)
2上海市科委重大项目“信息网格系统软件开发与网格结点建设”(No. 03dz15027)
2国家863高科技项目“分布式部分计值”(No. 2001AA113160)
2洋山四期自动配载模块测试和开发
2上海市旅游信息化“十一五”发展规划
相关论文
2Yuzhu Wu, Qianwen Zhang, Jinkui Xie. Coarsening Networks Based on Local Link Similarity for Community Detection. The 42nd IEEE Computer Software and Applications Conference. (COMPSAC 2018), 2018.7.
2Yuzhu Wu, Shumin Pan, Qianwen Zhang, Jinkui Xie. Dynamic Bidding Strategy Based on Probabilistic Feedback in Display Advertising. The 24th International Conference on Neural Information Processing (ICONIP 2017), 2017.11.
2Qianwen Zhang, Yuzhu Wu, Jinkui Xie. Layer-Prioritized Influence Maximization in Social Networks. The 24th International Conference on Neural Information Processing (ICONIP 2017), 2017.11.
2金涛, 谢瑾奎, 杨宗源. 社交网络中快速群组生成及群组推荐研究，小型微型计算机系统，2017.3.
2潘书敏, 颜娜, 谢瑾奎. 基于用户相似度和特征分化的广告点击率预测研究. 计算机科学, 2017.2.
2万路康, 章倩雯, 谢瑾奎.社会网络下的基于主题概率的影响从众性模型和分析. 小型微型计算机系统, 2017.2.
2胡启志, 颜娜, 谢瑾奎.社交网络中基于信息词频和节点相似度的影响最大化算法.小型微型计算机系统, 2017.2.
2Qianwen Zhang, Cheng-Chao Huang, Jinkui Xie, Influence spread evaluation and propagation rebuilding. The 23rd International Conference on Neural Information Processing (ICONIP 2016), 2016.10. (获大会最佳学生论文奖)
2张家利, 谢瑾奎, 王婷婷, 杨宗源. 从消息传播概率到概率亲密度矩阵的社区挖掘算法. 小型微型计算机系统, 2015.8.
2朱丽辉, 谢瑾奎, 潘书敏, 杨宗源. 在线广告中改进数据分层的动态点击率评估算法. 小型微型计算机系统, 2015.7.
2刘英南, 谢瑾奎, 张家利, 杨宗源. 社交网络中基于信任的推荐算法. 小型微型计算机系统, 2015.6.
2张洵彦, 谢瑾奎, 金一晟, 杨宗源. 基于虚拟节点的无线传感器组网近似算法. 计算机工程, 2013.12.
2Yingnan Liu, Jinkui Xie, Liang Dou, Zongyuan Yang. Evaluating Social Network Reputation Based on Hybrid Efficiency and Strategy-proofness. Sixth International Conference on Advanced Computational Intelligence (ICACI). October, 2013.
2LiangDou,QiangLiu,ZongyuanYang,JinkuiXie. A Situation Calculus-based semantic framework for UML. 2012 International Conference on Communications and Information Technology (ICCIT 2012). June 2012.
2JieqiongXu,ZongyuanYang,JinkuiXie. Research on the Translation from UPPAAL Timed Automata to UML Diagram. 2011 2nd Asia-Pacific Conference ononWearable Computing Systems (APWCS 2011). March 2011.
2YishengJin,BeiJin,JinkuiXie,ZongyuanYang. Characteristic Genes Selection Research in Colon Cancer Gene Expression Profile. The 2011 International Conference on Database and Data Mining (ICDDM 2011). March 2011.
2LiTan,ZongyuanYang,JinkuiXie. OCL Constraints Automatic Generation for UML Class Diagram. 2010 International Conference on Software Engineering and Service Science (ICSESS 2010). July 2010.
2ZhuochengLi,JinkuiXie,YishengJin,ZongyuanYang. Game Algorithm of Trade Selection Based on Trust in E-marketplace. 2010 IEEE International Conference on Information Management and Engineering (ICIME 2010). April 2010.
2刘川博,杨宗源,谢瑾奎.基于UML的软件设计信息抽取及在重构中的应用.华东师范大学学报(自然科学版), 2010.5.
2谭力,杨宗源,谢瑾奎. Ajax技术的数据响应优化.计算机工程. 2010.4.
2KangleCui,ZongyuanYang,JinkuiXie,KaiyuWan. Unify Modeling and Simulation Based on UML Timing Diagram and UPPAAL. The 2nd International Conference on Computer Modeling and Simulation (ICCMS 2010). January 2010.
2TingtingWang,JinkuiXie,BeiJin,ZongyuanYang. Combinatorial Auctions based Network Resource Allocation Mechanism with High Welfare. The 4th International Conference on Frontier of Computer Science and Technology (FCST 2009). December 2009.
2BeiJin,JinkuiXie,TingtingWang,ZongyuanYang. Online Network Resource Allocation Mechanism with the Continuous High Satisfaction. 2009 International Symposium on Information Science and Engineering (ISISE 2009). December 2009.
2LiTan,ZongyuanYang,JinkuiXie. UCVSC: A Formal Approach to UML Class diagram online Verification based on Situation Calculus. International Conference on Computer Sciences and Convergence Information Technology 2009 (ICCIT'09). November 2009.
2YefeiZhao,ZongyuanYang,JinkuiXie,QiangLiu. Formal model and analysis of sliding window protocol based onNuSMV. Journal of Computers. May 2009. (Best paper of ISECS 2009)
2YefeiZhao,ZongyuanYang,JinkuiXie,QiangLiu. Performance analysis of system model Based on continuous-time Markov chains. Journal of Software. May 2009.
2YefeiZhao,ZongyuanYang,JinkuiXie,QiangLiu. Quantitative analysis of system Based on extended UML state diagrams and probabilistic model checking. Journal of Software. August 2009.
2YefeiZhao,ZongyuanYang,JinkuiXie. Pi-calculus based assembly mechanism of UML state diagram and Validation of model refinement. International Conference on Electronic Computer Technology 2009 (ICECT 2009). February 2009.
2YefeiZhao,ZongyuanYang,JinkuiXie. Formal semantics of UML state diagram and automatic verification Based onKripkestructure. 22nd IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2009). May 2009.
2QiangLiu,ZongyuanYang,JinkuiXie. Verifying Correctness of Pattern-based Composition. International Journal of Control and Automation. November 2008.
2QiangLiu,ZongyuanYang,JinkuiXie. Description and Verification of Pattern-based Composition in Coq. Future Generation Communication and Networking (FGCN 2008). December 2008.
2JinkuiXie,LinpengHuang. A high-level design of mobile ad hoc system for service computing compositions. International Conference on High Performance Computing and Its Applications (HPCA 2004), August 2004. Lecture Notes in Computer Science and Engineering. Springer-Verlag，Berlin，2005.
2JinkuiXie,LinpengHuang. An abstract model for service compositions based on agents. International Conference on Computational Science (ICCS 2005),May 2005. Lecture Notes in Computer Science Vol. 3516, Springer-Verlag，Berlin，2005.
2JinkuiXie,LinpengHuang. Specification and verification of position based routing for mobile ad hoc system. International Conference on Computer and Information Technology (CIT 2005), IEEE Computer Society, September 2005.
2JinkuiXie,LinpengHuang. Formal description and complexity analysis of routing in mobile ad hoc system. International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2005), IEEE Computer Society, December 2005.
2陆首博,谢瑾奎,黄林鹏.并行编译线程的设计与分析.计算机应用与软件, 2005.
2LeeChoonChiat,LinpengHuang,JinkuiXie. Matchmaking for semantic web services. International Conference on Services Computing (SCC 2004), IEEE Computer Society, September 2004.
2谢瑾奎,黄林鹏.基于部分计值的信息个人化智能Agent系统.计算机工程, 2003.
课程教学
2编译原理(本科生)
2数值计算及其计算机实现(本科生)
2计算理论基础(硕士生，博士生)
2程序语言理论(硕士生，博士生)
著作翻译
2《算法引论：一种创造性方法》，电子工业出版社，2005
2《程序设计语言：原理与实践》(第二版)，电子工业出版社，2004
更新日期
2018年6月


荣誉及奖励


招生信息














10 访问


相关教师