85.生日： 鲍里斯·特拉赫滕布罗特 , 2006 / 2008
阿诺·阿夫伦 , 纳丘姆·德肖维茨 , 亚历山大·拉比诺维奇 以下为：
《计算机科学的支柱》，鲍里斯·特拉赫滕布罗特85岁生日致辞。 计算机科学课堂讲稿 4800, 施普林格 2008 ，国际标准图书编号 电话：978-3-540-78126-4 鲍里斯·特拉赫滕布罗特 以下为：
从逻辑到理论计算机科学——更新。 1-38 阿尔伯特·梅耶 以下为：
回忆。 39-45 阿诺·阿夫伦 , 纳丘姆·德肖维茨 , 亚历山大·拉比诺维奇 
以下为：
Boris A.Trakhtenbrot：学术谱系和出版物。 46-57 谢尔盖·N·阿特莫夫 以下为：
证明的对称逻辑。 58至71 米哈伊尔·奥古斯顿 , 马克·B·特拉赫滕布罗特 以下为：
反应系统实时分析监视器的合成。 72-86 阿诺·阿夫伦 以下为：
基于静态集合项的集合理论形式化框架。 87-106 马蒂亚斯·巴兹 , 理查德·扎克 以下为：
一般命题逻辑的有效有限值逼近。 107-129 贾尼斯·巴兹丁斯 , 奥德里斯·卡林斯 , 埃德加斯·伦奇斯 , 谢尔盖斯·里卡科夫斯 以下为：
模型转换语言及其Bootstrapping方法实现。 130-145 本瑟姆 , 池谷大辅 以下为：
模态定点逻辑和变化模型。 146至165 简·A·伯格斯特拉 , 约拉姆·赫什菲尔德 , 约翰·V·塔克 以下为：
字段、草地和抽象数据类型。 166-178年 安德烈亚斯·布拉斯 , 尤里·古雷维奇 以下为：
为什么设置？ 179-198 乌迪·博克 , 纳丘姆·德肖维茨 以下为：
任意领域的教会教义论文。 199-229 迈克尔·德克蒂亚 , 亚历山大·贾。 迪科夫斯基 以下为：
广义类别依赖语法。 230-255 迈克尔·德克蒂亚 , 亚历山大·贾。 迪科夫斯基 , 马尔斯·瓦利耶夫 以下为：
概率多智能体系统的时间验证。 256-265 埃尔达·费舍尔 , 约翰·马科斯基 以下为：
图多项式的线性递归关系。 266-279 Rusins Freivalds公司 以下为：
Artin的猜想和有限概率自动机的大小。 280-291 Dov M.Gabbay公司 以下为：
介绍反应Kripke语义和Arc可访问性。 292-341 Moti Gitik公司 , 梅纳希姆·马吉多 以下为：
关于部分基础良好的通用超功率。 342-350 哈雷尔 , 沙哈尔·毛兹 , 伊泰·塞格尔 以下为：
关于LSC表达能力和复杂性的一些结果。 351-366 长谷正彦 , 马丁·霍夫曼 , 戈登·普洛金 以下为：
有限维向量空间对于迹对称单体范畴是完备的。 367-385 迈克尔·卡明斯基 , 陈庆炎 以下为：
无限字母表上的树自动机。 386-423 丹尼尔·莱曼 以下为：
累积逻辑中的连接词。 424-440 丹尼尔·利万特 以下为：
程序终止的动态逻辑推理。 441-456 列奥尼德·莱文 以下为：
二次范数的宽限：一些例子。 457-459 伊琳娜·洛马佐娃 以下为：
用于自适应过程建模的嵌套Petri网。 460-474 奥德·马勒 , 德扬·尼科维奇 , 阿米尔·普努利 以下为：
检查离散、定时和连续行为的时间属性。 475-505 安东尼·马祖基维奇（Antoni W.Mazurkiewicz） 以下为：
无标记Petri网。 506-520 格里戈里造币厂 以下为：
证明搜索树和切割消除。 521-536 瓦莱里·A·内波米纳希 以下为：
改变数据结构元组上的定迭代的符号验证方法及其在指针程序中的应用。 537-554 鲍里斯·普罗特金 , 塔贾娜·普罗特金 以下为：
代数上初等集的范畴和初等代数知识的范畴。 555-570 亚历山大·拉比诺维奇 , 阿米特·肖姆拉特 以下为：
一元序数理论中的选择和统一问题：综述。 571-588 沃尔夫冈·雷西格 以下为：
Scholten/Dijkstra圆石游戏直线、分散、在线和反向。 589-595 塞萨尔·桑切斯 , 马蒂奥·斯莱尼娜 , 亨尼·B·西普玛 , 佐哈尔·曼纳 以下为：
反应代数：事件关联的形式语言。 596年至619年 弗拉基米尔·萨佐诺夫 以下为：
关于自然非dcpo域。 620-634 沃尔夫冈·托马斯 以下为：
丘奇问题与自动机理论之旅。 635-655 莫舍·瓦尔迪 以下为：
从一元逻辑到PSL。 656-681
