@第{DagRep.8.1条, title={达格斯图尔报告,第8卷,第1期,2018年1月,完整版}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2018年}, 体积={8}, 数字={1}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1 }, URN={URN:nbn:de:0030-drops-97352}, doi={10.4230/DagRep.8.1}, annote={关键词:达格斯图尔报告,第8卷,第1期,2018年1月,完整版} }
@第{DagRep.8.1.i条, title={{Dagstuhl Reports,目录,第8卷,第1期,2018年}}, 页面={i--ii}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2018年}, 体积={8}, 数字={1}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.8.1.i }, URN={URN:nbn:de:0030-drops-97345}, doi={10.4230/DagRep.8.1.i}, annote={关键词:达格斯图尔报告,目录,第8卷,第1期,2018年} }
@第{daemen_et_al:DagRep.8.1.1条, author={Daemen、Joan和Iwata、Tetsu和Leander、Nils Gregor和Nyberg、Kaisa}, title={{对称密码术(Dagstuhl研讨会18021)}}, 页数={1--32}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2018年}, 体积={8}, 数字={1}, editor={Daemen、Joan和Iwata、Tetsu和Leander、Nils Gregor和Nyberg、Kaisa}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.1 }, URN={URN:nbn:de:0030-drops-92832}, doi={10.4230/DagRep8.1.1}, annote={关键词:对称加密、密码分析、认证加密、物联网加密、大规模监视} }
@第{klamroth_et_al:DagRep.8.1.33条, author={克拉姆罗斯、凯瑟琳和诺尔斯、约书亚·D·和鲁道夫·G·“ {u} enter(输入) 和玛格丽特·威塞克, title={{个性化多目标优化:分析视角(Dagstuhl研讨会18031)}}, 页数={33--99}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2018}, 体积={8}, 数字={1}, editor={克拉姆罗斯、凯瑟琳和诺尔斯、约书亚·D·和鲁道夫·G·“ {u} enter(输入) 和玛格丽特·威塞克, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.33 }, URN={URN:nbn:de:0030-drops-92846}, doi={10.4230/DagRep.8.1.33}, annote={关键词:多准则决策,进化多目标优化} }
@第{hauser_et_al:DagRep.8.1.100条, author={豪泽、赫尔维格和莱茵甘斯、佩妮和谢尔曼、格里克}, title={{数据可视化基础(Dagstuhl研讨会18041)}}, 页数={100--123}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2018年}, 体积={8}, 数字={1}, editor={豪泽、赫尔维格和莱茵甘斯、佩妮和谢尔曼、格里克}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.100 }, URN={URN:nbn:de:0030-drops-92853}, doi={10.4230/DagRep.8.1.100}, annote={关键词:基础、跨学科合作、理论、可视化} }
@第{atserias_et_al:DagRep.8.1.124条, author={Atserias、Albert和Nordstr\“ {o} 米 、雅各布和普德尔 {a} k个 、帕维尔和桑坦南、拉胡尔}、, title={{证明复杂性(Dagstuhl研讨会18051)}}, 页数={124--157}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2018年}, 体积={8}, 数字={1}, editor={Atserias、Albert和Nordstr\“ {o} 米 、雅各布和普德尔 {a} k个 、帕维尔和桑坦南、拉胡尔}、, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.124 }, URN={URN:nbn:de:0030-drops-92864}, doi={10.4230/DagRep.8.12.24}, annote={关键词:有界算法、计算复杂性、逻辑、证明复杂性、可满足性算法} }
@第{petke_et_al:DagRep.8.1.158条, author={佩特克、朱斯蒂娜和勒·古伊斯、克莱尔和福雷斯特、斯蒂芬妮和兰登、威廉·B·}, title={{软件的遗传改良(Dagstuhl研讨会18052)}}, 页数={158--182}, 日志={Dagstuhl报告}, ISSN={2192-5283}, 年份={2018年}, 体积={8}, 数字={1}, editor={佩特克、朱斯蒂娜和勒·古伊斯、克莱尔和福雷斯特、斯蒂芬妮和兰登、威廉·B·}, publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}, 地址={Dagstuhl,德国}, URL={ https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.1.158 }, URN={URN:nbn:de:00030-drops-92878}, doi={10.4230/DagRep.8.1.158}, annote={关键词:遗传改进GI,基于搜索的软件工程SBSE,软件优化,进化改进,自动化软件改进,自动化程序修复,进化计算,遗传编程,GP} }