停止战争！

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

对于科学家：

默认搜索操作

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

问别人

爱德华·格里弗

>主页 >珀森斯

人员信息

附属： 英国利兹大学

其他同名人员

请参阅常见问题解答

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tplp/NguyenBSBGG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tplp/NguyenBSBGG23
Thanh Hai Nguyen先生,马修·邦达斯,Tran Cao儿子,马塞洛·巴尔杜奇尼,凯瑟琳·坎贝尔·加伍德,爱德华·格里弗:
通过NIST CPS框架的视角来指定和推理CPS。理论与实践。日志。程序。 23(5):1029-1069(2023)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/padl/FlynnNSBSG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/padl/FlynnNSBSG23网站
迪伦·弗林,恰西·纳多,珍妮·桑茨,马塞洛·巴尔杜奇尼,Tran Cao儿子,爱德华·格里弗:
代理商之间供应链合同的形式化和推理。 PADL（PADL） 2023:144-160
2022
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tsg/SongFLG22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tsg/SongFLG22
尤金·Y·宋,杰拉尔德·菲茨帕特里克,李康（Kang B.Lee）,爱德华·格里弗:
智能电网中智能传感器互操作性建模方法。 IEEE传输。智能电网 13(1):555-563(2022)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2201-05710
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2201-05710
Thanh Hai Nguyen先生,马修·邦达斯,Tran Cao儿子,马塞洛·巴尔杜奇尼,凯瑟琳·坎贝尔·加伍德,爱德华·格里弗:
通过NIST CPS框架的视角来指定和推理CPS。 CoRR公司 abs/2201.05710(2022)
2020
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/prima/NguyenSBBGG20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/prima/NguyenSBBGG20
Thanh Hai Nguyen先生,Tran Cao儿子,马修·邦达斯,马塞洛·巴尔杜奇尼,凯瑟琳·坎贝尔·加伍德,爱德华·格里弗:
使用基于本体的表示法和ASP推理网络物理系统中的可信度。主要的 2020:51-67

2010 – 2019

请参阅常见问题解答

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

2019
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cpsweek/BalducciniGHVWK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpsweek/BalducciniGHVWK19
马塞洛·巴尔杜奇尼,爱德华·格里弗,伦敦帝国学院,克莱尔·维希克,大卫·A·沃尔曼,帕特里克·卡蒙吉:
智能电网的决策支持：使用推理将复杂的决策置于上下文中。 MSCPES@CPSIoTWeek公司 2019:1-6
2018
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dac/MehrabianKMSLDG18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dac/MehrabianKMSLDG18
穆罕默德·梅拉比安,穆罕默德·哈亚特,艾哈迈德·穆萨,阿维拉尔·施瓦斯塔瓦,Ya-Shian Li-Baboud公司,帕特里夏·德勒,爱德华·格里弗,雨果·安德拉德,马克·威斯,约翰·艾德森,达南杰·M·阿南德:
一种有效的基于时间戳的监测方法，用于测试网络物理系统的时间约束。数模转换器 2018:144:1-144:6
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/smartcomp/BurnsGBVHW18文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smartcomp/BurnsGBVHW18
马丁·伯恩斯,爱德华·格里弗,马塞洛·巴尔杜奇尼,克莱尔·维希克,伦敦帝国学院,大卫·A·沃尔曼:
关于智慧城市的推理。智能压缩机 2018:381-386
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1803-07438
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1803-07438
马塞洛·巴尔杜奇尼,爱德华·格里弗,伦敦帝国学院,克莱尔·维希克,马丁·伯恩斯,大卫·A·沃尔曼:
基于本体论的网络物理系统可信度推理。 CoRR公司 abs/1803.07438(2018)
2017
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tecs/MehrabianKSEDAL17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tecs/MehrabianKSEDAL17
穆罕默德·梅拉比安,穆罕默德·卡亚蒂安,阿维拉尔·施瓦斯塔瓦,约翰·艾德森,帕特里夏·德勒,雨果·安德拉德,Ya Shian Li巴布德,爱德华·格里弗,马克·威斯,凯文·斯坦顿:
用于测试网络物理系统定时的时间戳时序逻辑（TTL）。 ACM事务处理。嵌入。计算。系统。 16(5秒):169:1-169:20(2017)
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dac/ShivastavaMKDA17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dac/ShivastavaMKDA17
阿维拉尔·施瓦斯塔瓦,穆罕默德·梅拉比安,穆罕默德·卡亚蒂安,帕特里夏·德勒,雨果·安德拉德,凯文·斯坦顿,Ya-Shian Li-Baboud公司,爱德华·格里弗,马克·威斯,约翰·艾德森:
验证网络物理系统计时行为的试验台：邀请。数模转换器 2017:69:1-69:6

1990 – 1999

请参阅常见问题解答

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

1999
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/el/99/Griffor99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/el/99/Griffor99
爱德华·格里弗:
前言。可计算性理论手册 1999:v-vii型
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/el/99/G1999
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/el/99/G1999
爱德华·格里弗:
可计算性理论手册。逻辑与数学基础研究140,出版社 1999，国际标准图书编号978-0-444-89882-1 [目录]
1998
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/RathjenGP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/RathjenGP98
迈克尔·拉什扬,爱德华·格里弗,埃里克·帕尔姆格伦:
建构集理论和类型理论中的不可达性。 Ann.纯粹应用。日志。 94(1-3):181-200(1998)
1994
【b1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/daglib/0069086
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/0069086
维戈·斯托尔滕贝格·汉森,英格丽德·林德斯特伦,爱德华·格里弗:
域的数学理论。剑桥理论计算机科学丛书22,剑桥大学出版社 1994，国际标准图书编号978-0-521-38344-8第I-XII、1-349页
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aml/GrifforR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aml/GrifforR94
爱德华·格里弗,迈克尔·拉琴:
一些Martin-Löf型理论的力量。架构（architecture）。数学。日志。 33(5):347-385(1994)

1980 – 1989

请参阅常见问题解答

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

1984
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsyml/GrifforN84
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsyml/GrifforN84
爱德华·格里弗,达格·诺曼:
E（α）的可定义性。 J.赛姆布。日志。 49(2):437-442(1984)
1983
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mlq/Griffor83
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mlq/Griffor83
爱德华·格里弗:
Ad对Kleene递归的一些结果^三E。数学。日志。问：。 29(10):485-492(1983)

合著者索引

请参阅常见问题解答

服务

管理网站设置

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