研究领域
- 暂无内容
论文成果
- · A thesis for interaction.Theoretical Computer Science.2022
- · 发展中国特色的慕课模式提升教改创新与人才培养质量.中国大学教学.2018
- · Counting nondeterministic computations.Theoretical Computer Science.2022
- · A thesis for interaction.Theoretical Computer Science.2022
- · Remark on Some \pi Variants.Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China,.2017
- · Extensional Petri net.FORMAL ASPECTS OF COMPUTING.2019
- · Model independent approach to probabilistic models.Theoretical Computer Science.2021
- · A note on the Knaster-Tarski Fixpoint Theorem.ALGEBRA UNIVERSALIS.2020
- · 形式化方法的理论基础专题前言.RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE.2018
- · 发展中国特色的慕课模式 提升教改创新与人才培养质量.中国大学教学.2018
专利
- 暂无内容
著作成果
- 暂无内容
科研项目 MORE+
- · 开源联盟链隐私保护协议的UC安全性研究-2025/09/01
- · 补贴策略的博弈分析联合创新组-2019/06/01
- · 网络广告拍卖的博弈理论和计算方法的研究-2021/12/01
- · M-可解性、M-计算复杂性与计算机科学的模型理论-2014/12/01
- · M-可解性、M-计算复杂性与计算机科学的模型理论-2014/12/01
- · 无限状态系统的验证问题研究-可信软件理论、方法集成与综合试验平台-2016/12/01
- · 计算机科学的结构与核心基础理论-2013/05/01
- · 微软联合重点实验室-2013/12/01
- · 多线程程序语言的程序分析研究-2012/12/01
- · VASS可达性的算法研究-2024/12/01