首页>外文会议>其他>Conference on Foundations of Software Technology and Theoretical Computer Science

Conference on Foundations of Software Technology and Theoretical Computer Science

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Axioms for Regular Words Extended Abstract

机译：常规词的公理扩展摘要
- 作者：Stephen L. Bloom;Zoltan Esik
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
2.Real-Time Model-Checking: Parameters Everywhere

机译：实时模型检查：到处参数
- 作者：Veronique Bruyere;Jean-Francois Raskin
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
3.Minimality Results for the Spatial Logics

机译：空间逻辑的最小结果
- 作者：D. Hirschkoff;E. Lozes;D. Sangiorgi
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
4.Tagging Makes Secrecy Decidable with Unbounded Nonces as Well

机译：标记也使保密是与无限的环绕的欺骗性
- 作者：R. Ramanujam;S. P. Suresh
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
5.Comparing Sequences with Segment Rearrangements

机译：将序列与分段重排进行比较
- 作者：Funda Ergun;S. Muthukrishnan;S. Cenk Sahinalp
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
6.The Macro Tree Transducer Hierarchy Collapses for Functions of Linear Size Increase

机译：宏树换能器层次结构折叠用于线性尺寸增加的功能
- 作者：Sebastian Maneth
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
7.On Logically Defined Recognizable Tree Languages

机译：在逻辑上定义的可识别树语语言上
- 作者：Zoltan Esik;Pascal Weil
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
8.An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case

机译：用于计算线性案例的箭头德布价格的改进近似方案
- 作者：Nikhil R. Devanur;Vijay V. Vazirani
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
9.Model Checking and Satisfiability for Sabotage Modal Logic

机译：破坏模型逻辑的模型检查和可靠性
- 作者：Christof Loding;Philipp Rohde
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
10.Distance-Preserving Approximations of Polygonal Paths

机译：多边形路径的远程保持近似
- 作者：Joachim Gudmundsson;Giri Narasimhan;Michiel Smid
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
11.The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata

机译：逻辑和高阶推动自动机方面的无限图表的小学层次结构
- 作者：Arnaud Carayol;Stefan Wohrle
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
12.Constructions of Sparse Asymmetric Connectors Extended Abstract

机译：稀疏非对称连接器的构造扩展摘要
- 作者：Andreas Baltz;Gerold Jager;Anand Srivastav
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
13.1-Bounded TWA Cannot Be Determinized

机译：1界TWA不能确定
- 作者：Mikolaj Bojanczyk
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
14.Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents

机译：决定与指数中的Diffie-Hellman指数和产品协议的安全性
- 作者：Yannick Chevalier;Ralf Kusters;Michael Rusinowitch;Mathieu Turuani
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
15.Reasoning about Infinite State Systems Using Boolean Methods

机译：使用Boolean方法推理无限状态系统
- 作者：Randal E. Bryant
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
16.Distributed Games

机译：分布式游戏
- 作者：Swarup Mohalik;Igor Walukiewicz
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
17.On the Greedy Superstring Conjecture

机译：在贪婪的超级猜想上
- 作者：Maik Weinard;Georg Schnitger
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
18.Zigzag Products, Expander Constructions, Connections, and Applications

机译：Zigzag产品，扩展器结构，连接和应用
- 作者：Avi Wigderson
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
19.An Equational Theory for Transactions

机译：交易实践理论
- 作者：Andrew P. Black;Vincent Cremet;Rachid Guerraoui;Martin Odersky
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
20.Subtyping Constraints in Quasi-lattices

机译：准格子中的亚型限制
- 作者：Emmanuel Coquery;Francois Fages
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
21.On the Covering Steiner Problem

机译：在覆盖施泰纳问题
- 作者：Anupam Gupta;Aravind Srinivasan
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
22.Efficient Algorithms for Abelian Group Isomorphism and Related Problems

机译：高雅群体同构和相关问题的高效算法
- 作者：T. Kavitha
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
23.Stringent Relativization

机译：严格的依赖化
- 作者：Jin-Yi Cai;Osamu Watanabe
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
24.Word Equations over Graph Products

机译：在图表产品上的字形方程
- 作者：Volker Diekert;Markus Lohrey
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
25.Randomized Time-Space Tradeoffs for Directed Graph Connectivity

机译：用于定向图连接的随机时间空间权衡
- 作者：Parikshit Gopalan;Richard J. Lipton;Aranyak Mehta
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
26.Component-Based Construction of Deadlock-Free Systems

机译：基于组件的抵抗系统构建
- 作者：Gregor Gossler;Joseph Sifakis
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
27.Quasi-polynomial Time Approximation Algorithm for Low-Degree Minimum-Cost Steiner Trees

机译：低度最小成本施坦拌续树的准多项式时间近似算法
- 作者：Jochen Konemann;R. Ravi
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
28.Reachability Analysis of Process Rewrite Systems

机译：过程重写系统的可达性分析
- 作者：Ahmed Bouajjani;Tayssir Touili
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
29.Algorithms for Non-uniform Size Data Placement on Parallel Disks

机译：与并联磁盘上的非均匀大小数据放置算法
- 作者：Srinivas Kashyap;Samir Khuller
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
30.Joint Separation of Geometric Clusters and the Extreme Irregularities of Regular Polyhedra

机译：几何簇的联合分离和普通多面体的极端不规则性
- 作者：Sumanta Guha
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
31.Pushdown Games with Unboundedness and Regular Conditions

机译：用无界性和定期条件推动游戏
- 作者：Alexis-Julien Bouquet;Oliver Serre;Igor Walukiewicz
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
32.Maintenance of Multidimensional Histograms

机译：维护多维直方图
- 作者：S. Muthukrishnan;Martin Strauss
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
33.Merging and Sorting By Strip Moves

机译：通过条带移动合并和分类
- 作者：Meena Mahajan;Raghavan Rama;Venkatesh Raman;S. Vijayakumar
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
34.Quantum and Classical Complexity Classes: Separations, Collapses, and Closure Properties

机译：量子和古典复杂性等级：分离，折叠和封闭性能
- 作者：Holger Spakowski;Mayur Thakur;Rahul Tripathi
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
35.Constructions of Sparse Asymmetric Connectors

机译：稀疏不对称连接器的结构
- 作者：Andreas Baltz;Gerold Jager;Anand Srivastav
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
36.A Cryptographically Sound Security Proof of the Needham-Schroeder-Lowe Public-Key Protocol

机译：CreateCharam-Schroeder-Lowe公钥协议的加密声音安全证明
- 作者：Michael Backes;Birgit Pfitzmann
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
37.A Separation Logic for Resource Distribution Extended Abstract

机译：资源分布的分离逻辑扩展摘要
- 作者：Nicolas Biri;Didier Galmiche
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
38.Moderately Hard Functions: From Complexity to Spam Fighting

机译：中等难以努力：从复杂到垃圾邮件战斗
- 作者：Moni Naor
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年
39.Analysis and Experimental Evaluation of a Simple Algorithm for Collaborative Filtering in Planted Partition Models

机译：种植分区模型中协同滤波简单算法的分析与实验评价
- 作者：Devdatt Dubhashi;Luigi Laura;Alessandro Panconesi
- 会议名称：《Conference on Foundations of Software Technology and Theoretical Computer Science》 | 2003年