停止战争！

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

对于科学家来说：

默认搜索操作

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

询问他人

计算的形式方面，第31卷

>主页 >期刊销售 >计算的形式方面

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第31卷第1期，2019年2月

2016年环境论坛上提交的论文扩展版

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/FranzleKWZ19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/FranzleKWZ19
马丁·弗伦泽,迪帕克·卡普尔,海克·韦尔海姆,詹乃军:
编辑。 1
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Ying19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Ying19
明生英:
朝向量子程序的自动验证。 3-25
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/MizeraPY19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/MizeraPY19
安德烈·米泽拉,彭军（Jun Pang）,袁栖霞:
GPU加速了大型概率布尔网络的稳态计算。 27-46
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/DongFV19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DongFV19
董晓菊,傅玉玺,丹尼尔·瓦拉卡:
扩展Petri网。 47-58

常规论文

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/BozzanoCM19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BozzanoCM19
马可·波扎诺,亚历山德罗·西马蒂,克里斯蒂安·马塔雷:
冗余架构的正式可靠性分析。 59-94
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/LinBGM19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/LinBGM19
林玉辉,阿兰·邦迪,古德蒙德·格罗夫,埃文·麦克林:
通过涟漪和校样修补实现Event-B不变校样的自动化。 95-129

第31卷第2期，2019年4月

2016年FM上发表的论文扩展版本

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/GnesiCFH19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/GnesiCFH19
斯蒂芬妮娅·格内西,安娜·卡瓦尔坎蒂,约翰·菲茨杰拉德,康斯坦斯·海特迈尔:
编辑。 131-132
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/HayesMWC19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/HayesMWC19
伊恩·J·海斯,拉里萨·梅尼基,克尔斯滕·温特,罗伯特·科尔文:
同步程序代数：关于共享内存和基于事件的并发性的推理基础。 133-163
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BiondiKLT19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BiondiKLT19
法布里奇奥·比昂迪,川本优助,Axel Legay公司,路易斯·马里·特劳努埃兹:
互信息的混合统计估计及其在信息流中的应用。 165-206
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/TaLKC19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/TaLKC19
Quang-Trung Ta公司,Ton Chanh Le公司,Siau-Cheng Khoo公司,魏恩甘钦:
分离逻辑中的自动互感应证明。 207-230
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/DimovskiBW19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fic/DimovskiBW19
亚历山大·迪莫夫斯基,克劳斯·布拉布兰德,安德烈·瓦索夫斯基:
为提升分析寻找合适的变异性抽象。 231-259
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BisgaardGHKNS19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BisgaardGHKNS19
莫滕·比斯加德,大卫·格哈特,霍尔格·赫尔曼斯,扬·科卡尔,吉尔斯·涅斯,马文·斯坦格:
在低轨道上安排电池：GomX-3案例。 261-285

第31卷第3期，2019年6月

个人捐款

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/KobayashiIH19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/KobayashiIH19
小林尊,石川福玉,Shinichi Honiden公司:
Event-B模型中精炼结构的一致性保持重构。 287-320
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BeillahiMT19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BeillahiMT19
西迪·穆罕默德·拜拉希,穆罕默德·尤斯里·马哈茂德,索菲亚·塔哈尔:
光学量子电路的建模和验证框架。 321-351
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Jones 19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/JonesY19
克利夫·琼斯,尼桑萨拉·亚塔帕纳奇:
基于并发垃圾收集器示例调查依赖/保证关系的限制。 353-374
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/AntoninoGR19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/AntoninoGR19
佩德罗·安东尼诺,托马斯·吉布森-罗宾逊,A.W.罗斯科:
使用基于局部分析的近似和SAT求解对并发系统进行有效验证。 375-409

第31卷第4期，2019年8月

个人捐款

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/fac/Low19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fic/Lowe19
加文·洛:
发现并纠正通道实现中的死锁。 411-419
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/BrogiCS19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/BrogiCS19
安东尼奥·布罗吉,安德烈亚·科拉迪尼,雅各布·索尔达尼:
估算多组件企业应用程序的成本。 421-451
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Banach 19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Banach19
理查德·巴纳赫:
约翰·菲茨杰拉德（John Fitzgerald）、彼得·戈姆·拉森（Peter Gorm Larsen）、马塞尔·弗霍夫（Marcel Verhoef）主编：《嵌入式系统的协同设计》（Collaborative design for embedded systems）——施普林格（Springer），柏林-海德堡（Berlin Heidelberg），2014年。 453-454
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Konnov19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Konnov19
伊戈尔·康诺夫:
Edmund M.Clarke、Thomas A.Henzinger、Helmut Veith和Roderick Bloem（编辑）：模型检查手册-Springer International Publishing AG，Cham，Switzerland，2018年。 455-456

第31卷第5期，2019年11月

2018 FASE精选论文的扩展版

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/RussoSW19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fic/RussoSW19
亚历山德拉·拉索,安迪·舒尔,海克·韦尔海姆:
编辑。 457-458
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/MenghiSCG19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/MenghiSCG19
克劳迪奥·蒙吉,保拉·斯波莱蒂尼,玛莎·契契克,卡洛·盖齐:
控制器迭代设计的验证驱动框架。 459-502
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/LiuOWGM19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/LiuOWGM19
司刘,彼得·塞巴·奥尔夫茨基,王琦（Qi Wang）,因德拉尼尔·古普塔,何塞·梅塞盖尔:
阅读防止更新丢失的原子事务：ROLA及其形式分析。 503-540
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/MarmsolerG19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/MarmsolerG19
迭戈·马姆塞勒,哈布托姆·卡西·吉迪:
FACTum中建筑设计模式的交互验证。 541-610
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/fac/DiskinKL19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DiskinKL19
Zinovy磁盘,哈拉尔德·科尼格,马克·劳福德:
带修正和K-Putput的多元三角透镜的多模型同步。 611-640
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Michaelson 19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Michaelson19
格雷格·迈克尔森:
Bernhard Steffen、Oliver R¨uthing和Michael Huth：《高级信息学的数学基础——第1卷：归纳方法——Springer》，2018年4月2日，258页，156x16x234mm，ISBN-13:978-3319683966（Hardback，28.99英镑），ISBN:978-3030098339（Paperback，27.99英镑）。 641-642

第31卷第6期，2019年12月

- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/DershowitzW19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/DershowitzW19
纳丘姆·德肖维茨,理查德·沃尔丁格:
佐哈尔·曼纳（1939-2018）。 643-660
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/JonesO19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/JonesO19
克利夫·琼斯,何塞·奥利维拉:
编辑。 661
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Haigh19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Haigh19
托马斯·黑格:
将史前史整理成正式的方法：个人观点。 663-674
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/PaulsonNW19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/PaulsonNW19
劳伦斯·保尔森,托比亚斯·尼普科,马卡里乌斯·温策尔:
从LCF到Isabelle/HOL。 675-698
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/Moore19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/Moore19
J斯特罗瑟·摩尔:
从Pure Lisp定理证明器到ACL2的里程碑。 699-732
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/PousS19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/PousS19
达米安·普斯,戴维德·桑吉奥吉:
共刺激和共诱导增强：历史视角。 733-749
- 看法
  - 通过DOI的电子版（开放访问）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/AptO19
- 询问他人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/AptO19
Krzysztof R.Apt公司,Ernst-Rüdiger Olderog公司:
霍尔50年的逻辑。 751-807

服务

管理网站设置

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