首页>外文会议>其他>International Colloquium on Automata, Languages, and Programming

International Colloquium on Automata, Languages, and Programming

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Definitions and Bounds for Self-Healing Key Distribution Schemes

机译：自我修复密钥分配方案的定义和界限
- 作者：Carlo Blundo;Paolo DArco;Alfredo De Santis
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2004年
2.Group Spreading: A Protocol for Provably Secure Distributed Name Service

机译：集团传播：可释放的安全分布式名称服务的协议
- 作者：Baruch Awerbuch;Christian Scheideler
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2004年
3.Interactive Observability in Ludics

机译：思维的互动可观察性
- 作者：Claudia Faggian
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2004年
4.A Polynomial Quantum Query Lower Bound for the Set Equality Problem

机译：多项式量子查询集合平等问题的下限
- 作者：Gatis Midrijanis
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2004年
5.Exponential Lower Bounds for the Running Time of DPLL Algorithms on Satisfiable Formulas

机译：DPLL算法运行时间对可满足公式的指数下限
- 作者：Michael Alekhnovich;Edward A. Hirsch;Dmitry Itsykson
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2004年
6.Efficiently Computing Succinct Trade-Off Curves

机译：有效计算简洁的权衡曲线
- 作者：Sergei Vassilvitskii;Mihalis Yannakakis
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2004年
7.Projecting Games on Hypercoherences

机译：在超施加工中投射游戏
- 作者：Pierre Boudes
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2004年
8.Hadamard Tensors and Lower Bounds on Multiparty Communication Complexity

机译：Hadamard Tensors对多群通信复杂性的下限
- 作者：Jeff Ford;Anna Gal
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
9.An Optimal Bound for the MST Algorithm to Compute Energy Efficient Broadcast Trees in Wireless Networks

机译：MST算法在无线网络中计算节能广播树的最佳界限
- 作者：Christoph Ambuehl
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
10.Spatial Logics for Bigraphs

机译：Bigraphs的空间逻辑
- 作者：Giovanni Conforti;Damiano Macedonio;Vladimiro Sassone
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
11.Simulated Annealing Beats Metropolis in Combinatorial Optimization

机译：模拟退火在组合优化中击败了大都市
- 作者：Ingo Wegener
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
12.Password-Based Encryption Analyzed

机译：基于密码的加密分析
- 作者：Martin Abadi;Bogdan Warinschi
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
13.Optimal Spaced Seeds for Faster Approximate String Matching

机译：最佳间隔的种子，用于更快的近似串匹配
- 作者：Martin Farach-Colton;Gad M. Landau;S. Cenk Sahinalp;Dekel Tsur
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
14.Single-Key AIL-MACs from Any FIL-MAC

机译：来自任何文件Mac的单键AIL-MAC
- 作者：Ueli Maurer;Johan Sjoedin
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
15.Deterministic Constructions of Approximate Distance Oracles and Spanners

机译：近似距离畸胎和扳手的确定性结构
- 作者：Liam Roditty;Mikkel Thorup;Uri Zwick
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
16.Basing Cryptographic Protocols on Tamper-Evident Seals

机译：基于防篡改密封的加密协议
- 作者：Tal Moran;Moni Naor
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
17.Compositional Verification of Asynchronous Processes via Constraint Solving

机译：通过约束求解异步过程的组成验证
- 作者：Giorgio Delzanno;Maurizio Gabbrielli
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
18.Groupoids That Recognize Only Regular Languages

机译：Galoids只认识常规语言
- 作者：Martin Beaudry;Francois Lemieux;Denis Therien
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
19.The Efficiency and Fairness of a Fixed Budget Resource Allocation Game

机译：固定预算资源分配游戏的效率和公平
- 作者：Li Zhang
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
20.Lower Bounds for Lovasz-Schrijver Systems and Beyond Follow from Multiparty Communication Complexity

机译：LOVASZ-SCHRIJVER系统的下限及超越多群通信复杂性的遵循
- 作者：Paul Beame;Toniann Pitassi;Nathan Segerlind
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
21.Classification of Boolean Functions of 6 Variables or Less with Respect to Some Cryptographic Properties

