达格斯图尔报告，第4卷
第4卷第1期，2014年1月
弗雷德里克·阿姆克内特 , 海伦娜·汉德施 , 岩手铁雄 , 巴特·普雷尼尔 :
对称密码术（Dagstuhl研讨会14021）。 1-16 同行蒂莫·布雷默 , 伯恩德·莫尔 , 瓦莱里奥·帕斯库奇 , 马丁·舒尔茨 :
将性能分析和可视化与高级极限规模计算联系起来（Dagstuhl Perspectives Workshop 14022）。 17-35 埃里卡·阿布拉哈姆 , 阿尔贝托·阿弗里策 , 安妮·雷姆克 , 威廉·桑德斯 :
关键基础设施的随机时间和混合模型（Dagstuhl研讨会14031）。 36-82 托马斯·奥戈特斯 , 格哈德·莱克梅耶 , Benedikt Löwe公司 , 伯恩哈德·内贝尔 :
有认识目标的规划（Dagstuhl研讨会14032）。 83-103
第4卷第2期，2014年2月
亚历山大·弗雷泽 , 凯文·奈特 , 菲利普·科恩 , 赫尔穆特·施密德 , 汉斯·尤兹克莱特 :
翻译为形态丰富语言的统计技术（Dagstuhl研讨会14061）。 1-16 多米尼克·梅里 , 伯恩哈德·施瓦茨 , 阿兰·瓦辛格 :
起搏器挑战：开发可认证医疗设备（Dagstuhl研讨会14062）。 17-38 汉斯·博德兰德 
, 皮纳尔·赫格内斯 , 丹尼尔·洛克斯塔诺夫 :
图形修改问题（Dagstuhl研讨会14071）。 38-59 迈克尔·布鲁 , 阿尔弗雷德·M·布鲁克斯坦 , Petros Maragos公司 , 斯蒂芬妮·乌勒 :
形状分析的新观点（Dagstuhl研讨会14072）。 60-78 安东尼·科恩 , 伯恩德·诺依曼 , 亚历山德罗·萨菲奥蒂 , 马库斯·文切 :
机器人从经验中学习（Dagstuhl研讨会14081）。 79-109 伯恩哈德·伯格斯 , 英格丽德·霍茨 , 安娜·维拉诺瓦·巴托利 , 卡尔·弗雷德里克·威斯汀 :
多值数据高阶描述符的可视化和处理（Dagstuhl研讨会14082）。 110-128 亚历杭德罗·洛佩斯·奥尔蒂斯 , 乌尔里希·卡斯滕·迈耶 , 罗伯特·塞奇威克 :
数据结构和大数据计算的高级模型（Dagstuhl研讨会14091）。 129-149 格伦·达迪克 , 芭芭拉·恩迪科特·波波夫斯基 , 帕维尔·格拉迪舍夫 , 托马斯·凯默里奇 , 卡斯滕·鲁道夫 :
数字证据和法医准备（Dagstuhl研讨会14092）。 150-190
第4卷第3期，2014年3月
约翰内斯·富恩克兰兹（Johannes Fürnkranz） , 埃克·Hüllermier , 辛西娅·鲁丁 , 罗曼·斯洛文斯基 , 斯科特·桑纳 :
偏好学习（Dagstuhl研讨会14101）。 1-27 马克西姆·克罗西莫尔 , 詹姆斯·D·库里 , 格雷戈里·库切洛夫 , 德克·诺沃特卡 :
弦的组合数学和算法（Dagstuhl研讨会14111）。 28-46 皮埃尔·迪伦堡 , 克洛德·基什内尔 , 约翰·米切尔 , 马丁·威辛 :
大规模开放在线课程，现状和观点（Dagstuhl Perspectives Workshop 14112）。 47-61 安娜·加尔 , 米查尔·库克（Michal Kouck） , 奥德·雷格夫 , Rüdiger Reischuk公司 :
离散问题的计算复杂性（Dagstuhl研讨会14121）。 62-84 鲁帕克·马朱姆达尔 , 理查德·默里 , 帕维思拉·普拉巴卡 :
网络物理系统验证（Dagstuhl研讨会14122）。 85-102 伊丽莎白·安德烈 , 鲁斯·艾利特 , 格特·扬·霍夫斯泰德 , 安娜·佩娃 :
人与主体互动的文化行为计算模型（达格斯图尔研讨会14131）。 103-137 梅克·布钦 , 卢卡·朱吉奥利 , 马克·范·克雷维尔德 , 盖伊·德奥莱 :
互动和集体动作处理（达格斯图尔研讨会14132）。 138-152 哈维尔·埃斯帕尔扎 , 阿兰·芬克尔 , 皮埃尔·麦肯齐 , 乔尔·瓦克宁 :
无限状态系统的可达性问题（Dagstuhl研讨会14141）。 153-180 阿尔多·甘格米 , 维雷娜·哈夫纳 , 沃纳·库恩 , 西蒙·谢德 , 卢克·思蒂尔斯 :
语义网和机器人学中的空间参考（Dagstuhl研讨会14142）。 181-201
2014年4月第4卷第4期
德克·拜尔 , 玛丽克·赫斯曼 , 弗拉基米尔·克莱巴诺夫 , 罗斯玛丽·莫纳汉 :
《评估软件验证系统：基准和竞争》（Dagstuhl Reports 14171）。 1-19 克日什托夫·沙内基（Krzysztof Czarnecki） , 阿诺德·胡鲍（Arnaud Hubaux） , 伊桑·杰克逊 , 迪特马尔·贾纳赫 , 托米·蒙尼斯托 :
统一产品和软件配置（Dagstuhl研讨会14172）。 20-35 迈克尔·胡恩斯（Michael N.Huhns） , 沃尔夫冈·凯特尔 , Ryszard Kowalczyk公司 , Fabrice Saffre公司 , Rainer Unland公司 :
多智能体系统及其在未来能源电网中的作用（Dagstuhl研讨会14181）。 37-48
第4卷第5期，2014年5月
基拉·V·阿达里切娃 , 朱塞佩·F·意大利 , 汉斯·克莱恩·勃宁 , 吉尔吉斯·图兰 :
霍恩公式，有向超图，格和闭包系统：相关的形式和应用（达格斯图尔研讨会14201）。 1-26 弗兰兹·迪特里希 , 乌尔·恩德里斯 , 大卫·格罗西 , 加布里埃拉·皮戈齐 , 玛丽亚·斯拉夫科维奇 :
JA4AI：人工智能判断聚合（达格斯图尔研讨会14202）。 27-39 丹尼·迪格 , 威廉·格里斯沃尔德 , 艾默生·R·默菲-希尔 , Max Schäfer公司 :
重构的未来（14211年达格斯图尔研讨会）。 40-67
第4卷第6期，2014年6月
陈敏（音） , 查尔斯·汉森 , 佩尼·莱因根斯 , 杰里克·谢尔曼 :
科学可视化（达格斯图尔研讨会14231）。 1-28 雅各布·雷霍夫 , 莫舍·瓦尔迪 :
组件设计与合成（达格斯图尔研讨会14232）。 29-47 罗伯托·贾科巴齐 , 阿克塞尔·西蒙 , 莎拉·泽诺 :
分析可执行文件的挑战：可伸缩性、自我修改代码和协同（Dagstuhl研讨会14241）。 48-63 哈拉尔德·加尔 , 蒂姆·门齐斯 , 劳里·A·威廉姆斯 , 托马斯·齐默尔曼 :
软件开发分析（Dagstuhl研讨会14261）。 64-83 弗里茨·亨利恩 , 兰吉特·贾拉 , 克里希纳穆西神社 , 彼得·蒂曼 :
脚本语言和框架：分析和验证（达格斯图尔研讨会14271）。 84-107
第4卷第7期，2014年7月
斯文·阿佩尔 , 乔安妮·M·阿特里 , 卢西亚诺·巴雷西 , 帕梅拉·扎夫 :
专题互动：下一代（达格斯图尔研讨会14281）。 1-24 亚伯拉罕·伯恩斯坦 , 简·马可·莱梅斯特（Jan Marco Leimeister） , 娜塔莎·F·诺伊 , 克里斯蒂娜·萨拉苏 , 埃琳娜·辛佩尔 :
众包与语义网（Dagstuhl Seminar 14282）。 25-51 德克·库彻 , 跆拳道 , 伊格纳西奥·索利斯 :
以信息为中心的网络3（达格斯图尔研讨会14291）。 52-61 马克·达契尔 , 弗兰克·卡格尔 , 哈特穆特·科尼格 , 阿方索·瓦尔德斯 :
网络攻击检测和防御：保护关键基础设施的工业控制系统（达格斯图尔研讨会14292）。 62-79 克里斯·比曼 , 格雷戈里·克雷恩 , 克里斯蒂安·费尔鲍姆 , 亚历山大·梅勒 :
计算人文——弥合计算机科学和数字人文之间的鸿沟（达格斯图尔研讨会14301）。 80-111 塔尔·哈斯纳 , 罗伯特·萨布拉丁格 , 多米尼克·斯图兹曼 , 塞戈莱内·塔特 :
数字古地理：新机器和旧文本（达格斯图尔研讨会14302）。 112-134
第4卷第8期，2014年8月
本尼迪克特 , 卡斯滕·卢茨 , 打捆机十类 :
表达约束下的查询和推理（达格斯图尔研讨会14331）。 1-20 托马斯·奥戈特斯 , Nils斗牛 :
协调多代理系统的正式方法（Dagstuhl研讨会14332）。 21-44 Yll Haxhimusa公司 , 艾丽斯·范·罗伊 , 萨珊克·瓦尔马 , 托德·沃勒姆 :
资源受限问题解决（Dagstuhl研讨会14341）。 45-72 尼姆罗德·梅吉多 , 库尔特·梅尔霍恩 , 拉胡尔·萨瓦尼 , 维杰·瓦齐拉尼 :
平衡计算（Dagstuhl研讨会14342）。 73-88 丹尼尔·克罗宁 , 托马斯·W·代表 , 桑吉特·塞希亚 , 阿迪蒂亚·塔库尔 :
决策程序和摘要解释（达格斯图尔研讨会14351）。 89-106 帕特里克·库索特 , 丹尼尔·克罗宁 , 卡斯滕·辛兹 :
下一代静态软件分析工具（Dagstuhl研讨会14352）。 107-125 马克·阿莱克萨 , 比科尔 , 萨拉·麦克梅恩斯 , 霍利·拉什梅耶 :
制造的计算方面（Dagstuhl研讨会14361）。 126-150
第4卷第9期，2014年9月
尼古拉斯·高格（Nicolas R.Gauger） , 迈克尔·B·贾尔斯 , 马克斯·甘兹伯格 , 乌乌·诺曼 :
计算科学、工程和金融中的伴随方法（Dagstuhl研讨会14371）。 1-29 玛丽亚·福丽娜·巴尔坎 , 博多·曼泰 , 海科·罗格林 , 蒂姆·拉夫加登 :
超越最坏情况的算法分析（Dagstuhl研讨会14372）。 30-49 阿图尔·达维拉·加塞斯 , 马科·高里 , 帕斯卡·希茨勒 , 路易斯·兰姆 :
神经符号学习与推理（Dagstuhl研讨会14381）。 50-84 马宁德拉·阿格拉沃 , 瓦伦丁卡巴内茨 , 托马斯·蒂拉夫 , 克里斯托弗·乌曼斯 :
计算复杂性中的代数（达格斯图尔研讨会14391）。 85-105 巴特·普雷尼尔 , 菲利普·罗加韦 , 马克·德莫特·瑞安 , 彼得·Y·A·瑞恩 :
监视时代的隐私和安全（达格斯图尔观点研讨会14401）。 106-123 赫尔曼·哈蒂格 , 松冈佐治 , 弗兰克·穆勒 , 亚历山大·雷尼菲尔德 :
Exascale Computing中的弹性（Dagstuhl研讨会14402）。 124-139
第4卷第10期，2014年10月
吕克·德·雷德 , 齐格弗里德·尼杰森 , 巴里·奥沙利文 , 米歇尔·塞巴格 :
约束、优化和数据（达格斯图尔研讨会14411）。 1-31 贝蒂·H·C·程 , 贝诺？t组合 , 罗伯特·B·法国 , Jean-Marc Jézéquel女士 , 伯恩哈德·伦普 :
全球化领域特定语言（达格斯图尔研讨会14412）。 32-50 奥拉夫·贝耶斯多夫 , 爱德华·赫施 , 扬·克拉切克 , 拉胡尔·桑塔纳姆 :
优化算法和证明（Dagstuhl研讨会14421）。 51-68 亚历山德罗·阿巴特 , 马丁·弗伦泽 , 伊恩·希斯肯斯 , 马丁·斯特雷克 :
能源网络复杂系统的建模、验证和控制（达格斯图尔研讨会14441）。 69-97 克里斯蒂安·卡达尔 , 维杰·加内什 , 雷蒙达斯·萨斯诺斯卡斯 , 库什克森 :
符号执行和约束解决（达格斯图尔研讨会14442）。 98-114
第4卷第11期，2014年11月
斯特凡·克拉奇 , 丹尼尔·洛克斯塔诺夫 , 达尼尔·马克思 , 彼得·罗斯马尼思 :
参数化复杂性的最优化和紧密性结果（Dagstuhl研讨会14451）。 1-21 沃尔夫冈·班扎夫 , 克里斯托夫·弗拉姆 , 丹尼尔·默克尔 , 彼得·F·斯塔德勒 :
算法化学信息学（Dagstuhl研讨会14452）。 22-39 乌尔里希·卡斯滕·迈耶 , 亨宁·梅耶亨克 , 阿里·皮纳尔 , 伊利亚·萨夫罗 :
计算科学中的高性能图形算法和应用（Dagstuhl研讨会14461）。 40-58 Eiko Yoneki公司 , 阿米塔布·罗伊 , 德里克·戈登·默里 :
大尺度图形分析的系统和算法（达格斯图尔研讨会14462）。 59-77 乔恩·克劳克罗夫特 , 亚当·沃利斯 , 阿朱纳·萨提亚西兰 :
实现人人都能负担得起的互联网接入：实现普遍服务承诺的探索（达格斯图尔研讨会14471）。 78-137 大卫·R·吉尔伯特 , 莫妮卡·海纳 , 高桥幸一 , 阿德琳德·乌尔马彻 :
多尺度空间计算系统生物学（达格斯图尔研讨会14481）。 138-226 亚历山德罗·西马蒂 , 斯特凡·埃德尔坎普 , 玛丽亚·福克斯 , 丹尼尔·马加泽尼 , 埃里昂·普拉库 :
自动化规划和模型检查（Dagstuhl研讨会14482）。 227-245
第4卷第12期，2014年12月
迪特尔·戈尔曼 , 科马克·赫尔利 , 文森特·柯尼格 , 沃尔特·彼得斯 , 玛蒂娜·安吉拉·萨西 :
社会技术安全指标（达格斯图尔研讨会14491）。 1-28 吉尔斯·巴特 , 迈克尔·希克斯 , 弗洛里安·克什鲍姆 , 多米尼克·恩鲁 :
编程语言和密码学之间的协同（达格斯图尔研讨会14492）。 29-47 詹姆斯·切尼 , 托尔斯滕·格鲁斯特 , 迪米特里厄斯病毒性肠炎 :
大数据编程语言（PlanBig）（Dagstuhl研讨会14511）。 48-67 简·希尔斯顿 , 杰里米·皮特 , 马丁·威辛 , 弗朗科·赞博内利 :
集体适应系统：定性和定量建模与分析（Dagstuhl研讨会14512）。 68-113
