×
帕里托什·K·潘迪亚。（编辑）;拉达克里什南，贾库马尔（编辑）

FST TCS 2003：软件技术和理论计算机科学基础。第23届会议，印度孟买，2003年12月15日至17日。诉讼程序。 （英语） Zbl 1029.00064号

计算机科学课堂讲稿. 2914. 柏林：斯普林格。xiii，第446页（2003年）。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。上一次会议已经过审查（参见Zbl 1014.00021号).
索引文章：
迈克尔·巴克斯（Michael Backes）；比吉特·普菲茨曼，Needham-Schoreder-Lowe公钥协议的密码安全证明。，1-12 [Zbl 1205.94073号]
安德烈亚斯·巴尔茨；盖罗德·贾格尔；阿南德·斯利瓦斯塔夫，稀疏非对称连接器的构造（扩展摘要），13-22[Zbl 1205.68026号]
尼古拉斯·比里；迪迪埃·加米歇，资源分配的分离逻辑（扩展抽象），23-37[Zbl 1205.03043号]
安德鲁·布莱克（Andrew P.Black）。；文森特·克雷米特；拉奇，盖拉维；马丁·奥德斯基，交易的等式理论。，38-49 [Zbl 1205.68120号]
斯蒂芬·L·布鲁姆。；佐尔坦·埃西克，常规单词的公理（扩展抽象），50-61[Zbl 1205.68192号]
Mikołaj Bojañczyk，无法确定1-界TWA。，62-73 [Zbl 1205.68193号]
艾哈迈德·博阿贾尼；泰瑟·图利过程重写系统的可达性分析。，74-87 [Zbl 1205.68183号]
花束，亚历克西斯-朱利安；奥利弗·塞尔；伊戈尔·瓦卢基维奇，具有无限性和规则条件的下推游戏。，88-99 [Zbl 1205.68194号]
布鲁埃、维罗尼克；Jean-François拉斯金，实时模型检查：到处都是参数。，100-111 [Zbl 1205.68219号]
Carayol，阿诺；斯特凡·沃尔尔，无穷图在逻辑和高阶下推自动机方面的Caucal层次。，112-123 [Zbl 1205.03022号]
亚尼克骑士；基斯特，拉尔夫；米夏·鲁西诺维奇；马修·图鲁阿尼，用Diffie-Hellman指数和指数乘积确定协议的安全性。，124-135 [Zbl 1205.94078号]
艾曼纽尔·科奎尔；弗朗索瓦·法赫斯，拟参数中的子类型约束。，第136页至第148页[Zbl 1205.68121号]
尼基尔·德瓦努尔（Nikhil R.Devanur）。；维杰·V·瓦齐拉尼。，一个改进的近似方案，用于计算线性情况下的箭头-德布雷价格。，149-155 [Zbl 1205.91109号]
沃尔克·迪克特；马库斯·洛伊，图乘积上的单词方程式。，156-167 [兹比尔1188.20066]
德夫达特·杜巴希；劳拉，路易吉；亚历山德罗·潘科内西，种植分区模型中协同过滤简单算法的分析和实验评估（扩展摘要），168-182[Zbl 1205.68259号]
埃尔根，芬达；Muthukrishnan，S。；萨赫纳尔普，S.Cenk，将序列与段重排进行比较。，183-194 [Zbl 1205.68524号]
佐尔坦埃西克；帕斯卡尔·威尔，在逻辑定义的可识别树语言上。，195-207 [Zbl 1196.68149号]
帕里克希特·戈帕兰；理查德·利普顿（Richard J.Lipton）。；阿兰亚克·梅塔，有向图连通性的随机时空权衡。，208-216 [Zbl 1205.68506号]
约阿希姆·古德蒙德松；Giri Narasimhan；米歇尔·史密斯，多边形路径的距离保护近似。，217-228 [Zbl 1205.68465号]
苏门答腊州古哈，几何簇的联合分离和规则多面体的极端不规则性。，229-243 [Zbl 1205.68466号]
阿努帕姆古普塔；阿拉文·斯里尼瓦桑，关于覆盖斯坦纳问题。，244-251 [Zbl 1205.68513号]
Hirschkoff，D。；爱沙尼亚州洛兹。；Sangiorgi博士。，空间逻辑的最小结果。，252-264 [Zbl 1205.03046号]
斯里尼瓦斯·卡西亚普；萨米尔·库勒，并行磁盘上非均匀大小数据放置的算法。，265-276 [Zbl 1205.68145号]
T·卡维塔。阿贝尔群同构及相关问题的有效算法。，277-288 [Zbl 1205.68521号]
约琴·Könemann；拉维，R。，低阶最小代价Steiner树的拟多项式时间近似算法。，289-301 [Zbl 1205.68515号]
克里斯托夫·Löding；菲利普·罗德破坏模态逻辑的模型检查和可满足性。，302-313 [Zbl 1205.68222号]
Meena Mahajan；拉加万·拉玛；Raman，Venkatesh；维贾亚库马尔，S。，按条带移动合并和排序。，314-325 [Zbl 1205.68137号]
塞巴斯蒂安·马内思，宏树换能器层次结构因线性尺寸增加而崩溃。，326-337 [Zbl 1205.68208号]
莫哈利，斯瓦鲁普；伊戈尔·瓦卢基维奇、分布式游戏。，338-351 [Zbl 1205.68089号]
Muthukrishnan，S。；马丁·施特劳斯，维护多维直方图。，352-362 [Zbl 1205.68132号]
拉马努贾姆，R。；苏雷什，S.P。，标记使保密性也可以通过无界的nonce来决定。，363-374 [Zbl 1205.94097号]
霍尔格·斯帕科夫斯基；马尤尔·塔库尔；拉胡尔·特里帕西，量子和经典复杂性类：分离、折叠和闭包属性。，375-386 [Zbl 1205.68166号]
梅克·维纳德；格奥尔格·施尼格尔，关于贪婪超弦猜想。，387-398[Zbl 1205.68528号]
Randal E.布莱恩特。，使用布尔方法推理无限状态系统。，399-407 [Zbl 1205.03044号]
蔡金毅；渡边，乌萨木，严格的相对化。，408-419 [Zbl 1205.68163号]
格雷戈·戈斯勒（Gregor Gossler）；约瑟夫·西法基斯，基于组件构建无死锁系统（扩展摘要），420-433[Zbl 1205.68245号]
莫尼·纳尔，中等难度的功能：从复杂性到反垃圾邮件。，434-442 [Zbl 1205.94093号]

引用于三评论

MSC公司：

00B25型 杂项特定利益的会议记录
68-06 与计算机科学有关的会议记录、会议、收藏等
68号30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

FST TCS 2003;软件技术基础;理论计算机科学;孟买（印度）

引文：

Zbl 1014.00021号
PDF格式BibTeX公司 XML格式引用
\textit{P.K.Pandya}（编辑）和\textit{J.Radhakrishnan}（主编），FST TCS 2003：软件技术和理论计算机科学基础。第23届会议，印度孟买，2003年12月15-17日。诉讼程序。柏林：施普林格（2003年；Zbl 1029.00064）
全文： 内政部 链接