第26届ICALP 1999:捷克共和国布拉格
吉尔·维德曼 , 彼得·范·埃姆德·博阿斯 , 莫根斯·尼尔森 :
自动化,语言与编程,第26届国际学术讨论会,ICALP’99,捷克共和国布拉格,1999年7月11日至15日,会议记录。 计算机科学课堂讲稿 1644, 施普林格 1999 ,国际标准图书编号 3-540-66224-3
受邀会谈
米克洛斯·阿杰泰 :
生成短基问题的硬实例。 1-9 鲁卡·凯德利 :
广域计算。 10-24 凯文·康普顿 , 斯科特·德克斯特 :
密码协议的证明技术。 25-39 卡尔·克莱里 , J.格雷戈里·莫里塞特 :
低级编程语言的类型结构。 40-54 菲利佩·库克 :
用假数字进行实际计算。 55-73 N.G.de Bruijn公司 :
联想记忆模型,思维和意识的基础。 74-89 阿巴斯·艾达拉特 , 马尔科·科兹纳里 :
精确实数算法的数值积分。 90-104 哈特马尼斯 :
关于计算机科学的性质和状态的观察(主题演讲)。 105 格列泽戈兹·罗森伯格 , 阿尔托·萨洛马 :
DNA计算:新思想和新范式。 106-118 杰弗里·斯科特·维特 :
外部存储器中的联机数据结构。 119-133 渡边修(Osamu Watanabe) :
从计算学习理论到发现科学。 134-148
已投稿论文
埃里克·阿伦德 , 安德里斯·安巴尼斯 , 大卫·A·米什·巴林顿 , 萨米尔·达塔 , Huong LeThanh公司 :
有界深度算术电路:计数和闭包。 149-158 拉杰夫·阿鲁尔 , 库沙·埃特萨米 , 萨尔瓦托雷·拉托雷 , 多龙·A·贝利德 :
“模型测量”的参数时序逻辑。 159-168 拉杰夫·阿鲁尔 , 桑帕斯·坎南 , 米哈利斯·扬纳卡基斯 :
通信分层状态机。 169-178 亚历山大·安德列夫 , 尤里·巴斯卡科夫 , 安德烈亚·克莱门蒂 , 何塞·D·P·罗利姆 :
小伪随机集产生硬函数:分支程序的新紧显式下限。 179-189 马雷克·贝德纳西克 , 安德烈·博尔兹科夫斯基(Andrzej M.Borzyszkowski) :
Petri网的一般态射(扩展抽象)。 190-199 彼得·伯曼 , 马雷克·卡宾斯基 :
关于一些更紧的不近似结果(扩展摘要)。 200-209 帕特里夏·鲍耶 , 安托万·佩蒂特 :
时间自动机的分解与合成。 210-219 哈里·布尔曼 , 陶江 , 李明(音) , 保罗·M·B·维坦伊 :
不可压缩方法的新应用。 220-229 鲁卡·凯德利 , 安德鲁·戈登 , 乔治·盖利 :
移动环境的移动类型。 230-239 彼得·克洛特 :
蛋白质折叠、Levinthal悖论和快速混合马尔可夫链。 240-249 Véronique Cortier公司 , 哈拉尔德·甘津格 , 弗洛伦特·雅克马尔 , 玛格斯·维恩斯 :
同时刚性可达性的可决定碎片。 250-260 马克西姆·克罗西莫尔 , 菲利波偏头痛 , 安东尼奥·雷斯蒂沃 , 塞尔吉奥·萨莱米 :
使用反字典进行文本压缩。 261-270 阿尔弗雷多·德·桑提斯 , 乔瓦尼·迪·克雷塞佐 , 朱塞佩·佩西亚诺 :
非交互式零知识:NP的低随机性特征。 271-280 马丁·迪科尔 , 托马斯·威尔克 :
时间交替树自动机:TCTL模型检查问题的自动机理论解决方案。 281-290 是的,多迪斯 , 桑吉夫·坎纳 :
图形属性的时空权衡。 291-300 凯瑟琳·杜福尔德 , 彼得·詹卡尔 , 菲利普·施诺贝伦 :
重置P/T网的有界性。 301-310 乔斯特·恩格弗里特 , 亨德里克·扬·胡格布姆 :
双向有限状态传感器和一元二阶逻辑。 311-320 塞尔吉奥·弗莱斯卡 , 塞尔吉奥·格雷科 :
图查询的部分有序正则语言。 321-330 马库斯·弗里克 , 马丁·格罗 :
局部树分解图的一阶性质的判定。 331-340 瓦什蒂·加尔宾 :
使用格式比较过程代数等价物。 341-350 西里尔·加维尔 , 尼古拉斯·哈努塞 :
有界亏格图的紧凑路由表。 351-360 格奥尔格·戈特洛布 , 尼古拉·利昂 , 弗朗西斯科·斯卡切罗 :
计算LOGCFL证书。 361-371 罗伯托·格罗西 , 朱塞佩·F·意大利 :
在链接数据结构中维护多维密钥的有效技术。 372-381 阿尔文德·古普塔 , 达蒙·卡勒 , 托马斯·谢尔默 :
关于部分k-树的补集。 382-391 米凯尔·哈马尔 , 本特·尼尔森 :
TSP动力学变量的近似结果。 392-401 耶胡达·哈辛 , 大卫·佩莱 :
分布式概率轮询及其在比例协议中的应用。 402-411 约拉姆·赫什菲尔德 , 马克·杰拉姆 :
规范过程代数的互模拟等价性是可判定的。 412-421 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 :
可判定度量逻辑框架。 422-432 尤拉杰·赫罗姆科维奇 , 乔治·施尼特 :
拉斯维加斯的力量2。 双向有限自动机。 433-442 岩岛和雄 , 大卫·F·曼洛夫 , 宫崎骏水池 , 森田康夫 :
稳定的婚姻,不完整的名单和关系。 443-452 陶江 , 李明(音) , 保罗·M·B·维坦伊 :
Shellsort的平均案例复杂性。 453-462 金东奎(Dong Kyue Kim) , 坤秀公园 :
二维后缀树的线性时间构造。 463-472 丹尼尔·克里斯滕 :
迹幺半群中恒星问题与有限幂性质之间的联系。 473-482 丹尼尔·克里斯滕 , 杰里·马尔辛科夫斯基(Jerzy Marcinkowski) :
恒星问题领域的两项技术。 483-492 马蒂亚斯·克劳斯 , 彼得·萨维克 , 英戈·韦格纳 :
OBDD逼近与变量排序问题。 493-502 安东·库塞拉 , 理查·马 :
简单过程代数上的模拟预序。 503-512 科西莫·拉伊夫 , 比约恩·维克多 :
独奏音乐会。 513-523 马克·兰蒂尔 , 阿尼尔·马赫什瓦里 , Jörg-Rüdiger袋 :
地形上最短的各向异性路径。 524-533 阿尔托·勒皮斯托 :
词汇的局部周期性和全球周期性之间的关系。 534-543 安德烈·林加斯 , 汉斯·奥尔森 , 安娜·奥斯特林 :
进化树的有效合并、构造和维护。 544-553 马里诺·米库兰 :
归纳构造微积分中微积分的惰性代换证明系统的形式化。 554-564 科德林·M.尼奇蒂乌 , 埃里克·雷米拉 :
d维元胞自动机的领导者选举。 565-574 罗尔夫·尼德迈尔 , 彼得·罗斯马尼思 :
MaxSat的新上限。 575-584 瓦迪姆·奥尔舍夫斯基 , 维克多·Y·潘 :
多项式和有理求值与插值(使用结构化矩阵)。 585-594 拉斯穆斯·帕赫 :
具有O(1)最坏情况查找时间的静态词典中的低冗余。 595-604 蒂莫·佩奇尔 , 赫里贝特·沃尔默 :
具有广义验收准则的有限自动机。 605-614 大卫·佩莱 , 艾伦·雷谢夫 :
平均复杂度低的箭头分布式目录的变体。 615-624 约翰·鲍尔 , Hayo Thielecke先生 :
封闭式Freyd和kappa类别。 625-634 乔恩·里克 , Hayo Thielecke先生 :
键入的Exeptions和Continuations无法相互宏表达。 635-644 Jan J.M.M.Rutten先生 :
自动机、幂级数和共创:认真对待输入导数。 645-654 彼得·桑德斯 :
通过集合关联缓存访问多个序列。 655-664 Géraud塞尼泽格斯 :
T(A)=T(B)? 665-675 马里奥·塞格迪 :
多值逻辑和全息证明。 676-686 克里斯托弗·乌曼斯 :
关于最短隐含问题的复杂性和不逼近性。 687-696 克劳斯·维赫劳赫(Klaus Weihrauch) , 宁忠 :
波传播器是图灵可计算的。 697-707 Gerhard J.沃金格 :
单台机器上一致加权方差的FPTAS。 707-716 亚历山大·提斯金 :
勘误表:布尔矩阵的批量同步并行乘法。 717-718
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)