谢瑾奎

²  机器学习与大数据分析

²  算法博弈论与社会计算

²  分布式系统与智能控制

²  编译原理 (本科生)

²  编译原理实践 (本科生)

²  数值计算及其计算机实现 (本科生)

²  计算理论基础 (硕士生，博士生)

²  算法构造方法 (硕士生)

²  上海洋山四期自动配载模块测试和开发

²  上海市科委科技攻关项目“面向智能电视终端的自然人机交互技术研究”(No. 1511502203)

²  上海市自然科学基金项目“基于设计构件的形式规范自动生成与验证分析”(No. 09ZR1409500)

²  国家自然科学基金项目“UML可执行的统一形式语义框架研究” (No. 61070226)

²  国家自然科学基金项目“Web事务的模型和语义研究” (No. 90718004)

²  国家自然科学基金项目“分布式系统中软件动态更新的形式化研究”(No. 60673116)

²  上海市科委重大项目“信息网格设施环境建设与协议标准研究”(No. 03dz15026)

²  上海市科委重大项目“信息网格系统软件开发与网格结点建设”(No. 03dz15027)

²  国家863高科技项目“分布式部分计值”(No. 2001AA113160)

²  上海市旅游信息化“十一五”发展规划

论文

² Wenzhuo Huang, Xuntian Yan, Zhen Yan, Jinkui Xie. A Heterogeneous Collaborative Filtering Model for Social Recommendation. 28th International Conference on Neural Information Processing (ICONIP 2021). Springer, Cham, 2021: 414-421.

² Wanting Zhao, Hao Xu, Wenzhuo Huang, Jinkui Xie. Higher-Order Heterogeneous Graph Convolutional Network Based on Meta-Paths. 2020 International Joint Conference on Neural Networks (IJCNN 2020), 2020.7.

² 杨奔, 王炜晔, 赵婉婷, 谢瑾奎. 基于DQN的动态深度多分支搜索的自动配载算法. 计算机工程, 2020.8.

² Weiye Wang, Ben Yang, Wanting Zhao, Jinkui Xie. A deep matrix factorization method with missing not at random data for social recommendation. 26th International Conference on Neural Informational Processing (ICONIP 2019), 2019.12.

² Yuzhu 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.

² Yuzhu 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.

² Qianwen Zhang, Yuzhu Wu, Jinkui Xie. Layer-Prioritized Influence Maximization in Social Networks. The 24th International Conference on Neural Information Processing (ICONIP 2017), 2017.11.

²  金涛, 谢瑾奎, 杨宗源. 社交网络中快速群组生成及群组推荐研究，小型微型计算机系统，2017.3.

²  潘书敏, 颜娜, 谢瑾奎. 基于用户相似度和特征分化的广告点击率预测研究. 计算机科学, 2017.2.

²  万路康, 章倩雯, 谢瑾奎. 社会网络下的基于主题概率的影响从众性模型和分析. 小型微型计算机系统, 2017.2.

²  胡启志, 颜娜, 谢瑾奎. 社交网络中基于信息词频和节点相似度的影响最大化算法. 小型微型计算机系统, 2017.2.

²  Qianwen Zhang, Cheng-Chao Huang, Jinkui Xie, Influence spread evaluation and propagation rebuilding. The 23rd International Conference on Neural Information Processing (ICONIP 2016), 2016.10. (获大会最佳学生论文奖)

²  张家利, 谢瑾奎, 王婷婷, 杨宗源. 从消息传播概率到概率亲密度矩阵的社区挖掘算法. 小型微型计算机系统, 2015.8.  

²  朱丽辉, 谢瑾奎, 潘书敏, 杨宗源. 在线广告中改进数据分层的动态点击率评估算法. 小型微型计算机系统, 2015.7.

²  刘英南, 谢瑾奎, 张家利, 杨宗源. 社交网络中基于信任的推荐算法. 小型微型计算机系统, 2015.6.

²  张洵彦, 谢瑾奎, 金一晟, 杨宗源. 基于虚拟节点的无线传感器组网近似算法. 计算机工程, 2013.12.

²  Yingnan 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.

