停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第五届IFIP TCS 2008：意大利米兰

>主页 >会议和研讨会 >IFIP TCS

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/2008
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/2008
乔治奥·奥斯耶罗,朱哈尼·卡胡马基,吉安卡洛·毛里,C.-H.卢克·翁:
第五届IFIP国际理论计算机科学会议-TCS 2008，IFIP第20届世界计算机大会，TC 1，计算机科学基础，2008年9月7日至10日，意大利米兰。国际投资促进会273,施普林格 2008，国际标准图书编号978-0-387-09679-7

轨道A

受邀会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/GiammaresiR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/GiammaresiR08
多拉·贾马尔西,安东尼奥·雷斯蒂沃:
可识别二维语言中的歧义与补语。 5-20
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/粗糙花园08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Roughgarden08网址
蒂姆·拉夫加登:
算法博弈论：一些最伟大的成就和未来的方向。 21-42
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Trahtman08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Trahtman08
A.N.特拉特曼:
同步道路着色。 43-53

参与的会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BakhshiFPP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BakhshiFPP08
雷娜·巴赫西,万·J·福克金,彭军（Jun Pang）,雅各·范德波尔:
匿名戒指中的领袖选举：富兰克林走向概率。 57-72
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BergH08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BergH08
托比亚斯·伯格,哈拉尔德·亨佩尔:
反问题具有反复杂性。 73-86
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/贝尔托尼CR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BertoniCR08
阿尔贝托·贝托尼,克里斯蒂安·乔夫鲁特,罗伯托·拉基奥尼:
压缩单词的字面乱序。 87-100
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/MasseBFLR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/MasseBFLR08
亚历山大·布隆丁弥撒,斯雷科·布莱克,安德烈亚·弗罗西尼,塞巴斯蒂安·拉贝,西蒙·里纳尔迪:
从固定的回文长度序列重建单词。 101-114
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/CogisDDKS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/CogisDDKS08
奥利维尔·科吉斯,贝诺·达蒂斯,西尔万·杜兰德,Jean-Claude König女士,Geneviève西蒙:
mv-d分解：定义和应用于多跳无线网络中的distance-2广播问题。 115-126
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Coja-OghlanL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Coja-OghlanL08
阿明·科贾·奥格伦,安德烈·兰卡:
具有一般度分布的划分随机图。 127-141
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/CrochemoreGMP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/CrochemoreGMP08
马克西姆·克罗西莫尔,亚历山德拉·加布里埃尔,菲利波偏头痛,毛里安娜·佩萨雷斯:
关于最长公因数问题。 143-155
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/DennunzioGM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/DennunzioGM08
阿尔贝托·丹尼恩齐奥,皮埃尔·吉隆,贝诺·马森:
沙自动机的稳定动力学。 157-169
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/FominGK08文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/FominGK08
费多尔·V·福明,彼得·戈洛维奇,扬·克拉托奇维尔:
关于警察和强盗游戏的可控制性。 171-185
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/LafitteW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/LafitteW08
格雷戈里·拉菲特,维斯:
瓷砖的可计算性。 187-201
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/LiuPP08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/LiuPP08
刘兴武,菊花铺,潘建忠:
退化回路协议的分类。 203-213
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/OkhotinR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/OkhotinR08
亚历山大·奥霍廷,帕诺斯·朗多吉安尼:
关于一元方程对自然数集的表达能力。 215-227
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/OlingerR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/OlingrR08
尼古拉·奥林格,盖坦·理查德:
碰撞及其关联：平面的最终周期平铺。 229-240
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/SaikkonenS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/SaikkonenS08
Riku Saikkonen公司,Eljas Soisalon-Soininen公司:
二叉树的缓存敏感内存布局。 241-255

轨道B

受邀会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Cardelli公司08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Cardelli08
鲁卡·凯德利:
从化学过程到ODE。 261-281
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Ehrhard08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Ehrhard08
托马斯·埃尔哈德:
微分线性逻辑和过程。 283
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/西班牙KL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/EsparzaKL08
哈维尔·埃斯帕尔扎,斯特凡·基弗,迈克尔·卢滕伯格:
求解单调多项式方程。 285-298

参与的会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/丙酮FIM08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/AcetoFIM08
卢卡·埃特罗,万·J·福克金,Anna Ingólfsdóttir女士,穆罕默德·雷扎·穆萨维:
将非有限公理化结果提升到过程代数的扩张。 301-316
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/丙酮ILT08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/AcetoILT08
卢卡·埃特罗,Anna Ingólfsdóttir女士,巴斯·卢提克,保罗·范蒂尔堡:
具有限制和重标记的CCS片段的有限等式基。 317-332
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/氨基LMS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/AminofLMS08
本杰明·阿米诺夫,Axel Legay公司,阿尼埃洛·穆拉诺,奥利维尔·塞尔:
µ-使用不完全状态信息的微积分下推模块检查。 333-348
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BlanquiJS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BlanquiJS08
弗雷德里克·布朗基神父,Jean-Pierre Jouannaud女士,Pierre-Yves支柱:
从形式证明到数学证明：构建一阶决策过程的安全、增量方法。 349-365
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BonoDG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BonoDG08
维维亚娜·博诺,费鲁西奥·达米亚尼,埃琳娜·贾奇诺:
在类Java设置中的特性和类型。 367-382
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/乔杜里MS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/ChaudhuriMS08
考斯特夫·乔杜里,戴尔·米勒,亚历克西斯·索林:
通过多聚焦的标准顺序证明。 383-396
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/水果-EscrigG08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Frutos-ScrigG08
大卫·德·弗鲁托斯·埃斯克里格,卡洛斯·格雷戈里奥·罗德里格斯:
过程语义学的通用共推特征。 397-412
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/DemangeonHS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/DemangeonHS08
罗曼·德曼根,丹尼尔·赫希科夫,戴维德·桑吉奥吉:
用于终止移动进程的静态和动态类型。 413-427
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/文件T08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/FiliotT08
艾曼纽尔·菲利奥特,索菲·蒂森:
树中的正则n元查询和变量独立性。 429-443
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/KuskeL08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/KuskeL08
迪特里希·库斯克,马库斯·洛伊:
自动图的哈密顿性。 445-459
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/LodayaPS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/LodayaPS08
卡马尔·洛达亚,帕里托什·K·潘迪亚,西莫尼·沙阿:
标记印章：明确的时间逻辑。 461-476
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Meyer08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Meyer08
罗兰·迈耶:
关于pi-Calculus中的深度有界性。 477-489
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Peltier08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Peltier08
尼古拉斯·佩尔蒂埃:
树自动机和术语架构的统一视图。 491-505
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/RathkeS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/RathkeS08
朱利安·拉特克,帕维尔·索博辛斯基:
解构流动的行为理论。 507-520
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Schmidt-SchaussNSS08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Schmidt-SchaussNSS08
曼弗雷德·施密特·沙乌,约阿希姆·尼伦,简·施温哈默,大卫·萨贝尔:
观察语义学的组合翻译的充分性。 521-535
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/SwaminathanFK08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/SwaminathanFK08
Mani Swaminathan公司,马丁·弗伦泽,Joost-Pieter Katoen公司:
（封闭）时间自动机对时钟漂移的惊人鲁棒性。 537-553

服务

管理网站设置

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