默认搜索操作

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

问别人

冯晨0006

>主页 >珀森斯

人员信息

附属： 美国伊利诺伊大学香槟分校

其他同名人员

请参阅常见问题解答

冯晨—消歧页
冯晨0001 —德克萨斯大学达拉斯分校，德克萨斯州，美国（还有2个以上）
冯晨0002 —西北大学信息科学与技术学院，西安，中国（还有1个）
冯晨0003-加拿大阿尔伯塔大学
冯晨0004 —英国莱斯特德蒙特福特大学（还有1个）
冯晨0005 —路易斯安那州立大学，巴吞鲁日，洛杉矶，美国（还有1个）
冯晨0007 -清华大学自动化系，大脑启发计算研究中心，中国北京
冯晨0008 -澳大利亚新南威尔士大学
冯晨0009—中国科学院，北京（还有1个）
冯晨0010 -都灵理工大学，意大利都灵

冯晨0011-佛罗里达大学电气与计算机工程系，美国佛罗里达州盖恩斯维尔
冯晨0012—德国西门子股份公司（还有1个）
冯晨0013-西安西电大学
冯晨0014—河南工业大学，郑州，中国（还有1个）
冯晨0015-中国长沙国防科技大学
冯晨0016-加利福尼亚大学圣地亚哥分校，美国加利福尼亚州拉霍亚
冯晨0017-中国香港科技大学
冯晨0018-美国加利福尼亚州洛杉矶加利福尼亚大学
冯晨0019 （又名：Chris F.Chen）-美国纽约市立大学巴鲁学院数学系
冯晨0020 —中国上海交通大学中美物流学院（还有2个以上）
冯晨0021 -北京大学口腔医学院和医院，中国北京
冯晨0022 —江西省水利科学与工程研究院，江西省水土流失与防治重点实验室，南昌（还有2个以上）
冯晨0023 —中国重庆西南大学人工智能学院（还有2个以上）
冯晨0024-Shibaura理工学院，日本东京
冯晨0025-中国科技大学自动化系，合肥，中国
冯晨0026 -香港科技大学电子与计算机工程系
冯晨0027 -中国西安空军工程大学防空反导系
冯晨0028 -中国天津市医疗保障技术研究所
冯晨0029 -北京交通大学土木工程学院，中国北京
冯晨0030 —哈尔滨工程大学水声工程学院，哈尔滨，中国（还有1个）
冯晨0031 -安徽工业大学电气信息与工程学院，马鞍山，中国
冯晨0032 -南京医科大学公共卫生学院流行病学与生物统计系，南京，中国
冯晨0033 -西安交通大学电气工程学院电气绝缘与电力设备国家重点实验室，西安，中国
冯晨0034—美国罗得岛州普罗维登斯布朗大学应用数学系（还有1个）
冯晨0035-俄克拉荷马大学电气与计算机工程学院，美国俄克拉何马州塔尔萨
冯晨0036-中国矿业大学地质力学与深部地下工程国家重点实验室，北京
冯晨0037-田纳西大学植物科学系，田纳西州诺克斯维尔，美国
冯晨0038—浙江大学医学院附属第一医院放射科（还有1个）
冯晨0039-IBM Research China，中国北京
冯晨0040—中国珠海易斯科技有限公司（还有1个）
冯晨0041 -福州大学电子信息系
冯晨0042-南京大学，中国新型软件技术国家重点实验室
冯晨0043 -美国路易斯安那州立大学弗雷计算服务中心，巴吞鲁日
冯晨0044 -联想
冯晨0045 -中国武汉邮电研究院

其他同名人员

请参阅常见问题解答

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

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2010 – 2019

请参阅常见问题解答

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

2012
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-112-5761
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1112-5761
格里戈·罗苏,冯晨:
参数监测的语义和算法。日志。方法计算。科学。 8(1)(2012)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/MeredithJGCR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/MeredithJGCR12
帕特里克·奥尼尔·梅雷迪斯,金东云,丹尼斯·格里菲斯,冯晨,格里戈·罗苏:
MOP运行时验证框架概述。国际期刊软件。工具技术。Transf公司。 14(三):249-289(2012)
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/塞族人CR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/SerbanutaCR12
Traian-Florin塞尔维亚人,冯晨,格里戈·罗苏:
序列一致系统的最大因果模型。 RV汽车 2012:136-150
2011
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/LeeCR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/LeeCR11
Chonghwan Lee（李宗焕）,冯晨,格里戈·罗苏:
挖掘参数规范。集成电路 2011:591-600
2010
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ase/MeredithJCR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ase/MeredithJCR10
帕特里克·奥尼尔·梅雷迪斯,金东云,冯晨,格里戈·罗苏:
有效监控参数无上下文模式。自动。柔和。工程师。 17(2):149-180(2010)