²  Liang Dou, Qiang Liu, Zongyuan Yang, Jinkui Xie. A Situation Calculus-based semantic framework for UML. 2012 International Conference on Communications and Information Technology (ICCIT 2012). June 2012.

²  Jieqiong Xu, Zongyuan Yang, Jinkui Xie. Research on the Translation from UPPAAL Timed Automata to UML Diagram. 2011 2nd Asia-Pacific Conference on on Wearable Computing Systems (APWCS 2011). March 2011.

²  Yisheng Jin, Bei Jin, Jinkui Xie, Zongyuan Yang. Characteristic Genes Selection Research in Colon Cancer Gene Expression Profile. The 2011 International Conference on Database and Data Mining (ICDDM 2011). March 2011.

²  Li Tan, Zongyuan Yang, Jinkui Xie. OCL Constraints Automatic Generation for UML Class Diagram. 2010 International Conference on Software Engineering and Service Science (ICSESS 2010). July 2010.

²  Zhuocheng Li, Jinkui Xie, Yisheng Jin, Zongyuan Yang. Game Algorithm of Trade Selection Based on Trust in E-marketplace. 2010 IEEE International Conference on Information Management and Engineering (ICIME 2010). April 2010.

²  刘川博, 杨宗源, 谢瑾奎. 基于UML的软件设计信息抽取及在重构中的应用. 华东师范大学学报(自然科学版), 2010.5.

²  谭力, 杨宗源, 谢瑾奎. Ajax技术的数据响应优化. 计算机工程. 2010.4.

²  Kangle Cui, Zongyuan Yang, Jinkui Xie, Kaiyu Wan. Unify Modeling and Simulation Based on UML Timing Diagram and UPPAAL. The 2nd International Conference on Computer Modeling and Simulation (ICCMS 2010). January 2010.

²  Tingting Wang, Jinkui Xie, Bei Jin, Zongyuan Yang. 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.

²  Bei Jin, Jinkui Xie, Tingting Wang, Zongyuan Yang. Online Network Resource Allocation Mechanism with the Continuous High Satisfaction. 2009 International Symposium on Information Science and Engineering (ISISE 2009). December 2009.

²  Li Tan, Zongyuan Yang, Jinkui Xie. 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.

²  Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Formal model and analysis of sliding window protocol based on NuSMV. Journal of Computers. May 2009. (Best paper of ISECS 2009)

²  Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Performance analysis of system model Based on continuous-time Markov chains. Journal of Software. May 2009.

²  Yefei Zhao, Zongyuan Yang, Jinkui Xie, Qiang Liu. Quantitative analysis of system Based on extended UML state diagrams and probabilistic model checking. Journal of Software. August 2009.

²  Yefei Zhao, Zongyuan Yang, Jinkui Xie. 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.

²  Yefei Zhao, Zongyuan Yang, Jinkui Xie. Formal semantics of UML state diagram and automatic verification Based on Kripke structure. 22nd IEEE Canadian Conference on Electrical and Computer Engineering (CCECE 2009). May 2009.

²  Qiang Liu, Zongyuan Yang, Jinkui Xie. Verifying Correctness of Pattern-based Composition. International Journal of Control and Automation. November 2008.

²  Qiang Liu, Zongyuan Yang, Jinkui Xie. Description and Verification of Pattern-based Composition in Coq. Future Generation Communication and Networking (FGCN 2008). December 2008.

²  Jinkui Xie, Linpeng Huang. 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.

²  Jinkui Xie, Linpeng Huang. 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.

²  Jinkui Xie, Linpeng Huang. 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.

²  Jinkui Xie, Linpeng Huang. 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.

²  陆首博, 谢瑾奎, 黄林鹏. 并行编译线程的设计与分析. 计算机应用与软件, 2005.

²  Lee Choon Chiat, Linpeng Huang, Jinkui Xie. Matchmaking for semantic web services. International Conference on Services Computing (SCC 2004), IEEE Computer Society, September 2004.

²  谢瑾奎, 黄林鹏. 基于部分计值的信息个人化智能Agent系统. 计算机工程, 2003.

著作翻译

²  《算法引论：一种创造性方法》，电子工业出版社，2005

²  《程序设计语言：原理与实践》(第二版)，电子工业出版社，2004