首页>外文会议>International colloquium on automata, languages and programming

International colloquium on automata, languages and programming

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

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Algorithms, Networks, and Social Phenomena

机译：算法，网络和社会现象
- 作者：Jon Kleinberg
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
- social networks;
- random graphs;
- contagion;
2.Recent Advances for a Classical Scheduling Problem

机译：经典调度问题的最新进展
- 作者：Susanne Albers
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
3.Formalizing and Reasoning about Quality

机译：形式化与质量推理
- 作者：Shaull Almagor;Udi Boker;Orna Kupferman
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
4.A Guided Tour in Random Intersection Graphs

机译：随机相交图的导览
- 作者：Paul G. Spirakis;Sotiris Nikoletseas;Christoforos Raptopoulos
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
5.To Be Uncertain Is Uncomfortable, But to Be Certain Is Ridiculous

机译：不确定是不舒服，但是确定是荒谬的
- 作者：Peter Widmayer
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
6.Decision Problems for Additive Regular Functions

机译：可加正则函数的决策问题
- 作者：Rajeev Alur;Mukund Raghothaman
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
7.Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs

机译：超越差异隐私：概率程序之间f差异的合成定理和关系逻辑
- 作者：Gilles Barthe;Federico Olmedo
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
8.A Maximal Entropy Stochastic Process for a Timed Automaton

机译：定时自动机的最大熵随机过程
- 作者：Nicolas Basset
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
9.Complexity of Two-Variable Logic on Finite Trees

机译：有限树上二变量逻辑的复杂性
- 作者：Saguy Benaim;Michael Benedikt;Witold Charatonik;Emanuel Kieronski;Rastislav Lenhardt;Filip Mazowiecki;James Worrell
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
10.Nondeterminism in the Presence of a Diverse or Unknown Future

机译：存在多样或未知未来的不确定性
- 作者：Udi Boker;Denis Kuperberg;Orna Kupferman;Michal Skrzypczak
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
11.Coalgebraic Announcement Logics

机译：Coalgebraic公告逻辑
- 作者：Facundo Carreiro;Daniel Gorin;Lutz Schroeder
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
12.Self-shuffling Words

机译：自我改组的词
- 作者：Emilie Charlier;Teturo Kamae;Svetlana Puzynina;Luca Q. Zamboni
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
13.Block-Sorted Quantified Conjunctive Queries

机译：块排序量化联合查询
- 作者：Hubie Chen;Daniel Marx
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
14.From Security Protocols to Pushdown Automata

机译：从安全协议到下推自动机
- 作者：Remy Chretien;Veronique Cortier;Stephanie Delaune
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
15.Efficient Separability of Regular Languages by Subsequences and Suffixes

机译：通过子序列和后缀有效区分常规语言
- 作者：Wojciech Czerwinski;Wim Martens;Tomas Masopust
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
16.On the Complexity of Verifying Regular Properties on Flat Counter Systems

机译：平面计数器系统中检验常规属性的复杂性
- 作者：Stephane Demri;Amit Kumar Dhar;Arnaud Sangnier
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
17.Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

机译：通信自动机中的多方兼容性：全局会话类型的表征和综合
- 作者：Pierre-Malo Denielou;Nobuko Yoshida
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
18.Component Reconfiguration in the Presence of Conflicts

机译：存在冲突时重新配置组件
- 作者：Roberto Di Cosmo;Jacopo Mauro;Stefano Zacchiroli;Gianluigi Zavattaro
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
19.Stochastic Context-Free Grammars, Regular Languages, and Newton's Method

机译：随机上下文无关文法，常规语言和牛顿方法
- 作者：Kousha Etessami;Alistair Stewart;Mihalis Yannakakis
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
20.Reachability in Two-Clock Timed Automata Is PSPACE-Complete

机译：两时钟定时自动机的可达性是PSPACE完整的
- 作者：John Fearnley;Marcin Jurdzinski
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
21.Ramsey Goes Visibly Pushdown

