达格斯图尔报告，第3卷
2013年1月第3卷第1期
蒂埃里·杰伦 , 玛格斯·维恩斯 , 伯克哈特·沃尔夫 :
测试中的符号方法（Dagstuhl研讨会13021）。 1-29 玛丽塔·海塞尔 , Mohamed Kaâ利基 , 亚历山大·罗曼诺夫斯基 , 埃琳娜·特鲁比西纳 :
工程弹性系统：模型、方法和工具（Dagstuhl研讨会13022）。 30-46 彼得·布尔吉塞 , 莱斯利·安·戈德伯格 , 马克·杰拉姆 , 帕斯卡·科伊兰 :
计算计数（Dagstuhl研讨会13031）。 47-66 伯恩哈德·卡奇（Bernhard R.Katzy） , 乌尔里克·莱切纳 :
平民危机应对模型（Dagstuhl研讨会13041）。 67-93 本杰明·多尔 , 罗伯特·埃尔萨瑟 , 皮埃尔·弗拉吉诺 :
流行病算法和过程：从理论到应用（Dagstuhl研讨会13042）。 94-110 达伦·D·科弗 , 约翰·哈特克利夫 , 迈克拉·胡恩 , 马克·劳福德 :
软件认证：方法和工具（Dagstuhl研讨会13051）。 111-148 安德烈亚斯·赫克斯多夫 , 迈克尔·保利奇 :
嵌入式和网络物理系统的多核支持（Dagstuhl研讨会13052）。 149-182
第3卷第2期，2013年2月
玛丽·让·哈罗德 , 弗里德里希·斯特曼 , 弗兰克·蒂普 , 安德利亚斯·策勒 :
故障预测、定位和修复（Dagstuhl研讨会13061）。 1-21 Sonja Buchegger公司 , 乔恩·克劳克罗夫特 
, 巴拉昌德·克里希那穆尔蒂 , 托尔斯滕·斯特鲁夫 :
隐私保护分散系统（Dagstuhl研讨会13062）。 22至44 萨姆森·阿布拉姆斯基 , 朱哈·孔廷宁 , Jouko A.Väänänen , 赫里贝特·沃尔默 :
依赖逻辑：理论与应用（Dagstuhl研讨会13071）。 45-54 杰奎琳·法加德 , 罗德里克·A·格鲁本 , 弗兰克·盖林 , 诺伯特·克鲁格 :
认知机器人的持续发展机制（Dagstuhl研讨会13072）。 55-91 贝蒂娜·凯姆 , Ganesan Ramalingam公司 , 安德烈·希珀 , 马克·夏皮罗 , Kapil Vaswani公司 :
分布式系统中的一致性（Dagstuhl研讨会13081）。 92-126 勒罗伊·比斯利 , 哈特穆特·克劳克 , 特洛·李 , 德克·奥利弗·泰斯 :
通信复杂性、线性优化和矩阵非负秩的下限（Dagstuhl研讨会13082）。 127-143 保罗·博尔巴 , 迈拉·B·科恩 , Axel Legay公司 , 安德烈·瓦索夫斯基 :
变异性存在下的分析、测试和验证（Dagstuhl研讨会13091）。 144-170
第3卷，第3期，2013年3月
Otfried Cheong先生 , 库尔特·梅尔霍恩 , 莫妮克·泰劳德 :
计算几何（达格斯图尔研讨会13101）。 1-23 苏珊娜·阿尔伯斯 , Onno J.Boxma公司 , 柯克·普鲁斯 :
日程安排（达格斯图尔研讨会13111）。 24-50 埃里克·D·德曼 , 费多·弗明 , 穆罕默德·塔吉·哈加加伊 , 迪米特里奥斯·M·蒂利科斯 :
二维结构：算法、组合数学和逻辑（达格斯图尔研讨会13121）。 51-74 乔恩·克劳克罗夫特 , 马库斯·菲德勒 , 克拉拉·纳赫斯特特 , 拉尔夫·斯坦梅茨 :
未来互联网（达格斯图尔研讨会13131）。 75-99
第3卷，第4期，2013年4月
伯纳黛特·查伦·博斯特 , 斯蒂芬·默兹 , 安德烈·里巴尔琴科 , 约瑟夫·威德 :
分布式算法的形式验证（Dagstuhl研讨会13141）。 1-16 阿尔伯特·柯恩 , 阿拉斯泰尔·唐纳森 , 玛丽克·赫斯曼 , Joost-Pieter Katoen公司 :
正确高效的加速器编程（Dagstuhl研讨会13142）。 17-33 斯蒂芬·科波罗夫 , 马丁·诺伦伯格 , 莫妮克·泰劳德 :
用曲线绘制图形和地图（Dagstuhl研讨会13151）。 34-68 瑟久·哈特 , 艾娃·塔多斯 , 伯恩哈德·冯·斯坦格尔 :
计算、博弈论和经济学的接口（达格斯图尔研讨会13161）。 69-90 Ondrej Lhoták , 亚尼斯·斯马拉格达基斯 , 马努·斯里德哈兰 :
指针分析（达格斯图尔研讨会13162）。 91-113 卢西亚诺·巴雷西 , 安德烈亚斯·拉姆勒 , 克劳斯·施密德 :
定制服务平台（达格斯图尔研讨会13171）。 114-150 阿莱西奥·洛穆西奥 , 苏菲·平奇纳特 , 霍尔格·施林格洛夫 :
VaToMAS：多代理系统的验证和测试（Dagstuhl研讨会13181）。 151-187 托尼·克拉克 , 罗伯特·B·法国 , 马丁·戈戈拉 , 布兰·塞利克 :
基于模型的元建模工程工具（Dagstuhl研讨会13182）。 188-226
第3卷第5期，2013年5月
塞巴斯蒂安·马内斯 , 赫尔穆特·塞德尔 :
树木传感器和形式方法（达格斯图尔研讨会13192）。 1-18 安德烈亚斯·凯伦 , Helen C.购买 , 马修·沃德 :
信息可视化——走向多元网络可视化（达格斯图尔研讨会13201）。 19-42 迭戈·卡尔瓦内斯 , 斯文·哈特曼 , 欧内斯特·特尼特 :
概念图式的自动推理（达格斯图尔研讨会13211）。 43-77 安德烈亚斯·本德 , 辛里希·沃尔曼 , 塞普·霍克莱特 , 齐夫·什凯迪 :
计算方法辅助早期药物设计（达格斯图尔研讨会13212）。 78-94
第3卷第6期，2013年6月
于尔根·迪克斯 , 斯文·奥夫·汉森 , 加布里埃尔·克恩·伊斯伯纳 , 吉列尔莫·里卡多·西马里 :
多智能体场景中的信念改变和争论（达格斯图尔研讨会13231）。 1-21 塞巴斯蒂安·马内斯 , 冈萨洛·纳瓦罗 :
压缩结构化数据的索引和计算（Dagstuhl研讨会13232）。 22-37 吉多·布伦内特 , Sabine Coquillart公司 , 罗伯特·范·里尔 , 格雷戈里·韦尔奇 :
虚拟现实（达格斯图尔研讨会13241）。 38-66 阿图尔·安德泽亚克 , 约阿希姆·吉森 , 拉古·拉马克里希南 , 离子斯托伊卡 :
平行数据分析（达格斯图尔研讨会13251）。 67-82 克雷格·A·诺布洛克 , 凯·乌韦·萨特勒 , 鲁迪·斯图德 , 安德烈亚斯·哈特 :
复杂信息生态系统中的互操作（Dagstuhl研讨会13252）。 83-134
第3卷第7期，2013年7月
本杰明·多尔 , 尼古拉·汉森 , 乔纳森·夏皮罗 , L.达雷尔·惠特利 :
进化算法理论（达格斯图尔研讨会13271）。 1-28 Koen A.P.M.Lemmink公司 , 斯图尔特·摩根 , 詹姆·桑帕约 , 迪特马尔·绍柏 :
高性能运动中的计算机科学-专业教练的应用和影响（达格斯图尔研讨会13272）。 29-53 迈·盖尔克 , 让-埃里克·平 , 维克托·塞利瓦诺夫 , Dieter Spreen公司 :
计算机科学中的二重性（达格斯图尔研讨会13311）。 54-73 亚历桑卓·阿奎斯蒂 , Ioannis Krontiris公司 , 马克·朗海因里奇 , 玛蒂娜·安吉拉·萨西 :
“我的生活，共享”——普遍经验共享时代的信任与隐私（达格斯图尔研讨会13312）。 74-107
第3卷第8期，2013年8月
彼得·奥尔 , 马库斯·赫特 , 劳伦特·奥尔索 :
强化学习（达格斯图尔研讨会13321）。 1-26 乔治·卡尔 , Jochen H.Schiller（约琴·H·席勒） , 史蒂夫·乌利格 , 沃尔特·威林格 , 马蒂亚斯·瓦赫利什 :
关键的互联网基础设施（Dagstuhl研讨会13322）。 27-39 托尔·胡斯菲尔德 , 拉马莫汉·帕图里 , 格雷戈里·索尔金 , 瑞恩·威廉姆斯 :
指数算法：超越多项式时间的算法和复杂性（达格斯图尔研讨会13331）。 40-72 拉斐尔·阿科尔西 , 杰森·克兰普顿 , 伦敦帝国学院 , 斯蒂芬妮·林德勒（Stefanie Rinderle-Ma） :
可验证安全的过程软件信息系统（Dagstuhl研讨会13341）。 73-86 乔纳斯·S·阿尔梅达 , Andreas W.M.连衣裙 , 提图斯·库恩 , 拉克米·帕里达 :
生物与精确医学的ICT战略（达格斯图尔观点研讨会13342）。 87-135 汉斯·安德里亚·洛利格 , 埃米娜·索尔贾宁 , 朱迪·沃克 :
编码理论（达格斯图尔研讨会13351）。 136-150 大卫·S·埃伯特 , 布莱恩·费舍尔 , 佩特拉·伊森伯格 :
视觉推理信息交互（达格斯图尔研讨会13352）。 151-167
第3卷第9期，2013年9月
托比亚斯·霍菲尔德 , Phuoc Tran-Gia公司 , 马贾·武科维奇 :
众包：从理论到实践和长期观点（达格斯图尔研讨会13361）。 1-33 迈克尔·胡恩斯（Michael N.Huhns） , 魏丽 , 蔡伟泰（Wei-Tek Tsai） :
基于云的软件众包（Dagstuhl研讨会13362）。 34-58 谢尔盖·费尔 , 米歇尔·莫斯卡 , 马丁·罗特勒 , 雷纳·斯坦万特 :
量子密码分析（达格斯图尔研讨会13371）。 59-73 Uwe Glässer公司 , 斯特凡·哈勒斯特德 , 迈克尔·勒谢尔 , 蓖麻Elvinia Riccobene :
严格软件构建和分析工具的集成（Dagstuhl研讨会13372）。 74-105 亨利·卡萨诺娃 , 伊维斯·罗勃特 , Uwe Schwiegelshohn公司 :
Exascale系统的算法和调度技术（Dagstuhl研讨会13381）。 106-129 艾伦·F·布莱克威尔 , 亚历克斯·麦克林 , 詹姆斯·诺布尔 , 朱利安·罗胡贝尔 :
通过实时编码进行协作和学习（Dagstuhl研讨会13382）。 130-168 安德鲁·戈德堡 , 朱塞佩·F·意大利 , 大卫·约翰逊 , 多萝西娅·瓦格纳 :
算法工程（达格斯图尔研讨会13391）。 169-189 奥努尔·阿尔提塔斯 , 法尔科·德雷斯勒 , 汉内斯·哈特恩斯坦 , 奥赞·K·通古斯 :
车辆间通信-Quo Vadis（Dagstuhl研讨会13392）。 190-213 齐格弗里德·本克纳 , 弗兰兹·弗朗切蒂 , 汉斯·迈克尔·格恩特 , 杰弗里·霍林斯沃思 :
HPC架构的自动应用程序调整（Dagstuhl研讨会13401）。 214-244 阿米特·谢斯（Amit P.Sheth） , 巴亚姆·巴纳吉 , 马库斯·斯特罗梅尔 , 拉梅什·贾恩 , 斯特芬·斯塔布 :
物理-网络-社会计算（Dagstuhl Reports 13402）。 245至263
第3卷第10期，2013年10月
尼古拉·比约纳 , 雷内·哈内尔 , 托比亚斯·尼普科 , 克里斯托夫·魏登巴赫 :
演绎与算术（13411年达格斯图尔研讨会）。 1-24 凯·哈马赫 , Jean-Pierre Hubaux公司 , 基因Tsudik :
基因组隐私（13412年达格斯图尔研讨会）。 25-35 博拉代尔格兰科拉 , 菲利普·克莱恩 , 达尼尔·马克思 , 克莱尔·马修 :
平面图中优化问题的算法（Dagstuhl研讨会13421）。 36-57 米科拉伊·博扬奇克 , 巴托克·克林 , 亚历山大·库兹 , 安德鲁·皮特斯 :
名义计算理论（Dagstuhl研讨会13422）。 58-71 奥利弗·格劳 , 马库斯·马格诺 , 奥尔加·索金·霍农 , 克里斯蒂安·西奥巴特 :
现实世界可视化计算（Dagstuhl研讨会13431）。 72-91 玛丽斯特拉·阿戈斯蒂 , 诺伯特·富尔 , 伊莱恩·汤姆斯 , 佩蒂·瓦卡里 :
信息检索中的评价方法（Dagstuhl研讨会13441）。 92-126
第3卷第11期，2013年11月
梅纳德·米勒 , Shrikanth S.Narayanan先生 , 比约恩·舒勒 :
计算音频分析（Dagstuhl研讨会13451）。 1-28 索尔·格林伯格 , 卡斯珀·霍恩布 , 亚伦·J·奎格利 , 哈拉尔德·赖特勒 , 罗马共和国 :
人机交互中的Proxemics（Dagstuhl研讨会13452）。 29-57 伊莎·曼苏尔 , 本尼·摩尔多瓦努 , 诺姆·尼桑 , 伯托尔德·Vöcking :
电子市场和拍卖（达格斯图尔研讨会13461）。 58-78 汉斯·坎普 , 亚历山德罗·伦奇 , 詹姆斯·普斯特约夫斯基 :
语境中语言意义的计算模型（达格斯图尔研讨会13462）。 79-116 斯蒂芬·爱德华兹 , 阿兰·吉罗 , 克劳斯·施耐德 :
同步编程（13471年达格斯图尔研讨会）。 117-143 菲利普·埃尔德利 , 马可·梅利娅 , 约格·奥特 , 于尔根·舍恩瓦尔德 , Henning Schulzrinne公司 :
全球测量框架（13472年达格斯图尔研讨会）。 144-153 拉斐尔·阿科尔西 , 埃内斯托·达米亚尼 , Wil M.P.van der Aalst先生 :
释放操作流程采矿（Dagstuhl研讨会13481）。 154-192 费利克斯·C·弗雷林 , 杰里特·霍尔农 , 拉迪姆·波拉克 :
法医计算（13482年达格斯图尔研讨会）。 193-208
第3卷第12期，2013年12月
吕迪·阿贝尔索德 , 奥利弗·科尔巴赫 , 奥尔加·维泰克 :
计算质谱（达格斯图尔研讨会13491）。 1-16 马特·杜克汉姆 , 斯特凡·杜尔曼 , Jörg-Rüdiger袋 , 莫妮卡·塞斯特 :
地理传感器网络：桥接算法和应用（达格斯图尔研讨会13492）。 17-42 苏米特·古尔瓦尼 , 伊曼纽尔·基泽尔曼 , 尤特·施密德 :
归纳程序设计的方法和应用（Dagstuhl研讨会13502）。 43-66 罗杰里奥·德莱莫斯 , 大卫·加兰 , 卡洛·盖齐 , 霍尔格·吉斯 :
自适应系统的软件工程：保证（Dagstuhl研讨会13511）。 67-96 格伦·吉尔斯 , 莫妮卡·塞斯特 , 斯蒂芬·温特 , 欧瑞·沃尔夫森 :
计算运输科学中的社会问题（Dagstuhl研讨会13512）。 97至124
