编辑配置文件（在新选项卡中打开） 保罗·库松 合著者距离 作者ID： 库尔松保罗 发布日期： 保罗·库松 已编制索引的文档： 11出版物自1993年起 1名编辑贡献 合著者： 8位合著者具有10联合出版物 119合著作者 全部的 前5名合著者 2 单作者的 6 安·布兰德福德 5 索菲涅·塔哈尔 三 熊海燕 2 卢克瑟纳斯、里姆维达斯 1 回来，乔纳森 1 安东尼奥·塞隆 1 大卫·A·杜克。 1 伊斯坎德·科特 系列 三 计算的形式方面 2 系统设计中的形式化方法 1 北欧计算机杂志 领域 12 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数理逻辑与基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用12中的次9文件 引用人▼ 年份▼ 检测多类用户错误。 Zbl 1052.68834号 保罗·库松；安·布兰德福德 三 2001 派生已编译代码的正确性属性。 Zbl 0785.68061号 保罗·库松 2 1993 显著性和认知负荷的验证引导建模。 兹比尔1186.68300 里姆维达斯鲁克塞纳斯；回来，乔纳森；保罗·库松；安·布兰德福德 2 2009 人机交互的形式验证方法。 Zbl 1129.68501号 保罗·库松；卢克瑟纳斯、里姆维达斯；安·布兰德福德 2 2007 从正式的用户模型到设计规则。 Zbl 1035.68586号 保罗·库松；安·布兰德福德 1 2002 将千年发展目标验证结果导入HOL。 Zbl 0969.94503号 熊海燕；保罗·库松；索菲涅·塔哈尔 1 1999 基于经验证的千年发展目标系统，将千年发展计划和总部正式联系起来。 Zbl 1057.68637号 熊海燕；保罗·库松；索菲涅·塔哈尔；安·布兰德福德 1 2002 显著性和认知负荷的验证指导模型。 Zbl 1186.68300号 卢克瑟纳斯、里姆维达斯；回来，乔纳森；保罗·库松；安·布兰德福德 2 2009 人机交互的形式验证方法。 Zbl 1129.68501号 保罗·库松；卢克瑟纳斯、里姆维达斯；安·布兰德福德 2 2007 从正式的用户模型到设计规则。 Zbl 1035.68586号 保罗·库松；安·布兰德福德 1 2002 基于经验证的千年发展目标系统，将千年发展计划和总部正式联系起来。 Zbl 1057.68637号 熊海燕；保罗·库松；索菲涅·塔哈尔；安·布兰德福德 1 2002 检测多类用户错误。 Zbl 1052.68834号 保罗·库松；安·布兰德福德 三 2001 将千年发展目标验证结果导入HOL。 Zbl 0969.94503号 熊海燕；保罗·库松；索菲涅·塔哈尔 1 1999 派生已编译代码的正确性属性。 Zbl 0785.68061号 保罗·库松 2 1993 所有引用的出版物 前5名被引用出版物 全部的 前5名24位作者引用 三 安·布兰德福德 三 保罗·库松 2 卢克瑟纳斯、里姆维达斯 1 回来，乔纳森 1 托马斯·安努·巴苏基 1 乔纳森·鲍文（Jonathan P.Bowen）。 1 霍华德·鲍曼 1 安东尼奥·塞隆 1 罗伯特·J·科尔文。 1 艾伦·迪克斯 1 多德，阿克塞尔 1 马西塔·加扎利 1 吉尔，史蒂夫 1 沃尔夫冈·戈里克 1 鲁道夫·戈麦斯 1 安德烈亚斯·格雷斯迈耶 1 兔子，乔安娜 1 何继峰 1 雷姆杜尼·埃利斯（Devina Ramduny-Ellis） 1 鲁道夫·施拉特 1 苏，李 1 索菲涅·塔哈尔 1 冯·亨克，弗里德里希·威廉姆 1 熊海燕 4篇连载文章中引用 6 计算的形式方面 1 理论计算机科学 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 在2个字段中引用 9 计算机科学（68至XX） 2 生物学和其他自然科学（92-XX） 按年份列出的引文