机译：关于一些加密属性的6个变量或更少的布尔函数的分类
- 作者：An Bracken;Yuri Borissov;Svetla Nikova;Bart Preneel
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
22.Discrete Random Variables over Domains

机译：在域上的离散随机变量
- 作者：M.W. Mislove
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
23.Noisy Turing Machines

机译：嘈杂的图灵机
- 作者：Eugene Asarin;Pieter Collins
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
24.Approximating MAX kCSP - Outperforming a Random Assignment with Almost a Linear Factor

机译：近似max kcsp - 优于几乎线性因子的随机分配
- 作者：Gustav Hast
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
25.The Complexity of Stochastic Rabin and Streett Games

机译：随机拉宾和街道游戏的复杂性
- 作者：Krishnendu Chatterjee;Luca de Alfaro;Thomas A. Henzinger
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
26.Petri Algebras

机译：Petri代数
- 作者：Eric Badouel;Jules Chenou;Goulven Guillou
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
27.From Primal-Dual to Cost Shares and Back: A Stronger LP Relaxation for the Steiner Forest Problem

机译：从原始双向到成本股票和返回：施泰纳林问题的LP放松更强
- 作者：Jochen Koenemann;Stefano Leonardi;Guido Schaefer;Stefan van Zwam
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
28.Stability and Similarity of Link Analysis Ranking Algorithms

机译：链路分析排名算法的稳定性和相似性
- 作者：Debora Donato;Stefano Leonardi;Panayiotis Tsaparas
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
29.Append-Only Signatures

机译：附加签名
- 作者：Eike Kiltz;Anton Mityagin;Saurabh Panjwani;Barath Raghavan
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
- algebraic signatures;
- append-only signatures;
- hierarchical identity-based signatures;
30.On the Power of Random Bases in Fourier Sampling: Hidden Subgroup Problem in the Heisenberg Group

机译：关于傅里叶采样中随机基础的力量：Heisenberg集团隐藏的子组问题
- 作者：Jaikumar Radhakrishnan;Martin Roetteler;Pranab Sen
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
31.Improved Lower Bounds for Locally Decodable Codes and Private Information Retrieval

机译：用于当地可解码代码和私人信息检索的较低界限
- 作者：Stephanie Wehner;Ronald de Wolf
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
32.Holographic Circuits

机译：全息电路
- 作者：Leslie G. Valiant
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
33.Braess’s Paradox, Fibonacci Numbers, and Exponential Inapproximability

机译：Braess的悖论，斐波纳契数和指数不可估量
- 作者：Henry Lin;Tim Roughgarden;Ea Tardos;Asher Walkover
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
34.A Finite Basis for Failure Semantics

机译：失败语义的有限基础
- 作者：Wan Fokkink;Sumit Nain
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
35.Matematicheskii Fakultet, Syktyvkar State University, Syktyvkar, Russia

机译：数学系，Syktyvkar大学文章，Syktyvkar，俄罗斯
- 作者：Qian-Ping Gu;Hisao Tamaki
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
36.A Quantum Lower Bound for the Query Complexity of Simon's Problem

机译：Simon问题查询复杂性的量子下限
- 作者：Pascal Koiran;Vincent Nesme;Natacha Portier
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
37.Basic Observables for a Calculus for Global Computing

机译：全球计算微积分基本可观察
- 作者：Rocco De Nicola;Daniele Gorla;Rosario Pugliese
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
38.Optimal Cover Time for a Graph-Based Coupon Collector Process

机译：基于图形的优惠券收集器进程的最佳覆盖时间
- 作者：Nedialko B. Dimitrov;C. Greg Plaxton
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
39.Influential Nodes in a Diffusion Model for Social Networks

机译：社交网络扩散模型中有影响的节点
- 作者：David Kempe;Jon Kleinberg;Eva Tardos
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
40.Reordering Buffer Management for Non-uniform Cost Models

