异步通讯程序的程序分析理论与方法
61672340
2016
F0201.计算机科学的基础理论
李国强
面上项目
副教授
上海交通大学
16万元
活性;可覆盖性;异步通讯程序;程序分析;Petri网
2017-01-01到2017-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Asynchronous Multi-Process Timed Automata | 期刊论文 | Guoqiang Li;Li Liu;Akira Fukuda |
| 2 | SCFM: Social and Crowdsourcing Factorization Machines for Recommendation | 期刊论文 | Yue Ding;Dong Wang;Xin Xin;Guoqiang Li;Daniel Sun;Xuezhi Zeng;Rajiv Ranjan |
| 3 | Evaluation of Redundancy Based System: A Model Checking Approach | 期刊论文 | Ling Fang;Chunyan Mu;Zhuo Cheng;Guoqiang Li |
| 4 | 异步多进程时间自动机的可覆盖性问题 | 期刊论文 | 刘立;李国强 |
| 5 | 良结构下推系统的可覆盖性问题的下界 | 期刊论文 | 李春淼;蔡小娟;李国强 |
| 6 | Exploiting Long- and Short-term Preferences and RFID Trajectories in Shop Recommendation | 期刊论文 | Yue Ding;Dong Wang;Guoqiang Li;Daniel Sun;Xin Xin |
| 7 | 基于通信Petri网的异步通信程序验证模型 | 期刊论文 | 杨启哲;李国强 |
| 8 | A game-theoretic model and analysis of data exchange protocols for Internet of Things in clouds | 期刊论文 | Tao Xiuting;Li Guoqiang;Sun Daniel;Cai Hongming |
查看更多信息请先登录或注册
趋势报告
