信息学报，第54卷
2017年2月第54卷第1期
卢卡·埃特罗 , 大卫·德·弗鲁托斯·埃斯克里格 
:
特刊：第26届并行理论国际会议论文集（CONCUR 2015）。 1-2 保罗·亨特 , 吉列尔莫·A·佩雷斯 , Jean-François Raskin女士 :
无遗憾的反应合成。 3-39 罗曼·布伦吉尔 , Jean-François Raskin女士 , 奥坎·桑库尔 :
假设允许合成。 41-83 托马斯·布里海耶 , 吉勒斯·杰拉尔茨 , 阿克塞尔·哈达德 , 本杰明·蒙梅格 :
伪多项式迭代算法，用于求解总对偶博弈和最小代价可达博弈。 85-125
2017年3月第54卷第2期
菲利波·邦奇 , 丹妮拉·佩特里桑 , 达米安·普斯 , 侏罗纪腐朽 :
关于造币的概述。 127-190 哈维尔·埃斯帕尔扎 , 皮埃尔·甘蒂 , 杰罗姆·勒鲁 , 鲁帕克·马朱姆达尔 :
人口协议的验证。 191-215 萨代赫·埃斯迈尔·扎德赫·苏贾尼（Sadegh Esmaeil Zadeh Soudjani） , 亚历山德罗·阿巴特 , 鲁帕克·马朱姆达尔 :
用于结构化随机过程形式化验证的动态贝叶斯网络。 217-242
2017年5月第54卷第3期
马克·卡博尼 , 法布里奇奥·蒙泰西 , 卡斯滕·舒尔曼 , 吉田信子 :
多方会话类型作为一致性证明。 243-269 迪米特里奥斯·库扎帕斯 , 豪尔赫·A·佩雷斯 , 吉田信子 :
高阶会话进程的特征互模拟。 271-341
2017年6月第54卷第4期
穆罕默德·马赫迪·贾古奥里 , 弗兰克·S·德·波尔 , 德尔芬·朗格特 , 汤姆·乔西亚 , 马尔扬·西尔贾尼 :
实时actor-based系统的组合可调度性分析。 343-378 莉拉·卡里 , 玛纳西·S·库尔卡尼 :
伪序词集的析取性和其他性质。 379-398 皮耶保罗·德加诺 , 吉安·路易吉·法拉利 , 吉安卢卡·梅泽蒂 :
常规和无上下文的标称记录道。 399-433 博格丹·阿曼 , 加布里埃尔·乔巴努 :
通过生物诱导流动性有效解决垃圾箱包装问题。 435-445
2017年8月第54卷第5期
安德烈亚·马林 , 萨宾娜·罗西 :
马尔可夫链集总性与可逆性的关系。 447-485 金舒克·查特吉 , 库马尔·桑卡尔·雷 :
可逆Watson-Crick自动机。 487-499 Achour Mostéfaoui公司 , 米歇尔·雷纳尔 :
无特征码异步拜占庭系统：从多值到二进制一致性，t<n/3，O（n 2 )消息和恒定时间。 501-520 科古 , 魏佳佳 , 王国军 , 盛文 :
单调谓词的高效且安全的基于属性的签名。 521-541
第54卷第6期，2017年9月
克里什南杜·查特吉 , 吕迪格·埃勒斯 :
特刊：Synthesis and SYNT 2014。 543-544 亚伦·波希 , 维罗妮克·布鲁耶尔 , Jean-François Raskin女士 , 纳塔莉·贝特朗 :
单调马尔可夫决策过程中平均路径和最短路径的符号算法。 545-587 米兰塞斯卡 , 弗里茨·丹纳伯格 , 尼古拉·保莱蒂 , 玛尔塔·奎亚特科夫斯卡 , 卢博斯·布里姆 :
随机生化系统的精确参数综合。 589-623
2017年11月第54卷第7期
黄忠浩 , 斯文·舍韦 , 王法恩 :
模型检查迭代游戏。 625-654 丰田隆 , 上野Atsushi , 岛川正也 , Shigeki Hagihara先生 , 直纪延崎 :
考虑最大可实现性的无安全LTL综合。 655-692 苏斯米特·贾 , 桑吉特·塞希亚 :
通过归纳学习的形式综合理论。 693-726
2017年12月第54卷第8期
克里斯特尔·拜尔 , 塞萨尔·蒂内利 :
第21届系统构建与分析工具与算法国际会议特刊（TACAS 2015）。 727-728 德米特里·奇斯蒂科夫 , 雷娜·迪米特洛娃 , 鲁帕克·马朱姆达尔 :
SMT中的近似计数和概率程序的值估计。 729-764 米尔科·贾科布 , Calin C.Guet公司 , 阿舒托什·古普塔 , 托马斯·汉津格 , 蒂亚戈·派克斯昂 , 塔贾娜·彼得罗夫 :
检查基因调控网络进化的模型。 765-787 帕罗什·阿齐兹·阿卜杜拉 , 斯塔夫罗斯·阿罗尼斯 , 穆罕默德·法乌齐·阿提格 , 本特·琼森 , 卡尔·伦纳德森 , 康斯坦蒂诺斯·萨戈纳斯 :
TSO和PSO的无状态模型检查。 第789页至第818页
