方海
【姓名】 方海
【职称】
【研究领域】 计算机软件及计算机应用;
【研究方向】
【发表文献关键词】 互模拟,π-演算,传值进程,进程代数,符号互模拟,验证算法,带赋值符号迁移图,赋值,结点,判定算法,局部优化,优化算法,出边,局部优化算法,数据域,符号迁移图,引理,实例化,布尔表达式,相关集,名字,...
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 1 20 377
中国期刊全文数据库    共找到2篇
[1]方海,许文,林惠民.带赋值符号迁移图的局部优化算法[J]计算机研究与发展.2000,(01)
[2]许文,方海,林惠民.π-演算互模拟判定算法的优化和实现[J]软件学报.2001,(02)
更多