停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第42届ICALP 2015：日本京都-第二部分

>主页 >会议和研讨会 >ICALP公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/2015-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/2015-2
马格努斯·M·哈尔德森,岩岛和雄,小林直树,贝蒂娜·斯派克曼:
自动化、语言与编程——第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日，会议记录，第二部分。计算机科学课堂讲稿9135,施普林格 2015，国际标准图书编号978-3-662-47665-9

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KawarabayashiK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KawarabayashiK15
川崎敬一,斯蒂芬·克鲁泽:
有向图的图小定理。 3-10
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Muscholl公司15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Muscholl15
安卡·穆斯科尔:
分布式控制器的自动合成。 11-27

轨道B：逻辑、语义、自动机和程序设计理论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Abramsky合资公司15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AbramskyJV15
萨姆森·阿布拉姆斯基,拉德哈·贾加迪桑,马蒂js Vákár:
从属类型的游戏。 31-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AisenbergBBCI15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AisenbergBBCI15
詹姆斯·艾森伯格,玛丽亚·路易莎·博内,萨姆·巴斯,阿德里安·克雷西恩,加布里埃尔·伊斯特拉特:
Kneser-Lovász着色原理的简短证明。 44-55
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AmarilliBS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AmarilliBS15
安托万·阿马里利,皮埃尔·布赫斯,皮埃尔·塞内拉特:
树木和树状实例的起源回路。 56-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BenesBLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BenesBLS15
尼古拉·贝内斯,彼得·贝兹德克,金·古德斯特兰·拉森,吉尔·斯尔巴:
连续时间参数时间自动机的语言空洞。 69-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Boreale15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Boreale15
米歇尔·博雷尔:
通过生成函数和Padé逼近分析概率系统。 82-94
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BouajjaniEEH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BouajjaniEEH15
艾哈迈德·布阿贾尼,迈克尔·埃米,康斯坦丁·埃纳,贾德·哈姆扎:
关于将线性化降低为状态可达性。 95-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Chatterjee0V15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Chatterjee0V15
克里什南杜·查特吉,劳伦特·多恩,莫舍·瓦尔迪:
概率成分合成的复杂性。 108-120
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChatterjeeHIO15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChatterjeeHIO15
克里什南杜·查特吉,托马斯·亨辛格,拉斯穆斯·易卜生-延森,扬·奥托普:
编辑下推自动机的距离。 121-133
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CiobanuDE15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CiobanuDE15
劳拉·乔巴努,沃尔克·迪克特,穆雷·埃尔德:
自由群上方程的解集是EDT0L语言。 134-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ColcombetS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ColcombetS15
托马斯·科尔科姆贝特,A.V.Sreejith公司:
可数线性序上的有限集量词。 146-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DattaKMSZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DattaKMSZ15
萨米尔·达塔,拉加夫·库尔卡尼,阿尼什·穆克吉,托马斯·施温蒂克,托马斯·泽姆:
DynFO中的可达性。 159-170
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DubutGG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DubutGG15
杰雷米·杜布特,埃里克·古堡,让·古堡-拉雷克:
自然同源性。 171-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/EtessamiSY15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/EtessamiSY15网站
库沙·埃特萨米,阿利斯泰尔·斯图尔特,米哈利斯·扬纳卡基斯:
概率最小/最大多项式方程的最大不动点，分支马尔可夫决策过程的可达性。 184-196
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/FijalkowHKS15会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FijalkowHKS15
纳塔娜·菲亚尔科夫,弗洛里安·霍恩,丹尼斯·库珀伯格,米歇尔·斯科齐普扎克:
用计数器在游戏中交易记忆边界。 197-208
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/文件MRT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FiliotMRT15
艾曼纽尔·菲利奥特,塞巴斯蒂安·马内斯,皮尔雷·阿莱恩·雷尼尔,Jean-Marc Talbot公司:
有原点树传感器的决策问题。 209-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Finkel15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Finkel15
奥利维尔·芬克尔:
不完全定理，大基数，无限词上的自动机。 222-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HaaseK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HaaseK15
克里斯托夫·哈斯,斯特凡·基弗:
维持预算的可能性。 234-246
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/JagadeesanR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/JagadeesanR15
拉德哈·贾加迪桑,詹姆斯·里利:
从连续规范到最终一致性。 247-259
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/JurdzinskiLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/JurdzinskiLS15
马金·尤金斯基（Marcin Jurdzinski）,兰科·拉齐奇,西尔万·施密茨:
固定维能量游戏处于伪多项式时间。 260-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KariS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KariS15
贾科·卡里,米查尔·萨巴多斯:
Nivat猜想的代数几何方法。 273-285
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KozenMP015会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KozenMP015
德克斯特·科赞,康斯坦蒂诺斯·马穆拉斯,丹妮拉·佩特里桑,亚历山德拉·席尔瓦:
标称Kleene Coalgebra。 286-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Kuperberg公司15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KuperbergS15网站
丹尼斯·库珀伯格,米歇尔·斯科齐普扎克:
关于Good-for-Games自动机的确定。 299-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/LahavV15型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LahavV15
奥里·拉哈夫,维克托·瓦菲阿迪斯:
Owicki-Gries弱记忆模型推理。 311-323
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/LerouxST15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LerouxST15
杰罗姆·勒鲁,格雷戈伊尔·苏特雷,帕特里克·托茨克:
一维下推向量加法系统的覆盖性问题。 324-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/LohreyMP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LohreyMP15
马库斯·洛伊,塞巴斯蒂安·马内斯,费边·佩特内克:
压缩树标准化。 337-349
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/MazzaT15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MazzaT15
达米亚诺·马扎,Kazushige Terui公司:
节俭类型和非均匀计算。 350-361
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/MichalewskiM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MichalewskiM15
亨利克·米查勒夫斯基,马泰奥·米奥:
一元二阶逻辑中的贝尔范畴量词。 362-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/氨基RZS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AminofRZS15
本杰明·阿米诺夫,萨沙·鲁宾,弗洛里安·祖勒格,弗朗西斯科·斯佩尼:
参数化时间网络的活性。 375-387
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ScheweTV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ScheweTV15
斯文·舍韦,阿舒托什·特里维迪,托马斯·瓦尔盖塞:
对称战略改进。 388-400
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/StatonU15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/StatonU15
萨姆·斯塔顿,桑德·尤伊伦:
效应代数，预升，非线性和上下文。 401-413
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/SwernofskyW15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/SwernofskyW15
约瑟夫·斯沃诺夫斯基,迈克尔·韦哈尔:
关于交叉正则语言、上下文无关语言和树语言的复杂性。 414-426
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BojanczykMW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BojanczykMW15
米科拉伊·博扬奇克,菲利普·穆拉克,亚当·维特科夫斯基:
通过有界Clique-Width控制Monadic数据日志程序。 427-439
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Zetzsche15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Zetzsche15
乔治·泽采:
计算向下闭包的方法。 440-451
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Klein015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Klein015
费利克斯·克莱恩,马丁·齐默尔曼:
赢得无限游戏需要多少前瞻性？ 452-463

