2005年第32届ICALP:葡萄牙里斯本
路易斯·凯雷斯 , 朱塞佩·F·意大利 , 路易斯·蒙泰罗 , 帕拉米德斯猫 , 莫蒂·容格(Moti Yung) :
自动机,语言与程序设计,第32届国际学术讨论会,2005年ICALP,葡萄牙里斯本,2005年7月11日至15日,会议记录。 计算机科学课堂讲稿 3580, 施普林格 2005 ,国际标准图书编号 3-540-27580-0
特邀报告
莱斯利·瓦利安特 :
全息电路。 1-15 阿努帕姆·达塔 , 安特·德里克 , 约翰·米切尔 , 维塔利·施玛蒂科夫 , 马修·图鲁阿尼 :
协议安全逻辑的概率多项式时间语义。 16-29 朱塞佩·卡斯塔尼亚 , 阿兰·弗里希 :
语义子类型的温和介绍。 30-34 列奥尼德·利布金 :
未排序树的逻辑:概述。 35-50 马丁·盖林 , 托马斯·吕基 , 博克哈德·莫尼恩 , 卡斯滕·蒂曼 :
纳什均衡、无政府价格和完全混合纳什均衡猜想。 51-65
数据结构I
菲利普·比尔 , 英格·李·高兹 :
树包含问题:在最优空间和更快。 66-77 斯蒂芬·阿尔斯特鲁普 , 英格·李·高兹 , 蒂斯·劳赫 , 米克尔·索洛普 , 乌里·兹威克 :
Union-Find与固定时间删除。 78-89 詹尼·弗兰切斯基尼 , 罗伯托·格罗西 :
向量和记录的最佳就地排序。 90-102 卡尼拉·卡利戈西 , 库尔特·梅尔霍恩 , J.伊恩·蒙罗 , 彼得·桑德斯 :
走向最优多重选择。 103-114
密码学和复杂性
马吕斯·齐曼德 :
通过构造密码伪随机生成器的简单提取器。 115-127 奥马尔·霍维茨 , 乔纳森·卡茨 :
“黑盒”承诺方案的效率界限。 128-139 霍特克·维 :
关于圆有效论证系统。 140-152 罗伯托·塔马西娅 , 尼科斯·特里安多普洛斯 :
分层数据处理的计算界限及其在信息安全中的应用。 153-165
数据结构II
马丁·迪兹费尔宾格 , 克里斯托弗·魏德林 :
均衡分配和字典,带有紧凑的固定大小箱子。 166-178 鄂山奇尼福鲁山 , 阿拉什·法赞 , 梅赫迪·米尔扎扎德 :
最坏情况下的最佳联合-交叉表达式求值。 179-190 费多尔·V·福明 , 法布里奇奥·格兰多尼 , 迪特尔·克拉奇 :
衡量与征服:统治——案例研究。 191-203
加密和分布式系统
克劳斯·库萨维 , 维克托·舒普 :
乐观的异步原子广播。 204-215 乔瓦尼·迪·克雷塞佐 , 阿格洛斯·凯亚斯 :
通过一次性键盘进行异步完美安全通信。 216-227 朱塞佩·佩西亚诺 , 伊万·维斯康蒂 :
几乎恒定轮次中的单探测器并行零知识。 228-240
图形算法I
米罗斯瓦夫·科瓦卢克 , 安德烈·林加斯 :
有向非循环图中的LCA查询。 241-248 利亚姆·罗德蒂 , 乌里·兹威克 :
更换路径和 k个 无权有向图中的简单最短路径。 249-260 利亚姆·罗德蒂 , 米克尔·索洛普 , 乌里·兹威克 :
近似距离套筒和扳手的确定结构。 261-272 Telikepalli Kavitha公司 :
安Õ( 米 2 n个 )计算有向图的最小循环基的随机算法。 273-284
安全机制
塔尔·莫兰 , 莫尼·纳尔 :
基于篡改证据密封的加密协议。 285-297 达里奥·卡塔拉诺 , 伊万·维斯康蒂 :
混合陷阱门承诺及其应用。 298-310 尼古拉斯·霍珀 :
关于隐写选择的封面文本安全。 311-323 布雷肯 , 尤里·博里索夫 , 斯维特拉·尼科娃 , 巴特·普雷尼尔 :
六元及以下布尔函数关于某些密码学性质的分类。 324-334
图形算法II
鲁文·科恩 , 皮埃尔·弗拉吉诺 , 大卫·伊尔辛卡斯 , 阿莫斯·科尔曼 , 大卫·佩莱 :
有限自动机的标签引导图探索。 335-346 Bogdan S.Chlebus公司 , 莱斯泽克·盖西涅克 , Dariusz R.Kowalski先生 , 托马斯·拉齐克 :
关于无线网络中的唤醒问题。 347-359 吉里菲亚拉 , 彼得·戈洛维奇 , 扬·克拉托奇维尔 :
有界树宽图的距离约束标号。 360-372 钱平谷 , 田木久雄 :
平面图的最优分支分解 O(运行) ( n个 三 )时间。 373-384
自动机与形式语言I
尤拉吉·赫龙科维奇(Juraj Hromkovic) , 乔治·施尼特 :
有无NFA ε -过渡。 385-396 玛丽·皮埃尔·贝亚尔 , 西尔万·伦巴第 , 雅克·萨卡罗维奇 :
关于-自动机的等价性。 397-409 尤根·齐兹勒 , 贾科·卡里 :
逆细胞自动机邻域上的紧线性界。 410-420 马丁·博德利 , 弗朗索瓦·勒米厄 , 丹尼斯·塞利安 :
只识别正则语言的群类。 421-433
签名和消息身份验证
艾克·基尔茨 , 安东·米提金 , 索拉巴·潘杰瓦尼 , 巴拉斯·拉加万 :
仅附加签名。 434-445 马尔滕·特罗林 , 道格拉斯·威克斯特伦 :
分层组签名。 446-458 海尔格·利普马 , 王桂林 , 冯宝 :
指定验证人签名方案:攻击、新安全概念和新构造。 459-471 尤利·莫勒 , 约翰·舍丁 :
来自任何FIL-MAC的单键AIL-MAC。 472-484
算法博弈论
自动机与逻辑
计算代数
羽田三弘 , Mitsuru Kawazoe公司 , Tetsuya Takahashi公司 :
素数域上Genus-4 HCC的适用曲线:类型超椭圆曲线的点计数公式 年 2 = x个 2 k个 +1 + 斧头 . 539-550 尼拉杰·凯亚尔 :
有限域上二元多项式方程组的可解性。 551-562
缓存优化算法与算法工程
赫马·贾帕拉 , 诺伯特·泽赫 :
缓存忽略平面最短路径。 563-575 格思·斯特林特·布罗达尔 , 罗尔夫·法格伯格 , 加布里埃尔·莫鲁兹 :
Cache-Aware和Cache-Olivious自适应排序。 576-588 英戈·韦格纳 :
模拟退火在组合优化中击败了大都市。 589-601
在线算法
利亚·爱泼斯坦 , 美塔尔征税 :
在线区间着色和变量。 602-613 文达·陈 , 德华林 , Prudence W.H.Wong女士 :
单位分数项目的动态装箱。 614-626 马蒂亚斯·恩格勒 , 马蒂亚斯·韦斯特曼 :
非统一成本模型的重新排序缓冲区管理。 627-638
安全协议逻辑
亚尼克骑士 , 米夏·鲁西诺维奇 :
结合入侵者理论。 639-651 马修·鲍德特 , Véronique Cortier公司 , 史蒂夫·克莱默 :
等式理论在被动对抗中的计算实现。 652-663 马丁·阿巴迪 , 博格丹·瓦林斯基 :
分析了基于密码的加密。 664-676
随机图
陈艾文 , 枪Ercal :
关于随机几何图的覆盖时间。 677-689 Charilaos Efthymiou公司 , 保罗·G·斯皮拉基斯 :
随机交集图中哈密顿圈的存在性。 690-701 内迪亚科·迪米特洛夫 , C.格雷格·普拉克斯顿 :
基于图形的优惠券收集过程的最佳覆盖时间。 702-716 黛博拉·多纳托 , 斯特凡诺·莱昂纳尔迪 , Panayiotis Tsaparas公司 :
链接分析排序算法的稳定性和相似度。 717-729
并发I
达米安·普斯 :
弱互模拟的最新技术。 730-741 埃里克·巴杜埃尔 , 朱尔斯·切诺 , 古尔文·吉洛 :
Petri代数。 742-754 万·J·福克金 , 苏米特·奈恩 :
失败语义的有限基础。 755-765 乔瓦尼·孔福尔蒂 , 达米亚诺·马其顿 , 弗拉迪米罗·萨松 :
双图的空间逻辑。 766-778
加密和相关原语
马克·菲施林 :
完全不可接受的方案。 779-790 大卫·加林多 :
重新审视基于Boneh-Franklin身份的加密。 791-802 克雷格·金特里 , 祖勒菲卡·拉姆赞 :
恒定通信速率的单数据库私有信息检索。 803-815 乔瓦尼·迪·克雷塞佐 , 伊万·维斯康蒂 :
公钥模型中的并发零知识。 816-827
近似算法I
马丁·盖林 , Burkhard莫尼恩 , 安德烈亚斯·沃卡夫 :
调度无关并行机的快速组合近似算法。 828-839 安纳马里亚·科瓦奇 :
路径上的多项式时间抢占和多重着色。 840-852 卡迈勒·贾因 , 穆罕默德·塔希·哈加加伊 , 库纳尔·塔瓦尔 :
广义死锁解决问题。 853-865 米海·巴多尤 , 阿图尔·祖马 , 彼得罗·因迪克 , 克里斯蒂安·索勒 :
设施在次线性时间内的位置。 866-877
游戏
克里希南德·查特吉 , 卢卡·德·阿尔法罗 , 托马斯·汉津格 :
随机拉宾和街头游戏的复杂性。 878-890 库沙·埃特萨米 , 米哈利斯·扬纳卡基斯 :
递归马尔可夫决策过程和递归随机对策。 891-903 詹姆斯·莱尔德 :
干扰的句法控制中的决定性。 904-916 安德烈·穆拉夫斯基 , C.-H.卢克·翁 , 伊戈尔·瓦卢基维奇 :
具有基本递归和DPDA等价性的理想化算法。 917-929
近似算法II
约钦·科内曼 , 斯特凡诺·莱昂纳尔迪 , 吉多·施费尔 , 斯特凡·H·M·范·茨瓦姆 :
从原始对偶到成本分担再到反向:斯坦纳森林问题的更大LP放松。 930-942 阿伦·博罗丁 , 大卫·卡什曼 , Avner Magen公司 :
原始-对偶和局部-比率算法的性能如何?。 943-955 古斯塔夫·哈斯特 :
近似值-几乎以线性因子超过随机分配。 956-968
下限
科琳娜·帕特拉斯库 , Mihai Patrascu公司 :
关于动态位探针复杂性。 969-981 斯科特·迪尔 , 迪特尔·范·梅尔凯贝克 :
随机机器上多项式时间层次的时空下限。 982-993 阿尔卡德夫·查托帕迪耶 , 克里斯托弗·阿恩斯费尔特·汉森 :
具有少量模块化和对称门的电路的下限。 994-1005
概率
迈克尔·米斯洛夫 :
域上的离散随机变量。 1006-1017 弗兰克·范·布鲁格尔 , 克劳迪奥·赫尔米达 , 迈克尔·麦凯 , 詹姆斯·沃雷尔 :
一种可访问的行为伪测量方法。 1018-1030 尤金细辛 , 彼得·柯林斯 :
噪音很大的图灵机器。 1031-1042
近似算法III
乔治·卡拉科斯塔斯 :
顶点覆盖问题的更好近似比。 1043-1050 阿努帕姆·古普塔 , 马丁·帕尔 :
无根随机斯坦纳树。 1051-1063 Sriram V.彭马拉朱 , 拉吉夫·拉曼 :
最大着色问题的近似算法。 1064-1075
自动机与形式语言II
马丁·格罗 , 克里斯托夫·科赫 , 妮可·施韦卡特 :
流和外部内存数据查询处理的严格下限。 1076-1088 帕罗什·阿齐兹·阿卜杜拉 , 约翰·德奈克斯 , 乔尔·瓦克宁 , 詹姆斯·沃雷尔 :
基于通道机的时间自动机的可判定性和复杂性结果。 1089-1101 拉杰夫·阿鲁尔 , 维拉杰·库马尔 , P.马都苏丹 , 马赫什·维斯瓦纳坦 :
可视下推语言的一致性。 1102-1114
近似算法IV
哈立德·埃尔巴西尼 , 阿列克谢·菲什金 , 纳比尔·穆斯塔法 , 雷内·西特斯 :
欧氏群TSP的近似算法。 1115-1126 大卫·坎佩 , 乔恩·克莱恩伯格 , 埃瓦·塔尔多斯 :
社交网络扩散模型中的影响节点。 1127-1138 克里斯托夫·安布尔 :
无线网络中MST算法计算节能广播树的最优界。 1139-1150 弗里德里希·艾森布兰德 , 法布里奇奥·格兰多尼 , Gianpaolo奥里奥罗 , 马丁·斯科特拉 :
虚拟专用网络设计的新方法。 1151-1162
代数计算与通信复杂性
杰夫·福特 , 安娜·加尔 :
多方通信复杂性的Hadamard张量和下限。 1163-1175 保罗·比姆 , 托尼安·皮塔西 , 内森·塞格林德 :
Lovász-Schrijver系统的下限及其以外的多方通信复杂性。 1176-1188 道格拉斯·威克斯特伦 :
上 我 -整数环中的Ary GCD算法。 1189-1201
并发II
迈克尔·巴尔达穆斯 , 约阿希姆·帕罗 , 比约恩·维克多 :
的完全抽象编码 圆周率 -微积分与数据项。 1202-1213 穆罕默德·雷扎·穆萨维 , 米歇尔·A·雷尼尔 :
结构操作语义学中的正交扩展。 1214-1225 洛科·德·尼古拉 , 丹尼尔·戈拉 , 罗萨里奥·普格利泽 :
全球计算微积分的基本观测值。 1226-1238 乔治·德尔扎诺 , 毛里齐奥·加布里埃利 :
通过约束求解对异步过程进行组合验证。 1239-1250
字符串匹配与计算生物学
马丁·法拉赫-科尔顿 , 加德·兰道 , 苏莱曼·森克·萨赫纳尔普 , Dekel Tsur公司 :
最佳间隔种子用于更快的近似字符串匹配。 1251-1262 艾萨克·埃利亚斯 , 延斯·拉格伦 :
快速邻居加入。 1263-1274 明扬考 , 马南·桑吉 , 罗伯特·施韦勒 :
短DNA单词的随机快速设计。 1275-1286
量子复杂性
帕斯卡·科伊兰 , 文森特·内斯梅 , 娜塔莎·波特 :
西蒙问题查询复杂性的一个量子下界。 1287-1298 罗伯特·斯帕莱克 , 马里奥·塞格迪 :
所有量子对抗方法都是等价的。 1299-1311 弗雷德里克·马格尼兹(Frédéric Magniez) , 阿什温·纳亚克 :
测试群交换性的量子复杂性。 1312-1324
分析和验证
米拉·达拉·普雷达 , 罗伯托·贾科巴齐 :
通过抽象解释实现基于语义的代码混淆。 1325-1336 伯恩哈德·鲁斯 , 托马斯·斯特里彻 :
关于Hoare Logics for Higher-Order Store。 1337-1348 亚伦·R·布拉德利 , 佐哈尔·曼纳 , 亨尼·B·西普玛 :
多元排列原则。 1349-1361
几何形状和负载平衡
本特·尼尔森 :
单调多边形和矩形多边形的近似保护。 1362-1373 阿米特·库玛尔 , Yogish Sabharwal瑜伽 , 桑迪普·森 :
任意维聚类问题的线性时间算法。 1374-1385 佩特拉·贝伦布里克 , 汤姆·弗里德茨基 , 罗素·A·马丁 :
动态扩散负载平衡。 1386-1398
混凝土复杂性和代码
Jaikumar Radhakrishnan公司 , 马丁·罗特勒 , 普拉纳布·森 :
傅里叶抽样中随机基的幂:海森堡群中的隐子群问题。 1399-1411 (撤回) 关于两个有限度量之间嵌入的硬度。 1412-1423 斯蒂芬妮·维纳 , 罗纳德·沃尔夫 :
改进了局部可解码代码和私有信息检索的下限。 1424-1436
模型理论与模型检验
阿尔伯特·阿塞里亚斯 , 阿努杰·达瓦尔 , 马丁·格罗 :
井身有限结构的延伸保护。 1437-1449 特奥多尔·科纳皮克 , 达米安·尼温斯基 , 巴维尔·乌尔兹琴 , 伊戈尔·瓦卢凯维奇 :
不安全语法和恐慌自动机。 1450-1461 程莉 , 哲当 , 奥斯卡·H·伊巴拉 , 徐春燕 :
信令P系统和验证问题。 1462-1473