机译：用于非统一成本模型的重新排序缓冲管理
- 作者：Matthias Englert;Matthias Westermann
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
41.Time-Space Lower Bounds for the Polynomial-Time Hierarchy on Randomized Machines

机译：随机机器上的多项式层次结构的时间空间下限
- 作者：Scott Diehl;Dieter van Melkebeek
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
42.Approximation Algorithms for Euclidean Group TSP

机译：欧几里德组TSP的近似算法
- 作者：Khaled Elbassioni;Aleksei V. Fishkin;Nabil H. Mustafa;Rene Sitters
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
43.Towards Optimal Multiple Selection

机译：朝最佳多选择
- 作者：Kanela Kaligosi;Kurt Mehlhorn;J. Ian Munro;Peter Sanders
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
44.Tight Lower Bounds for Query Processing on Streaming and External Memory Data

机译：用于流和外部存储器数据的查询处理的紧密下限
- 作者：Martin Grohe;Christoph Koch;Nicole Schweikardt
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
45.Approximate Guarding of Monotone and Rectilinear Polygons

机译：单调和直线多边形的近似保护
- 作者：Bengt J. Nilsson
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
46.Probabilistic Polynomial-Time Semantics for a Protocol Security Logic

机译：协议安全逻辑的概率多项式语义
- 作者：Anupam Datta;Ante Derek;John C. Mitchell;Vitaly Shmatikov;Mathieu Turuani
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
47.Nash Equilibria, the Price of Anarchy and the Fully Mixed Nash Equilibrium Conjecture

机译：纳什均衡，无政府状态的价格和完全混合的纳什均衡猜想
- 作者：Martin Gairing;Thomas Luecking;Burkhard Monien;Karsten Tiemann
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
48.Worst Case Optimal Union-Intersection Expression Evaluation

机译：最糟糕的案例最佳联合 - 交叉口表达式评估
- 作者：Ehsan Chiniforooshan;Arash Farzan;Mehdi Mirzazadeh
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
49.A Tight Linear Bound on the Neighborhood of Inverse Cellular Automata

机译：逆蜂窝自动机附近的紧密线性
- 作者：Eugen Czeizler;Jarkko Kari
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
50.Cache-A ware and Cache-Oblivious Adaptive Sorting

机译：缓存 - 洁具和缓存令人沮丧的自适应排序
- 作者：Gerth Stolting Brodal;Rolf Fagerberg;Gabriel Moruz
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
51.LCA Queries in Directed Acyclic Graphs

机译：LCA在定向非循环图中查询
- 作者：Miroslaw Kowaluk;Andrzej Lingas
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
52.A Gentle Introduction to Semantic Subtyping

机译：一种温和的语义亚型介绍
- 作者：Giuseppe Castagna;Alain Frisch
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
53.Decidability in Syntactic Control of Interference

机译：干扰句法控制中的可解除性
- 作者：J. Laird
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
54.On the Hardness of Embeddings Between Two Finite Metrics

机译：论两个有限度量的嵌入的硬度
- 作者：Matthew Cary;Atri Rudra;Ashish Sabharwal
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
55.Restricted Two-Variable FO + MOD Sentences, Circuits and Communication Complexity

机译：限制两个变量fo + mod句子，电路和通信复杂性
- 作者：Pascal Tesson;Denis Therien
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
56.Lower Bounds for Circuits with Few Modular and Symmetric Gates

机译：具有少数模块化和对称栅极电路的界限
- 作者：Arkadev Chattopadhyay;Kristoffer Arnsfelt Hansen
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
57.Label-Guided Graph Exploration by a Finite Automaton

机译：有限自动机的标签引导图探索
- 作者：Reuven Cohen;Pierre Fraigniaud;David Ilcinkas;Amos Korman;David Peleg
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
58.NFAs With and Without ε-Transitions

机译：nfas，没有ε-过渡
- 作者：Juraj Hromkovic;Georg Schnitger
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
59.Solvability of a System of Bivariate Polynomial Equations over a Finite Field

机译：在有限域上二变相多项式方程系统的可解
- 作者：Neeraj Kayal
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
60.Approximation Algorithms for the Max-coloring Problem

