编辑配置文件(在新选项卡中打开) 杰森·斯格尔斯 合著者距离 作者ID: 斯格尔斯·贾森 发布日期: 杰森·斯格尔斯 已编制索引的文档: 5出版物自2011年起 合著者: 4位合著者具有4联合出版物 122位Co-Co作者 合著者 1 单作者的 2 加布里埃尔·乔巴努 2 马西耶·库特尼 1 阿卜杜拉·阿尔胡迈丹 1 哈纳迪Alkhudhayr 系列 1 计算的形式方面 1 计算机基础理论 1 计算机科学科学年鉴 领域 三 计算机科学(68至XX) 三 生物学和其他自然科学(92-XX) 1 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用4中的次4文件 引用人▼ 年份▼ 基于策略的语义,用于具有时间和访问权限的移动性。 Zbl 1343.68163号 加布里埃尔·乔巴努;马西耶·库特尼;杰森·斯格尔斯 2 2015 基于重写策略的定时移动语义。 Zbl 1315.68191号 加布里埃尔·乔巴努;马西耶·库特尼;杰森·斯格尔斯 1 2012 使用重写逻辑对定性生物模型进行建模和分析。 Zbl 1382.68147号 阿卜杜拉·阿尔胡迈丹;Steggles,杰森 1 2017 使用重写逻辑对定性生物模型进行建模和分析。 Zbl 1382.68147号 阿卜杜拉·阿尔胡迈丹;杰森·斯格尔斯 1 2017 基于策略的语义,用于具有时间和访问权限的移动性。 Zbl 1343.68163号 加布里埃尔·乔巴努;马西耶·库特尼;杰森·斯格尔斯 2 2015 基于重写策略的定时移动语义。 Zbl 1315.68191号 加布里埃尔·乔巴努;马西耶·库特尼;杰森·斯格尔斯 1 2012 全部的 前5名8位作者引用 2 香,双清 2 谢万玲 1 加布里埃尔·乔巴努 1 圭多州长 1 马西耶·库特尼 1 迈克尔·马赫(Michael J.Maher)。 1 杰森·斯格尔斯 1 朱慧彪 2篇连载文章中引用 2 计算的形式方面 1 逻辑程序设计理论与实践 在1个字段中引用 4 计算机科学(68至XX) 按年份列出的引文