默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

易芳0001

>主页 >珀森斯

人员信息

附属： 美国纽约大学数学科学学院

其他同名人员

请参阅常见问题解答

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2006
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/FangPPZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/FangPPZ06
易芳,尼尔·皮特曼,阿米尔·普努利,勒诺·D·扎克:
具有无形排名的活力。国际期刊软件。技术工具。Transf公司。 8(三):261-279(2006)
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/FangMPZ06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/FangMPZ06
易芳,肯尼思·麦克米兰,阿米尔·普努利,勒诺·D·扎克:
无形不变量的生命力。复地 2006:356-371
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/FangZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FangZ07
易芳,勒诺·D·扎克:
改进的Tvoc不变量生成。 COCV@ETAPS 2006:21-35
2005
【b1】
- 看法
  - 电子版@nyu.edu
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/us/Fang05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/us/Fang05
易芳:
优化编译器的翻译验证。美国纽约大学，2005
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/ZuckPGBFH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/ZuckPGBFH05
勒诺·D·扎克,阿米尔·普努利,本杰明·戈德伯格,克拉克·W·巴雷特,易芳,Ying Hu（音）:
循环转换的转换和运行时验证。形式方法系统。设计。 27(三):335-360(2005)
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BarettFGHPZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BarrettFGHPZ05
克拉克·W·巴雷特,易芳,本杰明·戈德伯格,Ying Hu（音）,阿米尔·普努利,勒诺·D·扎克:
TVOC：用于优化编译器的翻译验证程序。 CAV汽车 2005:291-295
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BalabanFPZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BalabanFPZ05
伊塔·巴拉班,易芳,阿米尔·普努利,勒诺·D·扎克:
IIV：不可见不变量验证程序。 CAV汽车 2005:408-412
2004
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/FangPPZ04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/FangPPZ04
易芳,尼尔·皮特曼,阿米尔·普努利,勒诺·D·扎克:
不可理解排名的生动性。 TACAS公司 2004:482-496
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/FangPPZ04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/FangPPZ04
易芳,尼尔·皮特曼,阿米尔·普努利,勒诺·D·扎克:
无形排名的活力。 VMCAI公司 2004:223-238
2002
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/entcs/ZuckPFG02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ZuckPFG02
勒诺·D·扎克,阿米尔·普努利,易芳,本杰明·戈德伯格:
VOC：用于优化编译器的翻译验证器。 COCV@ETAPS 2002:2-18
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/ZuckPFGH02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ZuckPFGH02
勒诺·D·扎克,阿米尔·普努利,易芳,本杰明·戈德伯格,Ying Hu（音）:
优化代码的翻译和运行时验证。飞行温度下的RV 2002:179-200

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。