机译：拉姆西明显下推
- 作者：Oliver Friedmann;Felix Klaedtke;Martin Lange
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
22.Checking Equality and Regularity for Normed BPA with Silent Moves

机译：用静默动作检查规范的BPA的均等性和规律性
- 作者：Yuxi Fu
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
23.FO Model Checking of Interval Graphs

机译：区间图的FO模型检查
- 作者：Robert Ganian;Petr Hlineny;Daniel Kral;Jan Obdrzalek;Jarett Schwartz;Jakub Teska
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
- FO model checking;
- parameterized complexity;
- interval graph;
- clique-width;
24.Strategy Composition in Compositional Games

机译：组合游戏中的策略组合
- 作者：Marcus Gelderie
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
25.Asynchronous Games over Tree Architectures

机译：树结构上的异步游戏
- 作者：Blaise Genest;Hugo Gimbert;Anca Muscholl;Igor Walukiewicz
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
26.Querying the Guarded Fragment with Transitivity

机译：通过传递性查询保护片段
- 作者：Georg Gottlob;Andreas Pieris;Lidia Tendera
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
27.Contractive Signatures with Recursive Types, Type Parameters, and Abstract Types

机译：具有递归类型，类型参数和抽象类型的压缩签名
- 作者：Hyeonseung Im;Keiko Nakata;Sungwoo Park
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
28.Algebras, Automata and Logic for Languages of Labeled Birooted Trees

机译：标记双叉树语言的代数，自动机和逻辑
- 作者：David Janin
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
29.One-Variable Word Equations in Linear Time

机译：线性时间中的一变量词方程
- 作者：Artur Jez
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
- Word equations;
- string unification;
- one variable equations;
30.The IO and OI Hierarchies Revisited

机译：再谈IO和OI层次结构
- 作者：Gregory M. Kobele;Sylvain Salvati
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
31.Evolving Graph-Structures and Their Implicit Computational Complexity

机译：演化图结构及其隐含计算复杂性
- 作者：Daniel Leivant;Jean-Yves Marion
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
32.Rational Subsets and Submonoids of Wreath Products

机译：花圈产品的有理子集和子类
- 作者：Markus Lohrey;Benjamin Steinberg;Georg Zetzsche
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
33.Fair Subtyping for Open Session Types

机译：公开会议类型的公平子类型化
- 作者：Luca Padovani
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
34.Coeffects: Unified Static Analysis of Context-Dependence

机译：效果：上下文相关性的统一静态分析
- 作者：Tomas Petricek;Dominic Orchard;Alan Mycroft
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
35.Proof Systems for Retracts in Simply Typed Lambda Calculus

机译：简单型Lambda演算中的收回证明系统
- 作者：Colin Stirling
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
36.Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials

机译：Presburger算术，有理生成函数和拟多项式
- 作者：Kevin Woods
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
37.Revisiting the Equivalence Problem for Finite Multitape Automata

机译：再谈有限多带自动机的等价问题
- 作者：James Worrell
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
38.Silent Transitions in Automata with Storage

机译：带有存储的自动机中的无声过渡
- 作者：Georg Zetzsche
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
39.New Online Algorithms for Story Scheduling in Web Advertising

机译：网络广告中故事调度的新在线算法
- 作者：Susanne Albers;Achim Passen
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
40.Sketching for Big Data Recommender Systems Using Fast Pseudo-random Fingerprints

机译：使用快速伪随机指纹为大数据推荐系统绘制草图
- 作者：Yoram Bachrach;Ely Porat
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
41.Physarum Can Compute Shortest Paths: Convergence Proofs and Complexity Bounds

机译：Physarum可以计算最短路径：收敛性证明和复杂性界限
- 作者：Luca Becchetti;Vincenzo Bonifaci;Michael Dirnberger;Andreas Karrenbauer;Kurt Mehlhorn
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
42.On Revenue Maximization for Agents with Costly Information Acquisition Extended Abstract

