达格斯图尔报告，第6卷，第5期

摘要

引用为

《达格斯图尔报告》，第6卷，第5期，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2016）

@第{DagRep.6.5条，title={{Dagstuhl Reports，第6卷，第5期，2016年5月，完整版}}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={5}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5},URN={URN:nbn:de:0030-drops-67639}，doi={10.4230/DagRep.6.5}，annote={关键词：达格斯图尔报告，第6卷，第5期，2016年5月，完整版}}

摘要

引用为

《达格斯图尔报告》，第6卷，第5期，第i-ii页，达格斯图宫-莱布尼兹·泽特鲁姆宫（2016）

@第{DagRep.6.5.i条，title={{Dagstuhl Reports，目录，第6卷，第5期，2016年}}，页面={i--ii}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={5}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagRep.6.5.i},URN={URN:nbn:de:0030-drops-67624}，doi={10.4230/DagRep.6.5.i}，annote={关键词：Dagstuhl报告，目录，第6卷，第5期，2016年}}

摘要

引用为

理查德·赫尔（Richard Hull）、阿格妮斯·科什米德（Agnes Koschmider）、哈乔·A·雷杰斯（Hajo A.Reijers）和威廉·王（William Wong）。业务流程建模的新方法（Dagstuhl研讨会16191）。在《达格斯图尔报告》第6卷第5期第1-30页，达格斯图宫-莱布尼茨-泽特鲁姆宫（2016）

@第{hull_et_al:DagRep.6.5.1条，author={赫尔、理查德和科斯米德、艾格妮斯和雷杰斯、哈乔A.和王威廉}，title={{业务流程建模的新方法（Dagstuhl研讨会16191）}}，页数={1--30}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={5}，editor={赫尔、理查德和科斯米德、阿格尼丝和雷杰斯、哈乔A.和王威廉}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.1},URN={URN:nbn:de:0030-drops-66964}，doi={10.4230/DagRep.6.5.1}，annote={关键词：业务流程模型，流程建模，可视化}}

摘要

引用为

托尼·克拉克（Tony Clark）、乌尔里希·弗兰克（Ulrich Frank）和维奈·库尔卡尼（Vinay Kulkarni）。支持组织效率和敏捷性：模型、语言和软件系统（Dagstuhl研讨会16192）。Dagstuhl报告，第6卷第5期，第31-55页，Schloss Dagstuhl–Leibniz Zentrum für Informatik（2016）

@第{clark_et_al:DagRep.6.5.31条，author={克拉克、托尼和弗兰克、乌尔里奇和库尔卡尼、维奈}，title={{支持组织效率和敏捷性：模型、语言和软件系统（Dagstuhl研讨会16192）}}，页数={31--55}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={5}，editor={克拉克、托尼和弗兰克、乌尔里奇和库尔卡尼、维奈}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.31},URN={URN:nbn:de:0030-drops-67197}，doi={10.4230/DagRep.6.5.31}，annote={关键词：数字转型、DSML、企业建模、企业软件系统、组织行动系统}}

摘要

引用为

朱利安·杜比（Julian Dolby）、奥娜·格伦伯格（Orna Grumberg）、彼得·米勒（Peter Müller）和奥马尔·特里普（Omer Tripp）。并发程序测试、验证和修复之间的协同（Dagstuhl研讨会16201）。《达格斯图尔报告》第6卷第5期第56-71页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔Informatik（2016）

@第{dolby_et_al:DagRep.6.5.56条，author={Dolby、Julian和Grumberg、Orna和M\“{u} 勒尔，Peter和Tripp，Omer}，title={{并发程序测试、验证和修复之间的协同作用（Dagstuhl研讨会16201）}}，页数={56--71}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={5}，editor={Dolby、Julian和Grumberg、Orna和M\“{u} 勒尔，Peter和Tripp，Omer}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.56},URN={URN:nbn:de:0030-drops-67203}，doi={10.4230/DagRep.6.5.56}，annote={关键词：（自动）错误修复，并发错误，并发编程，演绎验证，交互验证，线性化，同步测试}}

摘要

引用为

Osnat Keren、Ilia Polian和Mark M.Tehranipoor。硬件安全（Dagstuhl研讨会16202）。《达格斯图尔报告》第6卷第5期第72-93页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔信息技术馆（2016）

@第{keren_et_al:DagRep.6.5.72条，author={科伦、奥斯纳特和波利安、伊利亚和德赫拉尼普尔、马克M.}，title={{硬件安全（Dagstuhl研讨会16202）}}，页数={72--93}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={5}，editor={科伦、奥斯纳特和波利安、伊利亚和德赫拉尼普尔、马克M.}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.72},URN={URN:nbn:de:0030-drops-67218}，doi={10.4230/DagRep.6.5.72}，annote={关键词：硬件安全；被动和主动副通道分析；机器学习；密码块；真随机数生成器；物理上不可克隆的函数；硬件特洛伊木马}}

摘要

引用为

杰夫·埃里克森（Jeff Erickson）、菲利普·克莱恩（Philip N.Klein）、达尼尔·马克思（Dániel Marx）和克莱尔·马修（Claire Mathieu）。平面图中优化问题的算法（Dagstuhl研讨会16221）。《达格斯图尔报告》第6卷第5期第94-113页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔Informatik（2016）

@第{erickson_et_al:DagRep.6.5.94条，author={埃里克森、杰夫和克莱恩、菲利普·N·和马克思·D·'{a} 尼尔和克莱尔·马修}，title={{平面图优化问题的算法（Dagstuhl研讨会16221）}}，页数={94--113}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={5}，editor={Erickson，Jeff和Klein，Philip N.和Marx，D\'{a} 尼尔和克莱尔·马修}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.94},URN＝{URN:nbn:de:00030-drops-67227}，doi={10.4230/DagRep.6.5.94}，annote={关键词：算法，平面图，理论，近似，固定参数可处理，网络流，网络设计，核化}}

摘要

引用为

迈克尔·费舍尔（Michael Fisher）、克里斯蒂安·里斯特（Christian List）、玛丽亚·斯拉夫科维奇（Marija Slavkovik）和阿兰·温菲尔德（Alan Winfield）。工程道德代理人——从人类道德到人工道德（Dagstuhl研讨会16222）。《达格斯图尔报告》第6卷第5期第114-137页，达格斯图宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2016）

@第{条fisher_et_al:DagRep.6.5.114，author={Fisher、Michael和List、Christian和Slavkovik、Marija和Winfield、Alan}，title={{工程道德代理人——从人类道德到人工道德（达格斯图尔研讨会16222）}}，页数={114--137}，日志={Dagstuhl报告}，ISSN={2192-5283}，年份={2016年}，体积={6}，数字={5}，editor={Fisher、Michael和List、Christian和Slavkovik、Marija和Winfield、Alan}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.5.114},URN={URN:nbn:de:0030-drops-67236}，doi={10.4230/DagRep.6.5.114}，annote={关键词：人工道德、机器伦理、计算道德、自治系统、智能系统、形式伦理、数学哲学、机器人伦理}}