停止战争！

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

对于科学家：

默认搜索操作

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

问别人

达格斯图尔手工艺品系列，第9卷

>主页 >期刊销售 >达格斯图尔手工艺品系列

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2023年第9卷第1期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/0004F23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/0004F23
马蒂亚斯·贝克尔,朱利安忘了:
前言、目录、前言、会议组织。 00:-1-00:-10
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/飞镖/RheinfelsGU23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/RheinfelsGU23
蒂姆·莱因费尔斯,马克西米利安·高克勒,彼得·乌尔布里奇:
关键性的新观点：混合关键性实时控制系统（工件）的有效状态抽象和运行时监控。 01:1-01:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/DenglerRSW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/DenglerRSW23（网址：https://dblp.org/rec/journals/darts/DenglerRSW23）
伊娃·丹格勒,菲利普·拉菲克,西蒙·舒斯特公司,彼得·瓦格曼:
FusionClock:WCEC-最佳时钟树重构（工件）。 02:1-02:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 杂志/飞镖/ZippoNS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/ZippoNS23
拉斐尔·齐波,保罗·尼古拉斯,乔瓦尼·斯特亚:
等速：通过利用（min，+）/（max，+）同构（伪影）改进（min，＋）卷积。 03:1-03:4
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/AltmeyerADFHGGH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/AltmeyerADFHGGH23
塞巴斯蒂安·阿尔特梅耶,埃蒂安·安德烈,西尔瓦诺·达尔·齐利奥,洛伊克·费约兹,迈克尔·冈萨雷斯港,苏珊·格拉芙,J.哈维尔·古铁雷斯,拉菲克·海尼亚,迪迪埃·勒博特兰,朱塞佩·利帕里,朱利奥·麦地那,尼古拉斯·纳韦,关东,胡安·玛丽亚·里瓦斯,孙友成:
从FMTV到WATERS：ECRTS第一次验证挑战的经验教训（人工制品）。 04:1-04:6

