停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第37届ICALP 2010：法国波尔多——第一部分

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/2010-2
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/2010-2
萨姆森·阿布拉姆斯基,西里尔·加维尔,克洛德·基什内尔,弗里德海姆·梅耶（Friedhem Meyer auf der Heide）,保罗·G·斯皮拉基斯:
自动化，语言与编程，第37届国际学术讨论会，ICALP 2010，法国波尔多，2010年7月6日至10日，会议记录，第二部分。计算机科学课堂讲稿6199,施普林格 2010，国际标准图书编号978-3-642-14161-4

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Fraigniaud公司10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Fraignaud10
皮埃尔·弗拉吉诺:
信息性标签方案。 1
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Goubault-Larrecq10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Goubault-Larrecq10
让·古堡-拉雷克:
验证中的Noetherian空间。 2月21日
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/OuaknineW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/OuaknineW10
乔尔·瓦克宁,詹姆斯·沃雷尔:
走向有时限的验证理论。 22-37
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Wattenhofer10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Wattenhofer10
罗杰·瓦滕霍夫:
物理算法。 38-51

第1部分-轨道B.自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GenetGMW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GenetGMW10
布莱斯·基内斯特,雨果·金伯特,安卡·穆斯科尔,伊戈尔·瓦卢基维奇:
确定性异步自动机的最优Zielonka型构造。 52-63
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChambartS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChambartS10
皮埃尔·钱巴特,菲利普·施诺贝伦:
规则后嵌入问题的抽运与计数。 64-75
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BokerKR10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BokerKR10
乌迪·博克,奥尔娜·库普夫曼,阿丁·罗森博格:
Büchi Automata中的交替删除。 76-87
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BraudC10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BraudC10
劳伦特·布劳德,阿诺德·卡拉约尔:
下推层次中的线性顺序。 88-99

第1课时-跟踪C.网络中的通信

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BlasiakK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BlasiakK10
安娜·布莱西亚克,罗伯特·D·克莱伯格:
网络代码的可序列化性。 100-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AlistarhGGZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AlistarhGGZ10
丹·阿利斯塔,塞斯·吉尔伯特,拉希德·格雷劳伊,莫特扎·扎迪莫格哈达姆:
八卦的效率有多高？（关于弹性信息交换的成本）。 115-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BerenbrinkCEG10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BerenbrinkCEG10
佩特拉·贝伦布里克,朱列克·齐佐维奇,罗伯特·埃尔萨瑟,莱斯泽克·盖西涅克:
随机电话模型中的高效信息交换。 127-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/EvenM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/EvenM10
盖伊，甚至,Moti Medina公司:
安O（运行）（日志n个)-针对线路的竞争性在线集中式随机分组路由算法。 139-150

第2课时-轨道B.形式语言

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GehrkeGP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GehrkeGP10
迈·盖尔克,谢尔盖·格里戈里夫,Jean-Eric别针:
识别的拓扑方法。 151-162年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Blum10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Blum10
诺伯特·布鲁姆:
打开左后(k个)-多项式大小解析器。 163-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Zetzsche10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Zetzsche10
乔治·泽采:
论随机语境语法中的消词。 175-186

第4部分-轨道B：语义

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Laird10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Laird10
詹姆斯·莱尔德:
Call-by-Value多态的游戏语义。 187-198
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HofmannKS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HofmannKS10
马丁·霍夫曼,亚历山大·卡比雪夫,赫尔穆特·塞德尔:
什么是纯功能性？ 199-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GiacobazziR10会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GiacobazziR10
罗伯托·贾科巴齐,弗朗西斯科·兰扎托:
示例引导抽象简化。 211-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/McIverMM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/McIverMM10
安娜贝拉·麦克维尔,拉里萨·梅尼基,卡罗尔·摩根:
概率非干扰中贝叶斯风险的合成闭包。 223-235

第4部分-跟踪C。容错、排名

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BunnO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BunnO10
保罗·邦恩,拉斐尔·奥斯特罗夫斯基:
恶意网络中的异步吞吐量最优路由。 236-248
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChandranGO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChandranGO10
Nishanth Chandran公司,胡安·加雷,拉斐尔·奥斯特罗夫斯基:
改进了稀疏网络的容错性和安全计算。 249-260
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChechikEPP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChechikEPP10
Shiri Chechik先生,尤瓦尔·埃梅克,波阿斯·帕特·沙米尔,大卫·佩莱:
稀疏可靠图形主干。 261-272
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BansalJKN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BansalJKN10
尼基尔·班萨尔,卡迈勒·贾因,安娜·卡泽基纳,约瑟夫·纳尔:
多样化搜索排名的近似算法。 273-284

第5部分：轨道B。图、类别和量子信息

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/邓肯P10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/DuncanP10
罗斯·邓肯,西蒙·佩德里克斯:
重写基于测量的广义流量子计算。 285-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CoeckeK10
- 问别人
- 股份记录
  持久URL：
  - 网址：https://dblp.org/rec/conf/icalp/CoeckeK10
