个人信息 Personal information
学历：博士研究生毕业
毕业院校：上海交通大学
在职信息：在岗
所在单位：计算机科学与技术学院
入职时间：1986-07-01
职务：未聘任
- 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
- 钟发荣. 二元会话类型系统中演进特性研究<sup>*</sup>. 浙江师范大学学报(自然科学版). 2013 (第2期):127-132
- Letu Qingge. Filling a Protein Scaffold With a Reference. IEEE Trans Nanobioscience. 2017,Vol.16 (No.2):123-130
- Chao Li. Expected computations on color spanning sets. Journal of Combinatorial Optimization. 2015,Vol.29 (No.3):589-604
- Cheng-Lin Fan. On Some Proximity Problems of Colored Sets. Journal of Computer Science and Technology. 2014,Vol.29 (No.5):879-886
- 范成林. On Some Proximity Problems of Colored Sets. 计算机科学技术学报(英文版). 2014 (第5期):879-886
- Shiting Wen. CRP: context-based reputation propagation in services composition. Service Oriented Computing and Applications. 2012
- 钟发荣. 非对称~(χ≠)-演算的基同余. 计算机学报. 2005,第28卷 (第10期):1626-1637
- 钟发荣. Web服务事务的动态补偿模型. 浙江师范大学学报·自然科学版. 2010 (第3期):248-255
- 黄银强. 非对称X-演算的符号互模拟验证算法. 微电子学与计算机. 2006 (第9期):193-196