停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2004年第三届IFIP TCS：法国图卢兹

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/2004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/2004
珍妮·雅克·莱维，恩斯特·梅尔，约翰·米切尔:
探索理论信息学的新前沿，IFIP第18届世界计算机大会，TC1第三届理论计算机科学国际会议（TCS2004），2004年8月22日至27日，法国图卢兹。国际投资促进会155,Kluwer/Springer公司 2004，国际标准图书编号1-4020-8140-5

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Gonnet04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Gonnet04
加斯顿·H·贡内:
tPI（tRNA配对指数），一种生物序列重复性的数学度量。 1-2
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Hromkovic04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Hromkovic04
尤拉吉·赫龙科维奇（Juraj Hromkovic）:
离散优化中近似的稳定性。 3-18
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Milner04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Milner04
罗宾·米尔纳:
走向更广泛的移动进程理论。 19
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Rusinovitch04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Rusinovitch04
米夏·鲁西诺维奇:
安全协议的可判定分析。 21

跟踪（1）算法、复杂性和计算模型

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/ToliZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/ToliZ04
伊利亚·托利，阿尔贝托·扎诺尼:
了解AES和BES。 23-36
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/ChengCV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/ChengCV04
程朝晖，理查德·康利，卢米尼塔·瓦西乌:
从基于身份的加密系统中删除密钥托管。 37-50
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BraekenWP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BraekenWP04
布雷肯，克里斯托弗·沃尔夫，巴特·普雷尼尔:
一种检查加密布尔函数正态性的随机算法。 51-66
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Brodsky04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Brodsky04
亚历克斯·布罗德斯基:
布尔函数的可逆电路实现。 67-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/铃木Y04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/铃木Y04
铃木俊雄，山本俊彦（Tomoyuki Yamakami）:
资源有限的免疫性和简单性。 81-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/SpakowskiT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/SpakowskiT04
霍尔格·斯帕科夫斯基，拉胡尔·特里帕西:
多项式和相对论的度界。 97-110
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/SchmidW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/SchmidW04
休伯特·施密德，托马斯·沃什:
一维CA的多广义射击队同步问题。 111-124
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/EgeciogluI04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/EgeciogluI04
厄默·埃格西奥卢，奥斯卡·H·伊巴拉:
矩阵q——Parikh映射的模拟。 125-138
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/AttiyaH04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/AttiyaH04
哈吉特·阿提亚，大卫海:
并行分组交换机的固有排队延迟。 139-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/FlocchiniEPPS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/FlocchiniEPPS04
保拉·弗洛奇尼，安东尼奥·梅萨·恩里克斯，琳达·帕格利，朱塞佩·普伦西，尼古拉·桑托罗:
计算最短路径树最佳交换边的有效协议。 153-166
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/MelideoPPWW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/MelideoPPWW04
乔瓦娜·梅利多，保罗·佩纳，吉多·普罗埃蒂，罗杰·瓦滕霍夫，彼得·维德迈尔:
广义功利主义问题的真实机制。 167-180
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BaehniBGP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BaehniBGP04
塞巴斯蒂安·贝尼，罗伯托·巴多尼，拉希德·格雷劳伊，巴斯蒂安·波雄:
驱动哲学家。 181-194
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/DementievSSS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/DementievSSS04
罗曼·德门蒂耶夫，彼得·桑德斯，多米尼克·舒尔茨，乔普·西宾（Jop F.Sibeyn）:
设计一个外部内存最小生成树算法。 195-208年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/CieliebakEHWW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/CieliebakEHWW04
马克·齐利耶巴克，托马斯·埃尔勒巴赫，费比安·亨内克，比吉塔·韦伯，彼得·维德迈尔:
在最少数量的机器上安排发布时间和截止日期。 209-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Jansen 2004年1月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Jansen04
克劳斯·詹森:
混合分数填充和覆盖问题的近似算法。 223-236
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/FishkinGJ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/FishkinGJ04
阿列克谢·菲什金，奥尔加·格伯，克劳斯·詹森:
关于大资源的加权矩形包装。 237-250
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/MamadaUMF04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/MamadaUMF04
马马达佐藤子，Takeaki Uno先生，Kazuhisa Makino公司，佐托鲁·富士基:
动态树网络中最优接收器位置问题的O（n log 2n）算法。 251-264
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/IliopoulosMPPTT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/IliopoulosMPPTT04
科斯塔斯·伊利奥普洛斯，克里斯托斯·马克里斯，亚尼斯·帕纳吉斯，卡特琳娜·佩迪库里，埃文格洛斯·西奥多里迪斯，Athanasios K.Tsakalidis公司:
处理分子加权序列的有效算法。 265-278
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/ItoIT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/ItoIT04
伊藤宏，岩岛和雄，Takeyuki Tamura先生:
基于STS的物理制图数据不完善。 279-292
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/张04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/张04
胡章:
用较弱的块解算器解决包装问题。 293-306
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Elmasry04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Elmasry04
Amr Elmasry公司:
AVL树的自适应排序。 307-316
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/ColussiFG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/ColussiFG04
利维奥·科卢西，吉尔伯托·菲尔，A.格里乔:
立方时间π-微积分的精确分析。 317-331

