停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第八届FoSSaCS 2005：英国爱丁堡（ETAPS 2005的一部分）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/2005
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/2005
弗拉迪米罗·萨松:
软件科学和计算结构基础，第八届国际会议，FOSSACS 2005，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2005，英国爱丁堡，2005年4月4-8日，会议记录。计算机科学课堂讲稿3441,施普林格 2005，国际标准图书编号3-540-25388-2

受邀会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/FerrariMT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/FerrariMT05
吉安·路易吉·费拉里,乌戈·蒙塔纳里,埃米利奥·托斯托:
标称计算的模型检查。 1至24
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Fiore05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Fiore05
马塞洛·菲奥雷:
计算结构和组合结构的数学模型。 25-46

规则格式和相互模拟

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/MousaviR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/MousaviR05
穆罕默德·雷扎·穆萨维,米歇尔·雷尼尔斯:
结构同余的同余。 47-62
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LanotteT05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LanotteT05
拉格罗·拉诺特,西蒙·蒂尼:
半随机生成过程的概率同余。 63-78
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LuttgenV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LuttgenV05
杰拉尔德·吕特根,沃尔特·福格勒:
速度上的相互模拟：一种统一的方法。 79-94

概率模型

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AbbesB05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AbsesB05
萨米·阿贝斯,阿尔伯特·本文尼斯特:
将单元分支为事件结构和网络的局部状态：概率应用。 95-109
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DengP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DengP05
邓玉欣,帕拉米德斯猫:
概率有限状态行为的公理化。 110-124
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/CataniSKN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/CataniSKN05
斯特凡诺·卡塔尼,罗伯托·塞加拉,Marta Z.Kwiatkowska公司,格钦·诺曼:
连续状态空间和非确定性的随机转移系统。 125-139
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LaroussineS05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LaroussinieS05
弗朗索瓦·拉鲁西尼,杰里米·斯普洛斯顿:
持续概率系统的模型检验。 140-154

代数模型

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Stark05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Stark05
伊恩·斯塔克:
的自由代数模型圆周率-微积分。 155-169
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/MiculanY05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/MiculanY05
马里诺·米库兰,基丹·叶马内:
变量和名称的统一模型。 170-186
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Fahrenberg05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Fahrenberg05
乌尔里希·法伦伯格:
一类高维自动机。 187-201

游戏和自动化

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/MurawskiW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/MurawskiW05
安德烈·穆拉夫斯基,伊戈尔·瓦卢基维奇:
带迭代的三阶理想化算法是可判定的。 202-218
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BouyerCD05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BouyerCD05
帕特里夏·鲍耶,Fabrice骑士,Deepak D'Souza公司:
利用时间自动机进行故障诊断。 219-233年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LarsenR05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LarsenR05
金·古德斯特兰·拉森,雅各布·伊勒姆·拉斯穆森:
多供给时间自动机的最优条件可达性。 234-249
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LasotaW05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LasotaW05
斯拉沃米尔·拉索塔,伊戈尔·瓦卢基维奇:
交替时间自动机。 250-265

语言分析

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/JeffreyR05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/JeffreyR05
阿兰·杰弗里,朱利安·拉特克:
多态Pi-Calculus的完全抽象。 266-281
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LaneveZ05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LaneveZ05
科西莫·拉伊夫,吉安路易吉·扎瓦塔罗:
Web事务的基础。 282-298
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/FocardiRS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/FocardiRS05
里卡多·福卡迪,萨比娜·罗西,安德烈·萨贝尔菲尔德:
基于桥接语言的进程演算安全性。 299-315
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BartolettDF05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BartolettDF05
马西莫·巴托莱蒂,皮耶保罗·德加诺,吉安·路易吉·费拉里:
具有本地策略的基于历史的访问控制。 316-332

部分订单模型

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Froschle05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Froschle05
Sibylle B.Fröschle先生:
真实并发中的合成和分解。 333-347
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ScheeferV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ScheferV05
马克·施费尔,沃尔特·福格勒:
STG分解的组件细化和CSC求解。 348-363
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BontempsS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BontempsS05
伊夫·邦坦普斯,皮埃尔·伊夫·肖本斯:
实时序列图的复杂性。 364-378

逻辑

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Cheney公司05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Cheney05
詹姆斯·切尼:
名义逻辑的一个更简单的证明理论。 379-394
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/CalcagnoGH05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/CalcagnoGH05
克里斯蒂亚诺·卡尔卡尼奥,菲利普·加德纳,马修·黑格:
从分离逻辑到一阶逻辑。 395-409
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Goguen05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Goguen05
Healfdene Goguen公司:
证明算法的合理性贝塔-埃塔-转换。 410-424
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BozgaI05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BozgaI05
马吕斯·博兹加,半径Iosif:
加法与除法运算中的可判定性。 425-439

协同模态逻辑

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Schroder05公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Schroder05
卢茨·施罗德:
余代数模态逻辑的表达：极限与超越。 440-454
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BonsangueK05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BonsangueK05
马塞洛·M·邦桑格,亚历山大·库兹:
过渡系统逻辑的对偶性。 455-469

计算模型

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Kaiser05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Kaiser05
卢卡斯·凯泽:
右接地重写系统的合流是可以决定的。 470-489
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AehligMO05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AehligMO05
克劳斯·埃利格,朱莉·德米兰达,C.-H.卢克·翁:
对于字符串语言，安全不是级别2的限制。 490-504
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/EdalatLP05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/EdalatLP05
阿巴斯·艾达拉特,安德烈·留尼特,德克·帕丁森:
多变量微分学的计算模型。 505-519

服务

管理站点设置

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