个人信息 Personal information
职称:教授
学历:博士研究生毕业
毕业院校:上海交通大学
在职信息:退休
所在单位:计算机科学与技术学院
入职时间:1986-07-01
- 仇玉芳. Web服务事务处理框架设计与实现. 福建电脑. 2011 (第2期)
- 钟发荣. 消除有限容量演算中的强干扰. 上海交通大学学报. 2005,第39卷 (第8期):1317-1321
- 钟发荣. 重写归纳推理技术. 计算机应用与软件. 1998,第15卷 (第5期):25-31
- 黄银强. 用π-演算描述网络考试系统. 浙江师范大学学报(自然科学版). 2006,第29卷 (第3期):293-296
- 林祝微. 异步非对称Chi演算的互模拟格. 科技信息(科学·教研). 2008 (第14期):405-409
- 钟发荣. 非对称带不等算子的χ≠-演算. 淮北煤炭师范学院学报(自然科学版). 2006,第27卷 (第2期):1-13
- 钟发荣. 关于归纳证明的探讨. 计算机科学. 1998,第25卷 (第5期):59-61
- 一个基于规范变换的定理证明方法. 计算机与现代化. 1999 (第2期):15-24
- 裴健. 面向对象系统的一种系统定义方法. 浙江师范大学学报(自然科学版). 1994 (第4期):31-35
- The Fast Search Number of a Complete k-Partite Graph. Algorithmica. 2018,Vol.80 (No.12):3959-3981