2000 – 2009

请参阅常见问题解答

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

2009
【b1】
- 看法
  - 通过handle.net进行电子版
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 博士/us/Chen09e
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/us/Chen09e
冯晨:
面向监控的编程和分析。美国伊利诺伊大学香槟分校，2009
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aosd/BoddenCR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aosd/BoddenCR09
埃里克·博登,冯晨,格里戈·罗苏:
相关建议：优化基于历史的方面的一般方法。 AOSD公司 2009:3-14
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/ChenMJR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/ChenMJR09
冯晨,帕特里克·奥尼尔·梅雷迪斯,金东云,格里戈·罗苏:
参数属性的高效形式化独立监控。 ASE公司 2009:383-394
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChenR09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChenR09
冯晨,格里戈·罗苏:
参数化轨迹切片和监视。 TACAS公司 2009:246-261
2008
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icse/ChenSR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icse/ChenSR08
冯晨,Traian-Florin塞尔维亚人,格里戈·罗苏:
jPredictor：一个针对java的预测运行时分析工具。集成电路 2008:221-230
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/MeredithJCR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/MeredithJCR08
帕特里克·奥尼尔·梅雷迪斯,金东云,冯晨,格里戈·罗苏:
参数化上下文无关模式的有效监控。 ASE公司 2008:148-157
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rv/RosuCB08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rv/RosuCB08
格里戈·罗苏,冯晨,托马斯·鲍尔:
安全属性的合成监视器：这次是调用和返回。 RV汽车 2008:51-68
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HillsCR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HillsCR12
马克·希尔斯,冯晨,格里戈·罗苏:
用重写逻辑方法对C语言中的测量单位进行静态检查。规则 2008:51-67
2007
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChenR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChenR07
冯晨,格里戈·罗苏:
参数化和分段因果关系。腔静脉 2007:240-253
[c10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/oopsla/陈R07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/oopsla/ChenR07
冯晨,格里戈·罗苏:
拖把：一个高效通用的运行时验证框架。 OOPSLA公司 2007:569-588
2006
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/TillmannCS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/TillmannCS06
尼古拉·蒂尔曼,冯晨,沃尔夫拉姆·舒尔特:
发现可能的方法规范。 ICFEM公司 2006:717-736
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sas/ChenR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sas/ChenR06
冯晨,格里戈·罗苏:
参数和终端敏感控制相关性。 SAS公司 2006:387-404
2005
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChenR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChenR05
冯晨,格里戈·罗苏:
Java-MOP：一个面向监控的Java编程环境。 TACAS公司 2005:546-550
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/ChendR06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ChendR06
冯晨,马塞洛·阿莫林,格里戈·罗苏:
使用Java-MOP在运行时检查和纠正Java程序的行为。 RV@CAV 2005:3-20
2004
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/FarzanCMR04型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/FarzanCMR04网址
阿扎德·法尔赞,冯晨,何塞·梅塞盖尔,格里戈·罗苏:
JavaFAN中Java程序的形式化分析。腔静脉 2004:501-505
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/ChendR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/ChendR04
冯晨,马塞洛·阿莫林,格里戈·罗苏:
用于软件开发和分析的基于监控的正式框架。 ICFEM公司 2004:357-372
2003
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kbse/RosuC03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kbse/RosuC03
格里戈·罗苏,冯晨:
认证计量单位安全政策。 ASE公司 2003:304-309
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/ChenRV03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/ChenRV03
冯晨,格里戈·罗苏,拉姆·普拉萨德·文卡泰桑:
基于规则的尺寸安全分析。区域贸易协定 2003:197-207
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/ChenR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/ChenR03
冯晨,格里戈·罗苏:
面向监控的编程：规范与实现相结合的范例。 RV@CAV 2003:108-127

合著者索引

请参阅常见问题解答

管理网站设置

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