华东师范大学软件学院计算机理论研究所 
研究主题：WEB服务 谱半径 OWL-S 组合优化 服务质量
研究学科：自动化类
- 基于图的Web服务组合优化的研究
- 1
- 《计算机科学》上海大学计算机科学与工程学院;华东师范大学软件学院计算机理论研究所 曹利培 刘静 缪淮扣 出版年：2007
- 关键词：WEB服务 OWL-S WSDG 带权依赖图
- 基于QoS的两阶段Web服务选择方法
- 2
- 《计算机工程与设计》安阳工学院计算机科学与信息工程系;华东师范大学软件学院计算机理论研究所 曹利培 李爱玲 刘静 出版年：2009
- 关键词：WEB服务 服务质量 服务属性 服务路径 组合服务
- 基于关系演算的Java模式识别
- 3
- 《计算机应用研究》华东师范大学计算机理论研究所 苗康 余啸 赵吉 沈宇 出版年：2010
- 关键词：关系演算 设计模式 JAVA虚拟机 属性检查
- Halin图谱半径的新上界及极图
- 4
- 《高校应用数学学报（A辑）》杭州外国语学校;华东师范大学计算机理论研究所 袁劲松 束金龙 出版年：2008
- 关键词：HALIN图 谱半径 邻接矩阵
- 树的Nordhaus-Gaddum类型谱半径的排序
- 5
- 《高校应用数学学报（A辑）》华东师范大学计算机理论研究所 何沙 束金龙 出版年：2007
- 关键词：树 补图 谱半径
- Web服务组合形式化验证方法研究
- 6
- 《计算机工程与应用》安阳工学院计算机科学与信息工程系;华东师范大学软件学院计算机理论研究所 曹利培 孔娟 刘静 出版年：2009
- 关键词：PETRI网 关联矩阵 转移矩阵 可信度
- 跳过程的μ-不变测度-含单瞬时态情形
- 7
- 《应用数学学报》上海市高可信计算重点实验室;华东师范大学软件学院计算机理论研究所 吴新星 出版年：2010
- 关键词：q-对 Q-过程 瞬时态 μ-不变测度
- 基于常微分方程的死锁检测实验分析 ( EI收录)
- 8
- 《计算机学报》浙江理工大学数学计算与软件工程中心;华东师范大学计算机理论研究所 丁佐华 江明月 刘静 出版年：2009
- 关键词：死锁检测 并发程序 状态爆炸 连续PETRI网 常微分方程
- 基于R_0算子的模糊概念学习
- 9
- 《模糊系统与数学》上海师范大学数理信息学院;华东师范大学计算机理论研究所 尹艳 陈仪香 出版年：2008
- 关键词：概念学习 模糊逻辑与模糊推理 R0算子
- 完全相容稳定模糊谓词转换器
- 10
- 《模糊系统与数学》华东师范大学软件学院计算理论研究所;上海市高可信计算重点实验室 马艳芳 陈仪香 出版年：2009
- 关键词：DOMAIN理论 半拓扑 稳定模糊谓词 完全相容稳定模糊谓词转换器
