编辑配置文件（在新选项卡中打开） 约书亚·D·古特曼。 合著者距离 作者ID： 古特曼·乔舒阿德 发布方式： 约书亚·D·古特曼。;约书亚·古特曼 已编制索引的文档： 25出版物自1990年以来 6作为编辑的贡献 传记参考文献： 2出版物 合著者： 24位合著者具有22联合出版物 443位合作作者 全部的 前5名合著者 8 单作者的 6 Farmer，William M。 6 约翰·D·拉姆斯代尔。 三 皮耶保罗·德加诺 三 保罗·D·罗。 2 马尔科·卡博尼 2 沙丁·多赫米（Shaddin F.Doghmi）。 2 乔纳森·赫尔佐格。 2 布莱恩·斯尼芬。 1 塔贾纳Ban Kirigin 1 杰·卡尔森（Jay A.Carlson）。 1 丹尼尔·多尔蒂（Daniel J.Dougherty）。 1 桑德罗·埃塔利 1 Fábrega，F.Javier Thayer 1 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 1 卡尔·E·兰德维尔。 1 摩西·D·利斯科夫。 1 Loo，Boon Thau先生 1 法比奥·马蒂内利 1 马克·纳德尔（Mark E.Nadel）。 1 Vivek Nigam先生 1 冈田三弘 1 巴甫洛维奇，杜什科 1 卡罗琳·塔尔科特。 1 米切尔·旺德 系列 5 计算机科学课堂讲稿 2 自动推理杂志 1 Studia Logica公司 1 理论计算机科学 1 符号计算杂志 领域 23 计算机科学（68至XX） 19 信息与通信理论、电路（94-XX） 6 总体主题；集合（00-XX） 4 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用98中的次76文件 引用人▼ 年份▼ IMPS：一个交互式数学证明系统。 Zbl 0802.68129号 Farmer，William M。;约书亚·D·古特曼。;塞耶，F.哈维尔 35 1993 身份验证测试和捆绑包的结构。 Zbl 1050.68039号 约书亚·D·古特曼。;塞耶，F.哈维尔 17 2002 在加密协议中搜索形状。 兹比尔1186.94435 沙丁·多赫米（Shaddin F.Doghmi）。;约书亚·D·古特曼。;塞耶，F.哈维尔 10 2007 一种支持偏函数的集合论。 Zbl 0966.03050号 Farmer，William M。;约书亚·D·古特曼。 5 2000 编程加密协议。 Zbl 1151.68404号 约书亚·D·古特曼。;乔纳森·赫尔佐格。;约翰·D·拉姆斯代尔。;布莱恩·斯尼芬。 5 2005 通过身份验证测试的加密协议组成。 Zbl 1234.94045号 约书亚·D·古特曼。 5 2009 链空间的状态和进展：证明公平交换。 Zbl 1242.68100号 约书亚·D·古特曼。 4 2012 IMPS：更新的系统描述。 Zbl 1412.68220号 Farmer，William M。;约书亚·D·古特曼。;Fábrega，F.哈维尔·塞耶 4 1996 安全目标：数据包轨迹和链空间。 Zbl 1007.68509号 约书亚·D·古特曼。 三 2001 数学推理和计算的上下文。 Zbl 0836.68107号 Farmer，William M。;约书亚·D·古特曼。;塞耶，F.哈维尔 1 1995 VLISP。经验证的方案实施。转载自《Lisp和符号计算》杂志第8期，第1-2期（1995年）。 Zbl 0821.68031号 1 1995 安全和信任原则。2012年3月24日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2012）的一部分，在爱沙尼亚塔林举行了第一届国际会议，即2012年邮政总局。诉讼程序。 Zbl 1238.68013号 1 2012 骨架、同态和形状：协议执行的特征。 Zbl 1316.94067号 沙丁·多赫米（Shaddin F.Doghmi）。;约书亚·D·古特曼。;塞耶，F.哈维尔 1 2007 串空间中的信任管理：一种可靠保证方法。 Zbl 1126.68398号 约书亚·D·古特曼。;塞耶，F.哈维尔;杰·卡尔森（Jay A.Carlson）。;乔纳森·赫尔佐格。;约翰·D·拉姆斯代尔。;布莱恩·斯尼芬。 1 2004 用安全的盒子和妥协的原则编排。 Zbl 1454.68073号 马尔科·卡博尼;约书亚·古特曼 1 2009 通过模型理论的安全性定理。 Zbl 1456.68022号 约书亚·古特曼 1 2009 逻辑、语言和安全。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。 Zbl 1464.03004号 1 2020 IMPS：一个交互式数学证明系统。 Zbl 1509.68305号 Farmer，William M。;约书亚·D·古特曼。;塞耶，F.哈维尔 1 1990 IMPS中的证明脚本语用学。 Zbl 1433.68545号 Farmer，William M。;约书亚·D·古特曼。;马克·纳德尔（Mark E.Nadel）。;哈维尔·塞耶 1 1994 逻辑、语言和安全。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。 Zbl 1464.03004号 1 2020 链空间的状态和进展：证明公平交换。 Zbl 1242.68100号 约书亚·D·古特曼。 4 2012 安全和信任原则。2012年3月24日至4月1日，作为欧洲软件理论与实践联合会议（ETAPS 2012）的一部分，在爱沙尼亚塔林举行了第一届国际会议，即2012年邮政总局。诉讼程序。 Zbl 1238.68013号 1 2012 通过身份验证测试合成加密协议。 Zbl 1234.94045号 约书亚·D·古特曼。 5 2009 用安全的盒子和妥协的原则编排。 Zbl 1454.68073号 马尔科·卡博尼;约书亚·古特曼 1 2009 通过模型理论的安全性定理。 Zbl 1456.68022号 约书亚·古特曼 1 2009 在加密协议中搜索形状。 兹比尔1186.94435 沙丁·多赫米（Shaddin F.Doghmi）。;约书亚·D·古特曼。;塞耶，F.哈维尔 10 2007 骨架、同态和形状：协议执行的特征。 Zbl 1316.94067号 沙丁·多赫米（Shaddin F.Doghmi）。;约书亚·D·古特曼。;塞耶，F.哈维尔 1 2007 编程加密协议。 Zbl 1151.68404号 约书亚·D·古特曼。;乔纳森·赫尔佐格。;约翰·D·拉姆斯代尔。;布莱恩·斯尼芬。 5 2005 串空间中的信任管理：一种可靠保证方法。 Zbl 1126.68398号 约书亚·D·古特曼。;塞耶，F.哈维尔;杰·卡尔森（Jay A.Carlson）。;乔纳森·赫尔佐格。;约翰·D·拉姆斯代尔。;布莱恩·T·斯尼芬。 1 2004 身份验证测试和捆绑包的结构。 Zbl 1050.68039号 约书亚·D·古特曼。;塞耶，F.哈维尔 17 2002 安全目标：数据包轨迹和链空间。 Zbl 1007.68509号 约书亚·D·古特曼。 三 2001 支持部分函数的集合论。 兹伯利0966.03050 Farmer，William M。;约书亚·D·古特曼。 5 2000 IMPS：更新的系统描述。 兹比尔1412.68220 Farmer，William M。;约书亚·D·古特曼。;Fábrega，F.Javier Thayer 4 1996 数学推理和计算的上下文。 Zbl 0836.68107号 Farmer，William M。;约书亚·D·古特曼。;塞耶，F.哈维尔 1 1995 VLISP。经验证的方案实施。转载自《Lisp和符号计算》杂志第8期，第1-2期（1995年）。 Zbl 0821.68031号 1 1995 IMPS中的校对脚本语用学。 Zbl 1433.68545号 Farmer，William M。;约书亚·D·古特曼。;马克·纳德尔（Mark E.Nadel）。;塞耶，F.哈维尔 1 1994 IMPS：一个交互式数学证明系统。 Zbl 0802.68129号 Farmer，William M。;约书亚·D·古特曼。;塞耶，F.哈维尔 35 1993 IMPS：一个交互式数学证明系统。 Zbl 1509.68305号 Farmer，William M。;约书亚·D·古特曼。;塞耶，F.哈维尔 1 1990 所有引用出版物 前5名被引用出版物 全部的 前5名131位作者引用 9 弗洛里安·拉贝 8 约书亚·D·古特曼。 7 Farmer，William M。 5 迈克尔·科尔哈斯 三 塞巴斯蒂安·亚历山大·莫德谢姆 三 劳伦斯·查尔斯·保尔森 2 安德鲁斯，彼得·B·。 2 阿兰·邦迪 2 雅克·卡雷特 2 克雷默斯，Cas J.F。 2 汉斯·德·尼维尔 2 丹尼尔·多尔蒂（Daniel J.Dougherty）。 2 古德蒙德·格罗夫 2 塞萨里·卡利西克 2 绍克·莫 2 艾莉森·皮斯 2 丹尼尔·拉吉 2 卢卡·维甘诺 1 苏珊娜·安多瓦 1 迈托·阿拉皮尼斯 1 科斯塔斯阿库达斯 1 David A.Basin。 1 马修·史蒂文·鲍尔 1 詹保罗·贝拉 1 乌尔里希·伯格 1 卡尔蒂基扬·巴尔干 1 阿比舍克省比什哈瓦特 1 马修主教 1 塞巴斯蒂安·布赖斯 1 乍得·布朗·爱德华 1 阿希姆·D·布鲁克。 1 亚历山德罗·布鲁尼 1 塞尔吉·布尔苏克 1 卡洛斯·卡莱罗 1 雅克·卡梅特 1 兰·卡内蒂 1 坎通纳，多梅尼科 1 马尔科·卡博尼 1 伊利亚诺·塞维萨托 1 罗希特·查达 1 吉安卢卡·辛科蒂 1 瑞安·达纳斯 1 贾里德戴维斯 1 埃里克·P·德文克。 1 多米尼克·迪特里希 1 沙丁·多赫米（Shaddin F.Doghmi）。 1 Fábrega，F.Javier Thayer 1 冯志勇 1 约翰·菲茨杰拉德。 1 里卡多·福卡迪 1 安德烈亚斯·弗兰克 1 Fröschle，Sibylle B。 1 乔瓦尼·加洛 1 罗萨里奥·朱斯托利西 1 克里斯蒂安·戈斯汀 1 奥林·格里戈洛夫。 1 拉多米尔·哈拉什 1 詹姆斯·希瑟 1 劳里·T·海拉。 1 乔纳森·赫尔佐格。 1 安德烈亚斯·赫斯。 1 佩德拉姆·霍塞尼 1 侯铁英 1 胡静 1 迪特尔·赫特 1 米娜·安库 1 苏尼尔·伊萨尔 1 亚伦·D·贾加德。 1 克里斯蒂安·约翰森 1 克利夫·琼斯。 1 曼弗雷德·科伯 1 克里希纳穆提，施莱姆 1 拉尔夫·库斯特斯 1 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 1 李晓红 1 李永坚 1 朱迪塔·利霍娃 1 阿列克谢·利西萨（Alexei P.Lisitsa）。 1 刘佳 1 弗拉米尼娅·卢西奥。 1 罗俊洲 1 马可·马格西 1 法比奥·马萨奇 1 大卫·艾伦·麦卡利斯特 1 凯瑟琳·梅多斯。 1 Mjölsnes，Stig Frode 1 穆勒，丹尼斯 1 玛格努斯·奥·米林。 1 马克·纳德尔（Mark E.Nadel）。 1 蒂姆·纳尔逊 1 丹·奈史密斯 1 乌韦·内斯特曼 1 斯科特·欧文斯 1 庞、军 1 巴甫洛维奇，杜什科 1 弗兰克·芬宁 1 西尔文·平斯基 1 阿尔弗雷多·皮隆蒂 1 索拉维，Porncharenwase 1 Quoc Huy Do公司 …还有31位作者 全部的 前5名20篇连载文章中引用 10 自动推理杂志 5 理论计算机科学 4 信息与计算 三 计算的形式方面 2 符号计算杂志 2 MSCS公司。计算机科学中的数学结构 2 应用逻辑杂志 1 信息处理信件 1 数学信使 1 信息科学 1 模拟中的数学和计算机 1 圣母院形式逻辑杂志 1 密码学杂志 1 高阶和符号计算 1 应用数学杂志 1 ACM计算逻辑事务 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 中国科学。F系列 1 计算机科学中的数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 61 计算机科学（68至XX） 21 信息与通信理论、电路（94-XX） 17 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 一般拓扑结构（54至XX） 按年份列出的引文