轨道C：网络计算基础：模型、算法和信息管理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AchlioptasS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AchlioptasS15
迪米特里斯·阿奇利奥普塔斯,巴黎西米内拉基斯:
对称图属性具有独立的边。 467-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AlistarhG15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AlistarhG15
丹·阿利斯塔,拉蒂·格拉什维利:
人口协议中的多对数时间领导人选举。 479-491
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AvinLNP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AvinLNP15
陈艾文,Zvi Lotker公司,伊农·纳胡姆,大卫·佩莱:
优先连接网络中的核心尺寸和密度。 492-503
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BhattacharyaHHK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BhattacharyaHHK15
萨扬·巴塔查里亚,马丁·霍弗,黄建忠,Telikepalli Kavitha公司,丽莎瓦格纳:
保持近受欢迎的比赛。 504-515
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BringmannFHRS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BringmannFHRS15
卡尔·布林曼,托比亚斯·弗里德里希,马丁·霍弗,拉尔夫·罗森伯格,托马斯·索尔瓦尔德:
无标度网络上的超快速负载平衡。 516-527
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Charron-BostFN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Charron-BostFN15
Bernadette Charron-Bost公司,马蒂亚斯·福格尔,托马斯·诺瓦克:
高度动态网络中的近似共识：平均算法的作用。 528-539
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChattopadhyayR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChattopadhyayR15
阿尔卡德夫·查托帕迪耶,阿特里·鲁德拉:
拓扑对通信的影响范围。 540-551
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChenHKLM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChenHKLM15
宁晨,马丁·霍弗,马文·库内曼,林成玉,裴汉苗:
秘书市场与本地信息。 552-563
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DahlgardKR15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DahlgaardKR15
瑟伦·达尔加德,马蒂亚斯·布克特杰斯·克努森,诺伊·罗巴特:
一种简单且最优的树祖先标记方案。 564-574
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/DaniMSY15公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DaniMSY15
瓦尔沙·达尼,马努什·莫瓦赫迪,贾里德·赛亚,麦克斯韦-杨:
未知噪声率的交互式通信。 575-587
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Feldmann15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Feldmann15
安德烈亚斯·埃米尔·费尔德曼:
低公路维图中k-中心问题的固定参数近似。 588-600
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/FeldmanF15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FeldmanF15
米查尔·费尔德曼,奥菲尔·弗里德勒:
集群游戏中无政府强势价格的统一框架。 601-613
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/弗里德里希K15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FriedrichK15
托比亚斯·弗里德里希,安东·克罗默:
关于双曲随机图的直径。 614-625
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GairingKK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GairingKK15
马丁·盖林,康斯坦蒂诺斯·科利亚斯,格拉马提亚·科齐亚卢:
加权拥挤游戏中成本分担的严格界限。 626-637
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Ghaffari15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Ghaffari15
莫森·加法里:
重新审视分布式广播：走向普遍最优化。 638-649
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GiannakopoulosK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GiannakopoulosK15
伊安妮斯·吉安娜科普洛斯,埃利亚斯·库索皮亚斯:
最佳销售两种商品。 650-662
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GoldwasserKP15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GoldwasserKP15
沙菲·戈德瓦塞尔,耶尔·托曼·卡莱,Sunoo公园:
自适应安全投币，再次访问。 663-674
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KantorK15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KantorK15
埃雷斯·坎特,谢·库滕:
直线Steiner树丛问题的最优竞争力。 675-687
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/KarbasiLS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/KarbasiLS15
阿明·卡巴西,约翰内斯·伦格勒,安吉丽卡·斯特格:
异步网络中的规范化现象。 688-700
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Raykov15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Raykov15
帕维尔·雷科夫:
来自Minicast Secure Against General Adversiaries的广播。 701-712

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。