古天龙 谢琦 陈莘萌 张广泉 张鹏程 周宇 杜惠敏 杨晓丽 舒忠梅 陈良 郝克刚 王敏 郑建丹 郭建 胡金柱 唐达 贲可荣 虞强源 徐超 田国会 韩俊刚 林洪 吕关锋 刘大有 王蓓 李必信 吕策 吴智铭 王富彬 徐宝文

监控器 CTL 现实世界 高阶逻辑 并行计算模型 时态数据库 具体领域 BDD 时态元组演算 时空推理 体系结构描述语言 软件体系结构 Gamma 数据库技术 以色列 述评 自由变元 模型检验 证明规则 不变性质 硬件设计 顺序进程 度量空间 XYZE OOPEN 计算科学 询问语言 计算机系统 属性序列图 XYZADL