编辑配置文件（在新选项卡中打开） 利奥·弗雷塔斯 合著者距离 作者ID： 弗雷塔斯·利奥 发布日期： 利奥·弗雷塔斯;莱昂纳多·弗雷塔斯 主页： https://www.ncl.ac.uk/computing/staff/profile/leofreitas.html 外部链接： 谷歌学者 已编制索引的文档： 11出版物自2005年以来 合著者： 12位合著者具有11联合出版物 262位联合作者 全部的 前5名合著者 0 单作者的 7 詹姆斯·C·P·伍德科克。 1 休·安德森 1 安德鲁·巴特菲尔德 1 安娜·卡瓦尔坎蒂 1 加布里埃尔·乔巴努 1 西蒙·福斯特 1 付，郑 1 Cliff B.琼斯。 1 安德烈乌斯·维利基斯 1 保罗·沃森。 1 泽达，弗兰克 1 张艺奇 系列 三 计算机程序设计科学 1 计算的形式方面 1 国际计算机数学杂志 领域 11 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用21中的次17文件 引用人▼ 年份▼ Z/Eves和mondex电子钱包。 Zbl 1168.68544号 吉姆·伍德科克;利奥·弗雷塔斯 6 2006 模型检查Circus的操作语义。 Zbl 1120.68423号 吉姆·伍德科克;安娜·卡瓦尔坎蒂;莱昂纳多·弗雷塔斯 6 2005 Z/Eves中的POSIX文件存储：在经过验证的软件存储库中进行的实验。 Zbl 1162.68388号 利奥·弗雷塔斯;吉姆·伍德科克;付，郑 三 2009 机械化闪存的正式模型。 Zbl 1162.68387号 安德鲁·巴特菲尔德;利奥·弗雷塔斯;吉姆·伍德科克 2 2009 证明关于JML类的定理。 兹比尔1151.68348 利奥·弗雷塔斯;吉姆·伍德科克 2 2007 Isabelle/UTP的公理化价值模型。 Zbl 1483.68093号 泽达，弗兰克;西蒙·福斯特;利奥·弗雷塔斯 2 2017 Isabelle/UTP的公理化价值模型。 Zbl 1483.68093号 泽达，弗兰克;西蒙·福斯特;利奥·弗雷塔斯 2 2017 Z/Eves中的POSIX文件存储：在经过验证的软件存储库中进行的实验。 Zbl 1162.68388号 利奥·弗雷塔斯;吉姆·伍德科克;付，郑 三 2009 机械化闪存的正式模型。 Zbl 1162.68387号 安德鲁·巴特菲尔德;利奥·弗雷塔斯;吉姆·伍德科克 2 2009 证明关于JML类的定理。 Zbl 1151.68348号 利奥·弗雷塔斯;吉姆·伍德科克 2 2007 Z/Eves和mondex电子钱包。 Zbl 1168.68544号 吉姆·伍德科克;利奥·弗雷塔斯 6 2006 模型检查Circus的操作语义。 Zbl 1120.68423号 吉姆·伍德科克;安娜·卡瓦尔坎蒂;莱昂纳多·弗雷塔斯 6 2005 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 9 詹姆斯·C·P·伍德科克。 5 安娜·卡瓦尔坎蒂 5 利奥·弗雷塔斯 三 西蒙·福斯特 2 维姆·赫塞林克。 2 泽达，弗兰克 1 JiříBarnat 1 卢博什 1 安德鲁·巴特菲尔德 1 塞缪尔·卡纳姆 1 程、舒 1 达科斯塔，翁贝托·苏扎 1 迪帕克·D’Souza 1 斯特凡·爱德坎普 1 付，郑 1 玛丽·克劳德·高德尔 1 克里斯·乔治（Chris W.George）。 1 穆罕默德·伊克拉姆·拉利 1 何继峰 1 拉利，M.I。 1 马丁斯·莫雷拉，阿纳玛丽亚 1 Musicante，Martin A。 1 马塞尔·奥利维拉 1 胡安·伊格纳西奥·佩尔纳 1 奥古斯托·桑帕约。 1 阿德南警长 1 西蒙切克，帕维尔 1 Souza Neto，Plácido A。 1 达米安·苏鲁夫斯基 1 保罗·沃森。 1 叶康峰 1 张艺奇 全部的 前5名6篇连载文章中引用 6 计算的形式方面 5 计算机程序设计科学 1 信息学报 1 理论计算机科学 1 国际计算机数学杂志 1 程序设计中的逻辑和代数方法杂志 在1个字段中引用 17 计算机科学（68至XX） 按年份列出的引文