上海交大研究生院主页平台管理系统 fuyuxi--Home--Paper Publications

Personal Information

VIEW MORE

Home > Scientific Research > Paper Publications

fuyuxi.A thesis for interaction.Theoretical Computer Science.2022
2023-06-19
发展中国特色的慕课模式提升教改创新与人才培养质量.中国大学教学.2018
2023-01-02
Counting nondeterministic computations.Theoretical Computer Science.2022
2023-01-02
fuyuxi.A thesis for interaction.Theoretical Computer Science.2022
2023-01-02
Remark on Some \pi Variants.Dependable Software Engineering. Theories, Tools, and Applications - Third International Symposium, SETTA 2017, Changsha, China,.2017
2022-01-20
Extensional Petri net.FORMAL ASPECTS OF COMPUTING.2019
2022-01-20
fuyuxi.Model independent approach to probabilistic models.Theoretical Computer Science.2021
2021-06-23
A note on the Knaster-Tarski Fixpoint Theorem.ALGEBRA UNIVERSALIS.2020
2021-06-23
fuyuxi.形式化方法的理论基础专题前言.RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE.2018
2020-06-08
发展中国特色的慕课模式提升教改创新与人才培养质量.中国大学教学.2018
2020-06-08

total10 1/1

firstpreviousnextlast