编辑配置文件（在新选项卡中打开） 弗兰克·斯托普 合著者距离 作者ID： 斯特姆·弗兰克 发布日期： 弗兰克·斯托普 已编制索引的文档： 4出版物自1999年起 合著者： 3位合著者具有3联合出版物 160位合著者 合著者 1 单作者的 1 米洛斯·贝斯塔 1 多列夫，什洛米 1 艾米·费尔蒂（Amy P.Felty）。 系列 1 理论计算机科学 1 计算的形式方面 1 分布式计算 1 系统设计中的形式化方法 领域 4 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用2中的次2文件 引用人▼ 年份▼ SCI中的缓存一致性：规范和正确性草图。 Zbl 0953.68004号 艾米·费尔蒂;弗兰克·斯托普 1 1999 Boyer-Moore模式匹配算法中子串预处理的正确性。 兹比尔1018.68050 弗兰克·斯托普 1 2003 Boyer-Moore模式匹配算法中子串预处理的正确性。 Zbl 1018.68050号 弗兰克·斯托普 1 2003 SCI中的缓存一致性：规范和正确性草图。 Zbl 0953.68004号 艾米·费尔蒂;弗兰克·斯托普 1 1999 4位作者引用 1 米洛斯·贝斯塔 1 艾米·费尔蒂（Amy P.Felty）。 1 道格拉斯·J·豪。 1 弗兰克·斯托普 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文