编辑配置文件（在新选项卡中打开） 杰森·罗斯 合著者距离 作者ID： 唤醒。杰森 发布日期： 杰森·罗斯 已编制索引的文档： 1出版物自2005年以来 合著者： 5位合著者具有1联合出版物 50位合作作者 合著者 0 单作者的 1 卢乔·鲍尔 1 斯科特·加里斯 1 乔纳森·麦库恩（Jonathan M.McCune）。 1 迈克尔·K·赖特（Michael K.Reiter）。 1 彼得·鲁滕巴尔 系列 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用2中的次2文件 引用人▼ 年份▼ 在灰色系统中启用设备授权。 Zbl 1159.68431号 卢乔·鲍尔;斯科特·加里斯;乔纳森·麦库恩（Jonathan M.McCune）。;迈克尔·K·赖特（Michael K.Reiter）。;杰森·罗斯;彼得·鲁滕巴尔 2 2005 在灰色系统中启用设备授权。 Zbl 1159.68431号 卢乔·鲍尔;斯科特·加里斯;乔纳森·麦库恩（Jonathan M.McCune）。;Reiter，Michael K。;杰森·罗斯;彼得·鲁滕巴尔 2 2005 全部的 前5名6位作者引用 1 马丁·阿巴迪 1 莉安娜·哈达伦 1 Oe，Duckki（杜基·欧） 1 安德鲁·雷诺兹 1 阿伦·斯塔姆 1 塞萨尔·蒂内利 连载1篇 1 系统设计中的形式化方法 在2个字段中引用 2 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 按年份列出的引文