停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第五DAHS建筑2018年：英国牛津

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@easychair.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp密钥：
  - conf/adhs/2018架构
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/2018arch
戈兰·弗雷斯，马蒂亚斯·阿尔霍夫，塞尔吉·博戈莫洛夫，泰勒·T·约翰逊:
ARCH18.第五届连续和混合系统应用验证国际研讨会，ADHS建筑2018年7月13日，英国牛津。 EPiC计算系列54,Easy椅子 2018
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/FrehseAABGMZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/FrehseAABGMZ18
戈兰·弗雷斯，亚历山德罗·阿巴特，迪基·阿兹基亚，雷布，米尔科·贾科布，穆罕默德·赛义法·穆菲德，埃娜·扎法内拉:
ARCH-COMP18类别报告：具有分段恒定动力学的混合系统。 1-13
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/Bu0S18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/Bu0S18
雷布，拉贾什·雷，斯特凡·舒普:
ARCH-COMP18类别报告：具有分段恒定动力学的混合系统的有界模型检验。 14-22
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/AlthoffB0FFFKLM18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/AlthoffB0FFFKLM18
马蒂亚斯·阿尔霍夫，斯坦利·贝克，Xin Chen（新晨），楚楚凡，马塞洛·弗雷茨，戈兰·弗雷斯，Niklas Kochdumper公司，杨格丽，萨扬密特拉，拉贾什·雷，克里斯蒂安·席林，斯特凡·舒普:
ARCH-COMP18类别报告：具有线性连续动力学的连续和混合系统。 23-52
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/ImmlerA0FFKLMTZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/ImmlerA0FFKLMTZ18
费边·伊姆勒，马蒂亚斯·阿尔霍夫，Xin Chen（新晨），楚楚凡，戈兰·弗雷斯，Niklas Kochdumper公司，杨格丽，萨扬密特拉，马亨德拉·辛格·托马尔，马吉德·扎马尼:
ARCH-COMP18分类报告：具有非线性动力学的连续和混合系统。 53-70
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/AbateBCHHLOSSVV18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/AbateBCHHLOSSVV18
亚历山德罗·阿巴特，亨克·A·P·布隆，纳塔莉·考奇，苏菲·海瑟特，阿恩·哈特曼斯，肯德拉·莱瑟，Meeko Oishi先生，维格内什·西瓦拉马克里希南，萨代赫·苏贾尼，克里斯蒂安·伊昂·瓦西莱，亚伯拉罕·维诺德:
ARCH-COMP18类别报告：随机建模。 71-103
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/DokhanchiYHFEZA18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/DokhanchiYHFEZA18
阿德尔·多坎奇，沙基巴·雅古比，巴德·霍夏，乔治·费内科斯，吉登·恩斯特，张振亚，保罗·阿卡尼，哈朔一郎，肖恩·塞德瓦兹:
ARCH-COMP18类别报告：伪造基准的结果。 104-109
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/MitschSTPZJWZ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/MitschSTPZJWZ18
斯特凡·米奇，安德鲁·索戈孔，Yong Kiam Tan先生，安德烈·普拉泽，赵恒军，金祥宇，王淑玲（Shuling Wang），詹乃军（Naijun Zhan）:
ARCH-COMP18类别报告：混合系统定理证明。 110-127
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/Johnson18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/Johnson18
泰勒·T·约翰逊:
ARCH-COMP18重复性评估报告。 128-134
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/Bak18a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/Bak18a
斯坦利·贝克:
10000维线性系统的数值验证速度提高了10000倍。 135-144
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/AlthoffGK18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/AlthoffGK18
马蒂亚斯·阿尔霍夫，德米特里·格雷本纽克，Niklas Kochdumper公司:
2018年CORA中泰勒模型的实施。 145-173
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/MusauLTJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/MusauLTJ18
帕特里克·穆索，迭戈·曼扎纳斯·洛佩兹，Hoang-Dung Tran公司，泰勒·T·约翰逊:
线性微分代数方程（基准提案）。 174-184
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/TranBJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/TranBJ18
Hoang-Dung Tran公司，天舒宝，泰勒·T·约翰逊:
偏微分方程的离散空间分析。 185-195
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/MusauJ18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/MusauJ18
帕特里克·穆索，泰勒·T·约翰逊:
连续时间递归神经网络的验证（基准建议）。 196-207
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/HeidlaufCBB18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/HeidlaufCBB18
彼得·海德劳夫，亚历山大·柯林斯，迈克尔·博兰德，斯坦利·贝克:
F-16地面防撞和其他自动机动的验证挑战。 208-217
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/HobbsHCB18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/HobbsHCB18
凯琳·霍布斯，彼得·海德劳夫，亚历山大·柯林斯，斯坦利·贝克:
使用可达性的空间碎片碰撞检测。 218-228
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/KekatosHF18会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/KekatosHF18
尼古拉·凯卡托斯，Daniel Heß，戈兰·弗雷斯:
自动车辆的换道机动（基准提案）。 229-241
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp密钥：
  - conf/adhs/CauchiA18a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/CauchiA18a
纳塔莉·考奇，亚历山德罗·阿巴特:
建筑自动化系统随机模型的基准。 242-250

服务

管理网站设置

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