机译：最大色问题的近似算法
- 作者：Sriram V. Pemmaraju;Rajiv Raman
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
61.Decidability and Complexity Results for Timed Automata via Channel Machines

机译：通过频道机器的定时自动机的可解除性和复杂性结果
- 作者：Parosh Aziz Abdulla;Johann Deneux;Joeel Ouaknine;James Worrell
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
62.Hierarchical Group Signatures

机译：分层组签名
- 作者：Marten Trolin;Douglas Wikstroem
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
63.Single-Prover Concurrent Zero Knowledge in Almost Constant Rounds

机译：单百货商艺复准者在几乎恒定的圆形中并行零知识
- 作者：Giuseppe Persiano;Ivan Visconti
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
64.Completely Non-malleable Schemes

机译：完全不可助长的方案
- 作者：Marc Fischlin
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
65.Optimal Branch-Decomposition of Planar Graphs in O(n~3) Time

机译：O（n〜3）时间的Planar图形最佳分支分解
- 作者：Qian-Ping Gu;Hisao Tamaki
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
66.On Steganographic Chosen Covertext Security

机译：关于隐士所选择的封面安全性
- 作者：Nicholas Hopper
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
67.A Better Approximation Ratio for the Vertex Cover Problem

机译：顶点覆盖问题的更好近似比
- 作者：George Karakostas
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
68.About Hoare Logics for Higher-Order Store

机译：关于高级商店的逻辑
- 作者：Bernhard Reus;Thomas Streicher
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
69.Stochastic Steiner Trees Without a Root

机译：没有根的随机静脉树
- 作者：Anupam Gupta;Martin Pal
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
70.Optimistic Asynchronous Atomic Broadcast

机译：乐观的异步原子广播
- 作者：Klaus Kursawe;Victor Shoup
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
71.Bounds on the Efficiency of 'Black-Box' Commitment Schemes

机译：“黑匣子承诺计划效率”的界限
- 作者：Omer Horvitz;Jonathan Katz
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
72.Signaling P Systems and Verification Problems

机译：信令P系统和验证问题
- 作者：Cheng Li;Zhe Dang;Oscar H. Ibarra;Hsu-Chun Yen
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
73.Bounds on the Efficiency of 'Black-Box' Commitment Schemes

机译：“黑匣子”承诺方案效率的界限
- 作者：Omer Horvitz;Jonathan Katz
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
74.Recursive Markov Decision Processes and Recursive Stochastic Games

机译：递归马尔可夫决策过程和递归随机游戏
- 作者：Kousha Etessami;Mihalis Yannakakis
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
75.An Accessible Approach to Behavioural Pseudometrics With an Application to Probabilistic Systems

机译：具有应用于概率系统的行为假组合学的可访问方法
- 作者：Franck van Breugel;Claudio Hermida;Michael Makkai;James Worrell
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
76.Braess's Paradox, Fibonacci Numbers, and Exponential Inapproximability

机译：Braess的悖论，斐波纳契数和指数不可估量
- 作者：Henry Lin;Tim Roughgarden;Eva Tardos;Asher Walkover
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
77.Measure and Conquer: Domination - A Case Study

机译：衡量和征服：统治 - 一个案例研究
- 作者：Fedor V. Fomin;Fabrizio Grandoni;Dieter Kratsch
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
- algorithms and data structures;
- exponential-time exact algorithm;
- NP-hard problem;
- dominating set;
78.Congruences for Visibly Pushdown Languages

机译：为明显的下推语言同时
- 作者：Rajeev Alur;Viraj Kumar;P. Madhusudan;Mahesh Viswanathan
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
79.Dynamic Diffusion Load Balancing

机译：动态扩散负载平衡
- 作者：Petra Berenbrink;Tom Friedetzky;Russell Martin
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
80.Online Interval Coloring and Variants

机译：在线间隔着色和变体
- 作者：Leah Epstein;Meital Levy
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
81.Replacement Paths and k Simple Shortest Paths in Unweighted Directed Graphs

