个人信息 Personal information
职称:教授
学历:博士研究生毕业
毕业院校:上海交通大学
在职信息:退休
所在单位:计算机科学与技术学院
入职时间:1986-07-01
科学研究
论文成果 查看更多>
- 1 Zhenguo Yang. On action permutation and progress for a type system with partially commutative asynchronous binary sessions .International Journal of Computational Science and Engineering .2015 ,Vol.10 (No.3) :253-262
- 2 钟发荣. 二元会话类型系统中演进特性研究<sup>*</sup> .浙江师范大学学报(自然科学版) .2013 (第2期) :127-132
- 3 Letu Qingge. Filling a Protein Scaffold With a Reference .IEEE Trans Nanobioscience .2017 ,Vol.16 (No.2) :123-130
- 4 Chao Li. Expected computations on color spanning sets .Journal of Combinatorial Optimization .2015 ,Vol.29 (No.3) :589-604
- 5 Cheng-Lin Fan. On Some Proximity Problems of Colored Sets .Journal of Computer Science and Technology .2014 ,Vol.29 (No.5) :879-886