掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International colloquium on automata, languages and programming
International colloquium on automata, languages and programming
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Towards the Graph Minor Theorems for Directed Graphs
机译:
向有向图的图小定理
作者:
Ken-Ichi Kawarabayashi
;
Stephan Kreutzer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Directed graphs;
Grid minor;
The directed disjoint paths problem;
2.
Automated Synthesis of Distributed Controllers
机译:
分布式控制器的自动综合
作者:
Anca Muscholl
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
3.
Maintaining Near-Popular Matchings
机译:
维持近乎热门的匹配
作者:
Sayan Bhattacharya
;
Martin Hoefer
;
Chien-Chung Huang
;
Telikepalli Kavitha
;
Lisa Wagner
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
4.
Ultra-Fast Load Balancing on Scale-Free Networks
机译:
无标度网络上的超快速负载平衡
作者:
Karl Bringmann
;
Tobias Friedrich
;
Martin Hoefer
;
Ralf Rothenberger
;
Thomas Sauerwald
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
5.
Games for Dependent Types
机译:
依赖类型的游戏
作者:
Samson Abramsky
;
Radha Jagadeesan
;
Matthijs Vakar
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
6.
Short Proofs of the Kneser-Lovasz Coloring Principle
机译:
Kneser-Lovasz着色原理的简短证明
作者:
James Aisenberg
;
Maria Luisa Bonet
;
Sam Buss
;
Adrian Craciun
;
Gabriel Istrate
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
7.
Provenance Circuits for Trees and Treelike Instances
机译:
树和树状实例的来源电路
作者:
Antoine Amarilli
;
Pierre Bourhis
;
Pierre Senellart
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
8.
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms
机译:
高动态网络中的近似共识:平均算法的作用
作者:
Bernadette Charron-Bost
;
Matthias Fuegger
;
Thomas Nowak
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
9.
The Range of Topological Effects on Communication
机译:
拓扑对通信的影响范围
作者:
Arkadev Chattopadhyay
;
Atri Rudra
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
10.
Language Emptiness of Continuous-Time Parametric Timed Automata
机译:
连续时间参数定时自动机的语言空性
作者:
Nikola Benes
;
Peter Bezdek
;
Kim G. Larsen
;
Jiri Srba
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
11.
Analysis of Probabilistic Systems via Generating Functions and Pade Approximation
机译:
通过生成函数和Pade逼近分析概率系统
作者:
Michele Boreale
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
12.
Secretary Markets with Local Information
机译:
具有本地信息的秘书市场
作者:
Ning Chen
;
Martin Hoefer
;
Marvin Kuennemann
;
Chengyu Lin
;
Peihan Miao
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
13.
A Simple and Optimal Ancestry Labeling Scheme for Trees
机译:
一种简单而优化的树系祖先标记方案
作者:
Soren Dahlgaard
;
Mathias Baek Tejs Knudsen
;
Noy Rotbart
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
14.
On Reducing Linearizability to State Reachability
机译:
关于将线性化降低为状态可达性
作者:
Ahmed Bouajjani
;
Michael Emmi
;
Constantin Enea
;
Jad Hamza
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
15.
The Complexity of Synthesis from Probabilistic Components
机译:
概率成分合成的复杂性
作者:
Krishnendu Chatterjee
;
Laurent Doyen
;
Moshe Y. Vardi
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
16.
Interactive Communication with Unknown Noise Rate
机译:
未知噪声率的交互式通信
作者:
Varsha Dani
;
Mahnush Movahedi
;
Jared Saia
;
Maxwell Young
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
17.
Fixed Parameter Approximations for k-Center Problems in Low Highway Dimension Graphs
机译:
低公路尺寸图中k中心问题的固定参数逼近
作者:
Andreas Emil Feldmann
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
18.
Edit Distance for Pushdown Automata
机译:
编辑下推自动机的距离
作者:
Krishnendu Chatterjee
;
Thomas A. Henzinger
;
Rasmus Ibsen-Jensen
;
Jan Otop
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
19.
Solution Sets for Equations over Free Groups are EDT0L Languages
机译:
自由组方程的解集是EDT0L语言
作者:
Laura Ciobanu
;
Volker Diekert
;
Murray Elder
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
20.
A Unified Framework for Strong Price of Anarchy in Clustering Games
机译:
集群游戏中无政府状态的强价格统一框架
作者:
Michal Feldman
;
Ophir Friedler
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
21.
On the Diameter of Hyperbolic Random Graphs
机译:
关于双曲随机图的直径
作者:
Tobias Friedrich
;
Anton Krohmer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
22.
Limited Set Quantifiers over Countable Linear Orderings
机译:
可数线性排序上的有限集数量词
作者:
Thomas Colcombet
;
A.V. Sreejith
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Linear orderings;
Algebraic characterization;
Monadic second order logic;
23.
Reachability is in DynFO
机译:
可达性在DynFO中
作者:
Samir Datta
;
Raghav Kulkarni
;
Anish Mukherjee
;
Thomas Schwentick
;
Thomas Zeume
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
24.
Tight Bounds for Cost-Sharing in Weighted Congestion Games
机译:
加权拥塞游戏中分摊成本的严格界限
作者:
Martin Gairing
;
Konstantinos Kollias
;
Grammateia Kotsialou
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
25.
Distributed Broadcast Revisited: Towards Universal Optimality
机译:
再谈分布式广播:走向普遍最优
作者:
Mohsen Ghaffari
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
26.
Natural Homology
机译:
自然同源
作者:
Jeremy Dubut
;
Eric Goubault
;
Jean Goubault-Larrecq
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Directed algebraic topology;
Homology;
Path space;
Geometric semantics;
Persistent homology;
Natural system;
27.
Greatest Fixed Points of Probabilistic Min/Max Polynomial Equations, and Reachability for Branching Markov Decision Processes
机译:
概率最小/最大多项式方程的最大不动点和分支马尔可夫决策过程的可达性
作者:
Kousha Etessami
;
Alistair Stewart
;
Mihalis Yannakakis
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
28.
Selling Two Goods Optimally
机译:
最佳销售两种商品
作者:
Yiannis Giannakopoulos
;
Elias Koutsoupias
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
29.
Adaptively Secure Coin-Flipping, Revisited
机译:
再探自适应安全硬币翻转
作者:
Shafi Goldwasser
;
Yael Tauman Kalai
;
Sunoo Park
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
30.
Trading Bounds for Memory in Games with Counters
机译:
与计数器交易记忆中的界限
作者:
Nathanaeel Fijalkow
;
Florian Horn
;
Denis Kuperberg
;
Michal Skrzypczak
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
31.
Decision Problems of Tree Transducers with Origin
机译:
树木成因传感器的决策问题
作者:
Emmanuel Filiot
;
Sebastian Maneth
;
Pierre-Alain Reynier
;
Jean-Marc Talbot
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
32.
Optimal Competitiveness for the Rectilinear Steiner Arborescence Problem
机译:
直线Steiner拟约问题的最优竞争力。
作者:
Erez Kantor
;
Shay Kutten
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
33.
Normalization Phenomena in Asynchronous Networks
机译:
异步网络中的规范化现象
作者:
Amin Karbasi
;
Johannes Lengler
;
Angelika Steger
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
34.
Incompleteness Theorems, Large Cardinals, and Automata over Infinite Words
机译:
不完全定理,大基数和无限词的自动机
作者:
Olivier Finkel
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Automata and formal languages;
Logic in computer science;
Infinite words;
1-counter Buechi automaton;
2-tape Buechi automaton;
Models of set theory;
Incompleteness theorems;
Large cardinals;
Inaccessible cardinals;
Independence from the axiomatic system "ZFC + there exist n inaccessible cardinals";
35.
The Odds of Staying on Budget
机译:
保持预算的可能性
作者:
Christoph Haase
;
Stefan Kiefer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
36.
From Sequential Specifications to Eventual Consistency
机译:
从顺序规范到最终一致性
作者:
Radha Jagadeesan
;
James Riely
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
37.
Broadcast from Minicast Secure Against General Adversaries
机译:
从Minicast广播对抗一般对手
作者:
Pavel Raykov
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
38.
Preface
机译:
前言
作者:
Magnus M. Halldorsson
;
Kazuo Iwama
;
Naoki Kobayashi
;
Bettina Speckmann
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
39.
Towards the Graph Minor Theorems for Directed Graphs
机译:
向有向图的图小定理
作者:
Ken-ichi Kawarabayashi
;
Stephan Kreutzer
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
40.
Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time
机译:
固定维数的能量游戏处于伪多项式时间
作者:
Marcin Jurdzinski
;
Ranko Lazic
;
Sylvain Schmitz
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
41.
An Algebraic Geometric Approach to Nivat's Conjecture
机译:
尼瓦特猜想的代数几何方法
作者:
Jarkko Kari
;
Michal Szabados
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
42.
Dynamic Graphs: Time, Space and Communication
机译:
动态图:时间,空间和交流
作者:
Valerie King
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
43.
Automated Synthesis of Distributed Controllers
机译:
分布式控制器的自动综合
作者:
Anca Muscholl
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
44.
Incentive Networks
机译:
激励网络
作者:
Thomas Moscibroda
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
45.
Nominal Kleene Coalgebra
机译:
标称Kleene Coalgebra
作者:
Dexter Kozen
;
Konstantinos Mamouras
;
Daniela Petrisan
;
Alexandra Silva
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
46.
On Determinisation of Good-for-Games Automata
机译:
关于好游戏自动机的确定
作者:
Denis Kuperberg
;
Michal Skrzypczak
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
47.
Owicki-Gries Reasoning for Weak Memory Models
机译:
Owicki-Gries弱记忆模型的推理
作者:
Ori Lahav
;
Viktor Vafeiadis
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
48.
Fast Algorithms for Structured Sparsity
机译:
结构稀疏性的快速算法
作者:
Piotr Indyk
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
49.
Computational Complexity of Puzzles and Games
机译:
拼图和游戏的计算复杂性
作者:
Ryuhei Uehara
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
50.
On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension
机译:
一维下推矢量加法系统的可覆盖性问题
作者:
Jerome Leroux
;
Gregoire Sutre
;
Patrick Totzke
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
51.
Compressed Tree Canonization
机译:
压缩树规范化
作者:
Markus Lohrey
;
Sebastian Maneth
;
Fabian Peternek
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
52.
Parsimonious Types and Non-uniform Computation
机译:
简约类型和非均匀计算
作者:
Damiano Mazza
;
Kazushige Terui
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
53.
Baire Category Quantifier in Monadic Second Order Logic
机译:
Monadic二阶逻辑中的Baire类别量词
作者:
Henryk Michalewski
;
Matteo Mio
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
关键词:
Monadic second order logic;
Baire category;
pCTL~*;
54.
Liveness of Parameterized Timed Networks
机译:
参数化定时网络的活跃性
作者:
Benjamin Aminof
;
Sasha Rubin
;
Florian Zuleger
;
Francesco Spegni
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
55.
Symmetric Strategy Improvement
机译:
对称策略改进
作者:
Sven Schewe
;
Ashutosh Trivedi
;
Thomas Varghese
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
56.
Effect Algebras, Presheaves, Non-locality and Contextuality
机译:
效果代数,前滑轮,非局部性和上下文性
作者:
Sam Staton
;
Sander Uijlen
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
57.
On the Complexity of Intersecting Regular, Context-Free, and Tree Languages
机译:
关于规则语言,上下文无关语言和树语言相交的复杂性
作者:
Joseph Swernofsky
;
Michael Wehar
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
58.
Containment of Monadic Datalog Programs via Bounded Clique-Width
机译:
通过有界集团宽度限制Monadic Datalog程序
作者:
Mikolaj Bojanczyk
;
Filip Murlak
;
Adam Witkowski
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
59.
An Approach to Computing Downward Closures
机译:
一种计算向下关闭次数的方法
作者:
Georg Zetzsche
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
60.
How Much Lookahead is Needed to Win Infinite Games?
机译:
赢得无限游戏需要多少前瞻性?
作者:
Felix Klein
;
Martin Zimmermann
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
61.
Symmetric Graph Properties Have Independent Edges
机译:
对称图属性具有独立边
作者:
Dimitris Achlioptas
;
Paris Siminelakis
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
62.
Polylogarithmic-Time Leader Election in Population Protocols
机译:
人口协议中的多对数时间领导者选举
作者:
Dan Alistarh
;
Rati Gelashvili
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
63.
Core Size and Densification in Preferential Attachment Networks
机译:
优先附件网络中的核心大小和密度
作者:
Chen Avin
;
Zvi Lotker
;
Yinon Nahum
;
David Peleg
会议名称:
《International colloquium on automata, languages and programming》
|
2015年
意见反馈
回到顶部
回到首页