编辑配置文件（在新选项卡中打开） 亚历山大·辛普夫 合著者距离 作者ID： 希姆普夫·亚历山大 发布日期： 亚历山大·辛普夫 已编制索引的文档： 2出版物自2009年起 合著者： 1位合著者具有2联合出版物 20位合作作者 合著者 0 单作者的 2 斯马乌斯，Jan-Georg 系列 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用6中的次6文件 引用人▼ 年份▼ 在Isabelle/HOL中验证了用于LTL模型检查的Büchi自动机的构造。 Zbl 1252.68196号 亚历山大·辛普夫;斯蒂芬·默兹;斯马乌斯，Jan-Georg 6 2009 在Isabelle/HOL中验证了用于LTL模型检查的Büchi自动机的构造。 Zbl 1252.68196号 亚历山大·辛普夫;斯蒂芬·默兹;斯马乌斯，Jan-Georg 6 2009 所有引用出版物 前5名被引用出版物 全部的 前5名11位作者引用 2 穆罕默德·阿卜杜勒·阿齐兹 2 查尔斯·格雷顿 2 迈克尔·诺里什 1 朱利安·布伦纳 1 拉杰夫·普拉巴卡尔·戈尔 1 维姆·赫瑟林克。 1 彼得·兰米奇 1 安德烈亚斯·洛赫比勒 1 塞德尔，贝内迪克特 1 所罗门·西克特 1 吴敏超 2篇连载文章中引用 2 自动推理杂志 1 计算的形式方面 在2个字段中引用 6 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文