傅育熙
【姓名】 傅育熙
【职称】 教授;
【研究领域】 计算机软件及计算机应用;计算机硬件技术;数学;
【研究方向】 并行理论、类型理论
【发表文献关键词】 接口,π演算,进程外组件,XML-KLAIM,进程内组件,KLAIM,元组空间,π-演算,组件对象模型,代数描述,演算,XML,子商务,COM接口,软件配置管理,Agent,配置管理,互模拟,通道,软...
【工作单位】 上海交通大学
【曾工作单位】 上海交通大学;
【所在地域】 上海
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/37 28 22 16 186 5592
中国期刊全文数据库    共找到36篇
[1]陈蔚骏;傅育熙;龙环;.向量加法系统可达性问题复杂性下界研究综述[J]软件学报.2026,(01)
[2]徐晓飞;李廉;傅育熙;.发展中国特色的慕课模式 提升教改创新与人才培养质量[J]中国大学教学.2018,(01)
[3]傅育熙;李国强;田聪;.形式化方法的理论基础专题前言[J]软件学报.2018,(06)
[4]徐晓飞;傅育熙;李廉;张龙;韩飞;.关于我国计算机教育MOOC发展的思考[J]中国大学教学.2015,(11)
[5]顾永跟;傅育熙;.基于进程演算和知识推理的安全协议形式化分析[J]计算机研究与发展.2006,(05)
[6]顾永跟;傅育熙;朱涵;.基于可达关系的安全协议保密性分析[J]计算机学报.2007,(02)
[7]王兵;彭瑞华;傅育熙;.前后端协同的时钟树设计方法[J]计算机工程.2008,(12)
[8]葛鸣铭,傅育熙.用进程代数描述COM接口调用[J]计算机工程.2003,(13)
[9]李华军,傅育熙.XML-KLAIM语言的设计和实现[J]计算机工程.2003,(15)
[10]琚小龙,韩晓峰,傅育熙.用进程代数描述面向电子商务的Agent模型[J]计算机仿真.2004,(04)
更多
中国重要会议全文数据库    共找到2篇
[1]顾永跟;傅育熙;朱涵;吕银华;.基于进程演算的安全协议形式化分析[A].2005年全国理论计算机科学学术年会论文集.2005-08-01
[2]董笑菊;倪佳华;傅育熙;.用进程演算建模生物化学反应过程[A].2006年全国理论计算机科学学术年会论文集.2006-08-01
更多
承担国家科研项目    共找到6个
[1]傅育熙;.语义网格环境下支持产品创新设计的知识供应理论与技术[A].上海交通大学;.项目经费 0.2004-04-29.资助文献数 33 篇
[2]傅育熙;.灰箱演算的公平性和匿名性研究[A].上海交通大学;.项目经费 25万元.2005-03-31.资助文献数 3 篇
[3]傅育熙;.基于进程代数的电子商务协议形式化研究[A].上海交通大学;.项目经费 20万元.2004-03-31.资助文献数 13 篇
[4]傅育熙;.内类型理论[A].上海交通大学;.项目经费 10万元.1999-03-31.资助文献数 0 篇
[5]傅育熙;.进程演算的表达能力研究[A].上海交通大学;.项目经费 30万元.2008-03-20.资助文献数 0 篇
[6]傅育熙;小川瑞史.多线程程序语言的程序分析研究[A].上海交通大学;北陸先端科学技术大学院大学.项目经费 -.2009-09-07.资助文献数 0 篇
更多