跟踪（2）逻辑、语义、规范和验证

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/WildmoserNKN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/WildmoserNKN04
马丁·威尔莫瑟，托比亚斯·尼普科，格温·克莱因，塞巴斯蒂安·南兹:
携带代码的原型验证。 333-347
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/LiuHL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/LiuHL04
刘志明，何继峰，小山·李:
面向合同的组件软件开发。 349-366
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BruniFLLM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BruniFLLM04
罗伯托·布鲁尼，何塞·路易斯·菲亚德罗，伊万·拉内斯，安托尼亚·洛佩斯，乌戈·蒙塔纳里:
建筑连接件的新见解。 367-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BonevaT04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BonevaT04
伊奥夫卡·博内娃，Jean-Marc Talbot公司:
TQL逻辑模型检查的复杂性。 381-394
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/KucerM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/KuceraM04
安东·库塞拉，理查·马:
检查下推自动机和有限状态自动机之间语义等价性的通用框架。 395-408
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BournezCNM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BournezCNM04
奥利维尔·布尔内斯，菲利佩·库克，保林·雅各布·德诺罗斯（Paulin Jacobéde Naurois），珍妮·伊夫·马里恩:
定制递归以表征任意结构上的非确定性复杂类。 409-422
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/AnconaFZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/AnconaFZ04
戴维德·安科纳，索尼娅·法戈齐，埃琳娜·祖卡:
带有惰性模算子的微积分。 423-436
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/OuTMW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/OuTMW04
欧新明，谭刚（Gang Tan），伊扎克·曼德尔鲍姆，大卫·沃克:
具有依赖类型的动态键入。 437-450
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BettiniBV04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BettiniBV04
洛伦佐·贝蒂尼，维维亚娜·博诺，贝蒂·文内里:
子类型继承冲突：Mobile Mixin案例。 451-464
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Li04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Li04
李忠驰（Chung-Chih Li）:
类型2算法的渐近行为和诱导Baire拓扑。 465-478
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/GargLP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/GargLP04
Deepak Garg公司，阿卡什·拉尔，桑吉瓦·普拉萨德:
同步和异步的有效化学。 479-492
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BolligC04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BolligC04
克里斯特尔·拜尔，马库斯·格勒，马丁·勒克，Benedikt Bollig公司，弗兰克·西辛斯基:
概率系统的控制器综合。 493-506
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/JancarS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/JancarS04
彼得·詹卡尔，吉尔·斯尔巴:
过程代数的高度不可判定问题。 507-520
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/WinskelN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/WinskelN04
格林·温斯克，弗朗西斯科·扎帕·纳德利:
New-HOPLA：一种具有名称生成功能的高级过程语言。第521页至第534页
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/MaffeisG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/MaffeisG04
塞尔吉奥·马菲斯，菲利普·加德纳:
动态Web数据的行为等效性。 535-548
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/MerroN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/MerroN04
马西莫·梅罗，弗朗西斯科·扎帕·纳德利:
移动环境的行为理论。 549-562
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/BruniMM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/BruniMM04
罗伯托·布鲁尼，埃尔南·梅尔格拉蒂，乌戈·蒙塔纳里:
移动计算的嵌套提交：扩展联接。 563-576
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/CoppoDGP04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/CoppoDGP04
马里奥·科波奥，Mariangiola Dezani-Ciancaglini公司，埃利奥·乔瓦内蒂，罗萨里奥·普格利泽:
移动环境的动态和本地输入。 577-590
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/AmtoftMW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/AmtoftMW04
托本·阿姆托夫特，亨宁·马克霍姆，J.B.威尔斯:
PolyA：移动环境的真型多态性。 591-604
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/柜员04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Teller04
戴维·泰勒:
在π演算中恢复资源。 605-618
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/DengS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/DengS04
邓玉欣，戴维德·桑吉奥吉:
确保可打字终止。 619-632
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Wack04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Wack04
本杰明·瓦克:
简单类型的纯模式类型系统确保了强规范化。 633-646
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/DesharnaisMS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/DesharnaisMS04
朱尔斯·德沙奈斯，伯恩哈德·莫勒，乔治·斯特鲁斯:
模态Kleene代数中的终止。 647-660
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/Frisch04文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/Frisch04
阿兰·弗里希:
基于静态信息的规则树语言识别。 661-674

服务

管理网站设置

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