鲍勃·科克,亚历克斯·基辛格:
多体量子纠缠的组成结构。 297-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Rensink10公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Rensink10
阿伦德·伦辛克:
图变换中的组合性。 309-320

第6部分-轨道B最佳论文奖

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChenF10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChenF10
陈一佳（音）,Jörg Flum公司:
打开第页-PTIME的最佳证明系统和逻辑。 321-332

第6部分-轨道C最佳论文奖

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/合并SSZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MertziosSSZ10
乔治·B·默齐奥斯,伊格纳西·绍,莫德凯·沙洛姆,Shmuel Zaks公司:
在光纤网络中放置再生器以满足多组请求。 333-344

第7课时-轨道B逻辑

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/MontanariPS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MontanariPS10
安吉洛·蒙塔纳里,加布里埃尔小狗,彼得罗·萨拉:
Halpern和Shoham的模态区间逻辑的最大可判定片段。 345-356
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/MarcinkowskiMK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/MarcinkowskiMK10
杰里·马尔辛科夫斯基（Jerzy Marcinkowski）,雅库布·米查利辛,伊曼纽尔·基伦斯基:
B和D足以使Halpern-Shoham逻辑无法确定。 357-368
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AchilleosLM10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AchilleosLM10
安东尼斯·阿奇利奥斯,迈克尔·兰皮斯,瓦利亚·米特苏:
参数化模态可满足性。 369-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/FontaineLV10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/FontaineLV10
加列·丰丹,劳尔·安德烈斯·里尔,Yde Venema公司:
余代数自动机：一种使用谓词提升的方法。 381-392

第7部分-跟踪C.隐私、自私

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BlockiW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BlockiW10
杰里米亚·布鲁西,瑞恩·威廉姆斯:
解决一些数据隐私问题的复杂性。 393至404
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChanSS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChanSS10
T.-H.Hubert Chan,史依莲,黎明之歌:
私下和持续发布统计数据。 405-417
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChenD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChenD10
宁晨,邓晓铁:
多商品市场中的无嫉妒定价。 418-429
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChristodoulouLP10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChristodoulouLP10
乔治·克里斯托杜鲁,卡特里娜·利盖特,伊万杰利亚·皮尔加:
自私下的争端解决。 430-441

第8部分-轨道B并发

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/车道PSS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/LanesePSS10
伊万·拉内斯,豪尔赫·A·佩雷斯,大卫·桑吉奥吉,阿兰·施密特:
论高阶过程演算中多元同步通讯的表达性。 442-453
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Hirschkoff第10页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HirschkoffP10
丹尼尔·赫希科夫,达米安·普斯:
论复制存在下的双相似性和替代性。 454-465
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/HabermehlMW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/HabermehlMW10
彼得·哈贝梅尔,罗兰·梅耶,哈罗·威梅尔:
Petri网语言的向下封闭。 466-477
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BraddilJK10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BrazdilJK10
托马斯·布拉兹迪尔,彼得·詹卡尔,安东·库塞拉:
具有状态的扩展向量加法系统上的可达性博弈。 478-489

会话8轨道C.移动代理

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ClementiMS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ClementiMS10
安德烈亚·克莱门蒂,安吉洛·蒙蒂,里卡多·西尔维斯特里:
流动性建模：A离散的革命。 490-501
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/科林斯CGL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CollinsCGL10
安德鲁·柯林斯,朱列克·齐佐维奇,莱斯泽克·盖西涅克,阿尔诺·拉博雷尔:
告诉我我在哪里，以便我能尽快见到你。 502-514
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/查洛平D10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChalopinD10
杰雷米·查洛平,山塔努达斯:
未就本地定位达成协议的移动代理集合。 515-526

第9课时-轨道B概率计算

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GimbertO10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GimbertO10
雨果·金伯特,尤索夫·乌尔哈德（Youssouf Oualhadj）:
有限词上的概率自动机：可决定和不可决定问题。 527-538
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BraddilEKL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BrazdilEKL10
托马斯·布拉兹迪尔,哈维尔·埃斯帕尔扎,斯特凡·基弗,迈克尔·卢滕伯格:
随机生成任务的空间效率调度。 539-550
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Fearnley公司10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Fearnley网址10
费恩雷:
策略迭代的指数下限。 551-562

第10课时-跟踪B.自动化

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ColcombetKL10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ColcombetKL10
托马斯·科尔科姆贝特,丹尼斯·库珀伯格,西尔万·伦巴第:
常规临时成本功能。 563-574
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/GollerHOW10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/GollerHOW10
斯特凡·格勒,克里斯托夫·哈斯,Joël Ouaknine公司,詹姆斯·沃雷尔:
模型检验简洁与参数单计数器自动机。 575-586
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/BolligGMZ10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/BolligGMZ10
Benedikt Bollig公司,保罗·加斯廷,本杰明·蒙梅格,马克·泽顿:
卵石加权自动机和传递闭包逻辑。 587-598
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChatterjeeD10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChatterjeeD10
克里希南德·查特吉,劳伦特·多恩:
能源平价游戏。 599-610

服务

管理网站设置

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