- [1]期刊论文，A thesis for interaction,Theoretical Computer Science,2022/01/01,傅育熙
- [2]期刊论文，发展中国特色的慕课模式提升教改创新与人才培养质量,中国大学教学,2018/01/01
- [3]期刊论文，Counting nondeterministic computations,Theoretical Computer Science,2022/01/01
- [4]期刊论文，A thesis for interaction,Theoretical Computer Science,2022/01/01,傅育熙
- [5]会议论文，Remark on Some \pi Variants,Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China,,2017/10/01
- [6]期刊论文，Extensional Petri net,FORMAL ASPECTS OF COMPUTING,2019/02/01
- [7]期刊论文，Model independent approach to probabilistic models,Theoretical Computer Science,2021/05/01,傅育熙
- [8]期刊论文，A note on the Knaster-Tarski Fixpoint Theorem,ALGEBRA UNIVERSALIS,2020/08/01
- [9]期刊论文，形式化方法的理论基础专题前言,RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE,2018/01/01,傅育熙
- [10]期刊论文，发展中国特色的慕课模式 提升教改创新与人才培养质量,中国大学教学,2018/01/01
| |