- [1]会议论文，On the power of name-passing communication,Leibniz International Proceedings in Informatics, LIPIcs,2017/08/01,傅育熙
- [2]期刊论文，Theory of Interaction,Theoretical Computer Science,2016/01/01,傅育熙
- [3]期刊论文，A thesis for interaction,Theoretical Computer Science,2022/01/01,傅育熙
- [4]期刊论文，发展中国特色的慕课模式提升教改创新与人才培养质量,中国大学教学,2018/01/01
- [5]期刊论文，Counting nondeterministic computations,Theoretical Computer Science,2022/01/01
- [6]期刊论文，A thesis for interaction,Theoretical Computer Science,2022/01/01,傅育熙
- [7]会议论文，Remark on Some \pi Variants,Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China,,2017/10/01
- [8]期刊论文，Extensional Petri net,FORMAL ASPECTS OF COMPUTING,2019/02/01
- [9]期刊论文，Model independent approach to probabilistic models,Theoretical Computer Science,2021/05/01,傅育熙
- [10]期刊论文，A note on the Knaster-Tarski Fixpoint Theorem,ALGEBRA UNIVERSALIS,2020/08/01