停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

赵岩0001

>主页 >珀森斯

人员信息

附属： 英特尔，波特兰，俄勒冈州，美国
附属： 不列颠哥伦比亚大学，温哥华，不列颠哥伦比亚省，加拿大

其他同名人员

请参阅常见问题解答

其他同名人员

请参阅常见问题解答

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2014
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/YanGY14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/YanGY14
赵岩,马克·格林斯特雷特,杨素文:
验证莫比乌斯环形振荡器的全球启动。形式方法系统。设计。 45(2):246-272(2014)
2012
【c7】
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmcad/YanG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/YanG12
赵岩,马克·格林斯特雷特:
振荡器验证概率为1。 FMCAD公司 2012:165-172
2011
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/async/YanOFM11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/async/YanOFM11
赵岩,弗洛伦特·乌切特,劳伦特·费斯克,卡泰尔·莫林·阿洛里:
C元件电路的形式验证。 ASYNC公司 2011:55-64
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/waim/WangFYY11会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/waim/WangFYY11网站
王大玲,石峰,赵岩,葛瑜:
意见和地区的半自动公众情绪分析方法。 WAIM研讨会 2011:210-222
2010
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/async/YanGE10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/async/YanGE10
赵岩,马克·格林斯特雷特,Jochen Eisinger公司:
仲裁电路的形式验证。 ASYNC公司 2010:165-175

2000 – 2009

请参阅常见问题解答

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

2008
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aspdac/YanG08a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aspdac/YanG08a
赵岩,马克·格林斯特雷特:
用于电路级验证的更快的基于投影的方法。 ASP-DAC公司 2008:410-415
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/YanG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/YanG08
赵岩,马克·格林斯特雷特:
验证仲裁器电路。 FMCAD公司 2008:1-9
2007
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/YanG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/YanG07
赵岩,马克·格林斯特雷特:
高速拨动开关的电路级验证。 FMCAD公司 2007:199-206

服务

管理网站设置

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