@第{DagRep.4.1条, title={{Dagstuhl Reports,第4卷,第1期,2014年1月,完整版}}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1下载 }, URN={URN:nbn:de:0030-drops-45799}, doi={10.4230/DagRep.4.1}, annote={关键词:达格斯图尔报告,第4卷,第1期,2014年1月,完整版} }
@第{DagRep.4.1.i条, title={{Dagstuhl Reports,目录,第4卷,第1期,2014年}}, 页面={i--ii}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.4.1.i }, URN={URN:nbn:de:00030-drops-45783}, doi={10.4230/DagRep.4.1.i}, annote={Keywords:目录,Frontmatter} }
@第{armknecht_et_al:DagRep.4.1.1条, 作者={Armknecht,Frederik和Handschuh,Helena和Iwata,Tetsu和Preneel,Bart}, title={{对称密码术(Dagstuhl研讨会14021)}}, 页数={1--16}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, editor={阿姆克内赫特、弗雷德里克和汉德施、海伦娜和岩手、铁通和普雷尼尔、巴特}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.1 }, URN={URN:nbn:de:0030-drops-45150}, doi={10.4230/DagRep.4.1.1}, annote={关键词:真实性、完整性、隐私、散列函数、块密码、可证明安全性、密码分析} }
@第{条bremer_et_al:DagRep.4.1.17, author={Bremer、Peer-Timo和Mohr、Bernd和Pascucci、Valerio和Schulz、Martin}, title={{连接性能分析和可视化以推进极限规模计算(Dagstuhl Perspectives Workshop 14022)}}, 页数={17--35}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, editor={Bremer、Peer-Timo和Mohr、Bernd和Pascucci、Valerio和Schulz、Martin}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.17 }, URN={URN:nbn:de:0030-drops-45166}, doi={10.4230/DagRep.4.117}, annote={关键词:大规模数据表示和分析,Exascale类机器优化,性能数据分析和根本原因检测,高维} }
@第{abraham_et_al:DagRep.4.1.36条, 作者={\' {A} 吹牛 \' {a} 米 埃里卡和阿弗里策、阿尔贝托和雷姆克、安妮和桑德斯、威廉·H·}、, title={{关键基础设施的随机时间和混合模型(Dagstuhl研讨会14031)}}, 页数={36--82}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, 编辑器={\' {A} 吹牛 \' {a} 米 埃里卡和阿弗里策、阿尔贝托和雷姆克、安妮和桑德斯、威廉·H·}、, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.36 }, URN={URN:nbn:de:0030-drops-45355}, doi={10.4230/DagRep.4.1.36}, annote={关键词:关键基础设施、智能电网、建模、随机定时和混合模型、分析} }
@文章{agotnes_et_al:DagRep.4.1.83, author={Agotnes、Thomas和Lakemeyer、Gerhard和L\“ {o} 我们 Benedikt和Nebel,Bernhard}, title={{有认识目标的计划(达格斯图尔研讨会14032)}}, 页数={83--103}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, editor={Agotnes、Thomas和Lakemeyer、Gerhard和L\“ {o} 我们 Benedikt和Nebel,Bernhard}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.83 }, URN={URN:nbn:de:0030-drops-45369}, doi={10.4230/DagRep.4.1.83}, annote={关键词:计划,认知逻辑,模态逻辑} }
@第{droste_et_al:DagRep.4.1.104条, author={Droste、Manfred和Gastin、Paul和Larsen、Kim Gulstrand和Legay、Axel}, title={{定量模型:表达、分析和新应用(Dagstuhl研讨会14041)}}, 页数={104--124}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, editor={德罗斯特、曼弗雷德和加斯丁、保罗和拉森、金·古斯特兰德和莱吉、阿克塞尔}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.104 }, URN={URN:nbn:de:0030-drops-45374}, doi={10.4230/DagRep.4.1104}, annote={关键词:定量模型,定量分析,定时和混合系统,概率系统,加权自动机,系统生物学,智能电网} }
@条款{antoniadis_et_al:DagRep.4.1.125, author={Antoniadis,Panayotis和Ott,J“ {o} rg公司 和安德烈亚·帕萨雷拉, title={{Do It Yourself networking:一种跨学科方法(Dagstuhl Seminar 14042)}}, 页数={125--151}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, editor={Antoniadis,Panayotis和Ott,J“ {o} rg公司 和安德烈亚·帕萨雷拉, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.125 }, URN={URN:nbn:de:0030-drops-45384}, doi={10.4230/DagRep.4.1125}, annote={关键词:社区无线网络、移动网络、延迟容忍网络、自组织网络、城市信息学、社区信息学、城市规划跨学科} }
@第{even_et_al:DagRep.4.1.152条, author={Even、Guy和Halldorson、Magnus和Pignolet、Yvonne Anne和Scheidler、Christian}, title={{无线通信算法(Dagstuhl研讨会14051)}}, 页数={152--169}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, editor={Even、Guy和Halldorson、Magnus和Pignolet、Yvonne Anne和Scheidler、Christian}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.152 }, URN={URN:nbn:de:0030-drops-45397}, doi={10.4230/DagRep.4.1152}, annote={关键词:无线,算法,模型,复杂性} }
@第{cohen_et_al:DagRep.4.1.170条, 作者={Cohen、Julie E.和Dietrich、Sven和Pras、Aiko和Zuck、Lenore D.和Hildebrand Mireille}, title={{数据共享中的道德(Dagstuhl研讨会14052)}}, 页数={170--183}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2014}, 体积={4}, 数字={1}, 编辑={科恩、朱莉·E·和迪特里希、斯文和普拉斯、艾科和扎克、勒诺·D·和希尔德布兰·米雷尔}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.170 }, URN={URN:nbn:de:0030-drops-45418}, doi={10.4230/DagRep.4.1.170}, annote={关键词:道德,数据共享实践,数据传播,跨境道德,匿名,卫生} }