机译：信息获取代价高昂的代理商收益最大化扩展摘要
- 作者：L. Elisa Celis;Dimitrios C. Gklezakos;Anna R. Karlin
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
43.Price of Stability in Polynomial Congestion Games

机译：多项式拥塞游戏的稳定性代价
- 作者：George Christodoulou;Martin Gairing
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
44.Localization for a System of Colliding Robots

机译：碰撞机器人系统的本地化
- 作者：Jurek Czyzowicz;Evangelos Kranakis;Eduardo Pacheco
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
45.Fast Collaborative Graph Exploration

机译：快速协作图探索
- 作者：Dariusz Dereniowski;Yann Disser;Adrian Kosowski;Dominik Pajak;Przemyslaw Uznanski
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
46.Deterministic Polynomial Approach in the Plane

机译：平面中的确定性多项式方法
- 作者：Yoann Dieudonne;Andrzej Pelc
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
47.Outsourced Pattern Matching

机译：外包模式匹配
- 作者：Sebastian Faust;Carmit Hazay;Daniele Venturi
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
48.Learning a Ring Cheaply and Fast

机译：廉价而快速地学习戒指
- 作者：Emanuele G. Fusco;Andrzej Pelc;Rossella Petreschi
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
- labeled ring;
- message complexity;
- time;
- tradeoff;
49.Competitive Auctions for Markets with Positive Externalities

机译：具有正外部性的市场的竞争性拍卖
- 作者：Nick Gravin;Pinyan Lu
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
50.Efficient Computation of Balanced Structures

机译：平衡结构的有效计算
- 作者：David G. Harris;Ehab Morsy;Gopal Pandurangan;Peter Robinson;Aravind Srinivasan
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
51.A Refined Complexity Analysis of Degree Anonymization in Graphs

机译：图中度匿名化的精细复杂度分析
- 作者：Sepp Hartung;Andre Nichterlein;Rolf Niedermeier;Ondrej Suchy
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
52.Sublinear-Time Maintenance of Breadth-First Spanning Tree in Partially Dynamic Networks

机译：部分动态网络中广度优先生成树的亚线性时间维护
- 作者：Monika Henzinger;Sebastian Krinninger;Danupon Nanongkai
- 会议名称：《》 | 2013年
53.Locally Stable Marriage with Strict Preferences

机译：严格偏好的本地稳定婚姻
- 作者：Martin Hoefer;Lisa Wagner
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
54.Distributed Deterministic Broadcasting in Wireless Networks of Weak Devices

机译：弱设备无线网络中的分布式确定性广播
- 作者：Tomasz Jurdzinski;Dariusz R. Kowalski;Grzegorz Stachowiak
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
55.Secure Equality and Greater-Than Tests with Sublinear Online Complexity

机译：具有亚线性在线复杂度的安全相等性和大于检验
- 作者：Helger Lipmaa;Tomas Toft
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
- Additively homomorphic encryption;
- arithmetic black box;
- secure comparison;
- secure equality test;
56.Temporal Network Optimization Subject to Connectivity Constraints

机译：受连接性约束的时间网络优化
- 作者：George B. Mertzios;Othon Michail;Ioannis Chatzigiannakis;Paul G. Spirakis
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
57.Strong Bounds for Evolution in Networks

机译：网络发展的强大边界
- 作者：George B. Mertzios;Paul G. Spirakis
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
58.Fast Distributed Coloring Algorithms for Triangle-Free Graphs

机译：无三角图的快速分布式着色算法
- 作者：Seth Pettie;Hsin-Hao Su
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年
59.Preface

机译：前言
- 作者：Fedor V. Fomin;Rusins Freivalds;Marta Kwiatkowska;David Peleg
- 会议名称：《International colloquium on automata, languages and programming》 | 2013年