2023年第9卷第2期

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/Leon023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/Leon023
埃尔南·蓬斯·德莱昂,史蒂芬温特:
前文-ECOOP 2023工件，目录，前言，工件评估委员会。 00:-1-00:-12
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/Roth23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/Roth23
奥里·罗斯:
Python类型提示正在图灵完成（工件）。 01:1-01:4
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/TanO23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/TanO23
金昊滩,布鲁诺·C·d·S·奥利维拉:
相关合并和一级环境（工件）。 02:1-02:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/RumseviciusVKP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/RumseviciusVKP23
Ugnius Rumsevicius公司,悉登斯·文卡特什瓦兰（Siddhanth Venkateshwaran）,埃伦·基丹,路易斯·皮纳:
Sinatra：通过多版本执行（工件）为商业浏览器提供状态即时更新。 03:1-03:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/Muijnck-HughesV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/Muijnck-HughesV23网站
Jan de Muijnck-Hughes公司,维姆·范德鲍维德:
布线电路像{0，1，ω}或Is It…（伪影）一样简单。 04:1-04:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/YeeG23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/YeeG23
明浩义,阿琼·古哈:
机器学习模型是否生成类型检查的TypeScript类型？（人工制品）。 05:1-05:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/飞镖/SilverHCHZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/SilverHCHZ23
卢卡斯·西尔弗,保罗·何,伊桑·切切蒂,安德鲁·赫希,史蒂夫·兹丹塞维奇:
交互树无干扰语义（工件）。 06:1-06:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/RamosSANS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/RamosSANS23
弗雷德里科·拉莫斯,努诺·萨比诺,佩德罗·阿德诺,大卫·A·诺曼,何塞·弗拉戈索·桑托斯:
符号执行的工具无关总结（人工制品）。 07:1-07:4
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/SilverWYS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/SilverWYS23
卢卡斯·西尔弗,埃迪·韦斯特布鲁克,马修·亚卡冯,瑞恩·斯科特:
交互树规范：用于指定支持自动活动验证（工件）的递归有效计算的框架。 08:1-08:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/Barwell HY023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/BarwellHY023
亚当·巴威尔,侯萍（Ping Hou）,吉田信子,周方一:
设计具有崩溃停止故障（工件）的异步多方协议。 09:1-09:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/Castro-PerezY23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/Castro-PerezY23
大卫·卡斯特罗·佩雷斯,吉田信子:
动态可更新多方会话协议（工件）。 10:1-10:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/HaasMYBM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/HaasMYBM23
朱利安·哈斯,拉格纳尔·莫克,埃琳娜·亚纳基耶娃,安妮特·比纽萨,米拉·梅齐尼:
LoRe:可验证安全的本地首个软件（工件）的编程模型。 11:1-11:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 杂志/飞镖/MadsenSL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/MadsenSL23
马格努斯·马德森,乔纳森·林德加德·斯塔鲁,马修·卢茨:
可限制变体：可扩展变体（工件）的一种简单实用的替代方案。 12:1-12:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/飞镖/HennigerA23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/HennigerA23
西蒙·海尼格尔,纳达·阿明:
Dolorem模式：通过编译时函数执行（工件）增长语言。 13:1-13:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/KuhnMT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/KuhnMT23
罗兰·库恩,埃尔南·梅尔格拉蒂,埃米利奥·托斯托:
本地第一个软件的行为类型（工件）。 14:1-14:5
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/NietoDGTB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/NietoDGTB23
阿贝尔·尼托,Arnaud Daby-Seesaram公司,莱昂·冈德尔曼,阿明·蒂曼尼,拉尔斯·比克达尔:
分离逻辑中基于状态的CRDT的模块化验证（工件）。 15:1-15:5
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/飞镖/SuchertZCE23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/SuchertZCE23
费利克斯·苏切特,丽莎·泽德勒,杰罗尼莫·卡斯特里隆,塞巴斯蒂安·埃特尔:
ConDRust：可验证锈蚀程序的可扩展确定性并发（Artifact）。 16:1-16:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/RichterBWM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/RichterBWM23
戴维·里克特,蒂蒙·伯勒,帕斯卡·魏森伯格,米拉·梅齐尼:
用于顺序和并行程序（工件）的直接样式效果表示法。 17:1-17:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/JongmansF23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/JongmansF23
宋世宗,费雷拉:
合成行为类型：声音，通过隐式局部类型（人工制品）的常规多方会话。 18:1-18:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/Porre0B23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/Porre0B23
凯文·德·波尔,卡拉·费雷拉,伊丽莎·冈萨雷斯-博伊克斯:
VeriFx：更正质量的复制数据类型（工件）。 19:1-19:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/飞镖/Guerra0S23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/Guerra0S23
亨利克·博特尔霍·格拉（Henrique Botelho Guerra）,乔·费雷拉,乔·科斯塔·塞科:
Hoogle⋆：使用符号执行（Artifact）的基于Petri网的合成中的常量和λ抽象。 20:1-20:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/MoellerWSKF023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/MoellerWSKF023
马克·默勒,托马斯·维纳,阿莱亚·索尔科·布雷斯林,卡勒布·科赫,内特·福斯特,亚历山德拉·席尔瓦:
使用不完整教师的自动学习（工件）。 21:1-21:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/FanP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/FanP23
安东范,莱昂内尔·帕罗:
通过精确键入开放递归（Artifact）的超级充电面向对象编程。 22:1-22:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/OlivieriNAT0CS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/OlivieriNAT0CS23
卢卡·奥利维耶里,卢卡·内格里尼,文森佐·阿塞里,法比奥·塔利亚费罗,彼得罗·费拉拉,阿戈斯蒂诺·科尔特斯,福斯托·斯波托:
用于检测区块链中的非确定性的信息流分析（伪影）。 23:1-23:3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/省道/JinY23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/JinY23
金飞扬,于乐晨:
承诺的确定性竞赛检测器（工件）。 24:1-24:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/飞镖/哈里斯C0B23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/HarrisC0B23
莎拉·哈里斯,西蒙·库克西,迈克尔·沃尔默,马克·巴蒂:
莫雷洛的锈迹：总是关于记忆安全，即使是在不安全的代码（人工制品）中。 25:1-25:2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/飞镖/KuessnerMWM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/darts/KuessnerMWM23
克里斯蒂安·库斯纳,拉格纳尔·莫克,安娜·凯萨琳娜·威克特,米拉·梅齐尼:
代数复制数据类型：编程安全本地第一软件（工件）。 26:1-26:4

服务

管理网站设置

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