编辑配置文件(在新选项卡中打开) 约翰·菲茨杰拉德。 合著者距离 作者ID: 菲茨杰拉德·约翰·s 发布日期: 约翰·菲茨杰拉德。;J.S.菲茨杰拉德。 外部链接: MGP公司 已编制索引的文档: 9出版物自1993年以来,包括4本书 5名编辑的贡献 合著者: 7合著者具有4联合出版物 95位合作作者 全部的 前5名合著者 1 单作者的 3 斯特凡妮娅·格内西 3 彼得·戈姆·拉森 2 康斯坦斯·海特迈尔 1 胡安·比卡雷奎。 1 波音、卡尔 1 安娜·卡瓦尔坎蒂 1 约翰·德里克 1 安妮·伊丽莎白·哈克斯豪森 1 伊恩·海耶斯。 1 克利夫·琼斯。 1 萨尔夫拉兹·库希德 1 罗伯特·F·拉克斯。 1 Michael Leuschel先生 1 彼得·亚历山大·林赛 1 R·摩尔。 1 保罗·穆克吉 1 安德烈亚斯·奥尔特曼 1 安娜·菲利普 1 尼科·普拉特 1 史蒂夫·里夫斯 1 利可宾,埃尔维尼亚 1 布莱恩·里奇 1 安德烈·塔莱基 1 马塞尔·弗霍夫 1 胡斯努·耶尼贡 全部的 前5名系列 4 计算机科学课堂讲稿 1 代数通讯 1 信息处理信件 1 计算的形式方面 1 设计、代码和密码 1 实验经济学 全部的 前5名领域 11 计算机科学(68至XX) 5 总体主题;集合(00-XX) 1 交换代数(13-XX) 1 群论与推广(20-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用7中的次7文件 引用人▼ 年份▼ 使用Gröbner基解码仿射变化码。 Zbl 0905.94027号 J.菲茨杰拉德。;拉克斯·R·F。 40 1998 信任、互惠和社会历史:重新审视。 Zbl 0973.91525号 安德烈亚斯·奥尔特曼;约翰·菲茨杰拉德;波音、卡尔 8 2000 建模系统。软件开发中的实用工具和技术。带CD-ROM。 Zbl 1181.68102号 约翰·菲茨杰拉德;彼得·戈姆·拉森 7 1998 VDM证明:从业者指南。 Zbl 0809.68023号 胡安·比卡雷奎。;约翰·菲茨杰拉德。;彼得·林赛(Peter A.Lindsay)。;理查德·摩尔;里奇,布莱恩 6 1994 建模系统。软件开发中的实用工具和技术。第2版。 兹比尔1185.68244 约翰·菲茨杰拉德;彼得·戈姆·拉森 5 2009 面向对象系统的验证设计。 Zbl 1109.68023号 约翰·菲茨杰拉德;彼得·戈姆·拉森;保罗·穆克吉;尼科·普拉特;马塞尔·弗霍夫 4 2005 关于部分函数的两种推理方式之间的联系。 兹比尔1186.68288 约翰·菲茨杰拉德。;克利夫·琼斯。 1 2008 FM 2005:形式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。 Zbl 1078.68005号 1 2005 建模系统。软件开发中的实用工具和技术。第2版。 兹比尔1185.68244 约翰·菲茨杰拉德;彼得·戈姆·拉森 5 2009 关于部分函数的两种推理方式之间的联系。 兹比尔1186.68288 约翰·菲茨杰拉德。;克利夫·琼斯。 1 2008 面向对象系统的验证设计。 Zbl 1109.68023号 约翰·菲茨杰拉德;彼得·戈姆·拉森;保罗·穆克吉;尼科·普拉特;马塞尔·弗霍夫 4 2005 FM 2005:形式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。 Zbl 1078.68005号 1 2005 信任、互惠和社会历史:重新审视。 Zbl 0973.91525号 安德烈亚斯·奥尔特曼;约翰·菲茨杰拉德;波音、卡尔 8 2000 使用Gröbner基解码仿射变化码。 Zbl 0905.94027号 J.菲茨杰拉德。;拉克斯·R·F。 40 1998 建模系统。软件开发中的实用工具和技术。带CD-ROM。 Zbl 1181.68102号 约翰·菲茨杰拉德;彼得·戈姆·拉森 7 1998 VDM证明:从业者指南。 Zbl 0809.68023号 胡安·比卡雷奎。;约翰·菲茨杰拉德。;林赛,彼得·A。;理查德·摩尔;布莱恩·里奇 6 1994 所有引用出版物 前5名被引用出版物 全部的 前5名13位作者引用 1 阿尼尔班·巴塔查里亚 1 伯恩德·菲舍尔 1 约翰·菲茨杰拉德。 1 博·斯蒂格·汉森 1 克利夫·琼斯。 1 彼得·戈姆·拉森 1 科内利斯·A·米德尔堡。 1 Ken G.皮尔斯。 1 大卫·萨贝尔 1 曼弗雷德·施密特·沙乌 1 Schumann,Johann M.博士。 1 马丁·西蒙斯 1 马蒂亚斯·韦伯 4篇连载文章中引用 3 计算的形式方面 1 信息学报 1 信息处理信件 1 自动推理杂志 在2个字段中引用 7 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文