机译：未加权定向图中的替换路径和K简单的最短路径
- 作者：Liam Roditty;Uri Zwick
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
82.Balanced Allocation and Dictionaries with Tightly Packed Constant Size Bins

机译：平衡分配和词典，具有紧密持续的恒定箱
- 作者：Martin Dietzfelbinger;Christoph Weidling
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
83.New Approaches for Virtual Private Network Design

机译：虚拟专用网络设计的新方法
- 作者：Friedrich Eisenbrand;Fabrizio Grandoni;Gianpaolo Oriolo;Martin Skutella
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
84.All Quantum Adversary Methods Are Equivalent

机译：所有量子逆方法都是等同的
- 作者：Robert Spalek;Mario Szegedy
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
85.Combining Intruder Theories

机译：结合入侵者理论
- 作者：Yannick Chevalier;Michael Rusinowitch
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
86.Idealized Algol with Ground Recursion, and DPDA Equivalence

机译：具有地面递归的理想化藻类和DPDA等价
- 作者：A.S. Murawski;C.-H.L. Ong;I. Walukiewicz
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
87.Facility Location in Sublinear Time

机译：设施位置在Sublinear Time
- 作者：Mihai Badoiu;Artur Czumaj;Piotr Indyk;Christian Sohler
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
88.On Dynamic Bit-Probe Complexity

机译：动态位探测复杂性
- 作者：Corina E. Patrascu;Mihai Patrascu
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
89.On the l-Ary GCD-Algorithm in Rings of Integers

机译：关于整数环中的L-ARY GCD算法
- 作者：Douglas Wikstroem
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
90.Orthogonal Extensions in Structural Operational Semantics

机译：结构操作语义中的正交扩展
- 作者：MohammadReza Mousavi;Michel A. Reniers
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
91.Up-to Techniques for Weak Bisimulation

机译：弱分析弱技巧
- 作者：Damien Pous
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
92.A Faster Combinatorial Approximation Algorithm for Scheduling Unrelated Parallel Machines

机译：一种更快的组合近似算法，用于调度无关的并联机器
- 作者：Martin Gairing;Burkhard Monien;Andreas Woclaw
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
93.Optimal In-place Sorting of Vectors and Records

机译：最佳的地理排序向量和记录
- 作者：Gianni Franceschini;Roberto Grossi
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
94.Semantic-Based Code Obfuscation by Abstract Interpretation

机译：抽象解释基于语义的代码混淆
- 作者：Mila Dalla Preda;Roberto Giacobazzi
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
- code obfuscation;
- abstract interpretation;
- program transformation;
- semantics;
95.On the Wake-Up Problem in Radio Networks

机译：关于无线电网络中的唤醒问题
- 作者：Bogdan S. Chlebus;Leszek Gasieniec;Dariusz R. Kowalski;Tomasz Radzik
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
96.An O{top}～(m{sup}2n) Randomized Algorithm to Compute a Minimum Cycle Basis of a Directed Graph

机译：一个{top}〜（m {sup} 2n）随机算法计算定向图的最小循环
- 作者：Telikepalli Kavitha
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
97.Boneh-Franklin Identity Based Encryption Revisited

机译：基于Boneh-Franklin身份的加密重新审视
- 作者：David Galindo
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
- provable security;
- identity-based encryption;
- exact security;
- bilinear maps;
98.How Well Can Primal-Dual and Local-Ratio Algorithms Perform?

机译：Primal-Dual和局部比率算法如何进行？
- 作者：Allan Borodin;David Cashman;Avner Magen
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
99.On the Existence of Hamiltonian Cycles in Random Intersection Graphs

机译：在随机交叉图中存在哈密顿循环的存在
- 作者：Charilaos Efthymiou;Paul G. Spirakis
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年
100.Preservation Under Extensions on Well-Behaved Finite Structures

机译：在良好的有限结构上的扩展下保存
- 作者：Albert Atserias;Anuj Dawar;Martin Grohe
- 会议名称：《International Colloquium on Automata, Languages, and Programming》 | 2005年