编辑配置文件（在新选项卡中打开） 霍尔格·吉斯 合著者距离 作者ID： 吉塞·霍尔格 发布日期： 霍尔格·吉斯;H·吉斯。 已编制索引的文档： 27出版物自1994年以来，包括1本书 2作为编辑的贡献 合著者： 21位合著者具有27联合出版物 389位合作作者 全部的 前5名合著者 2 单作者的 10 玛丽亚·马克西莫娃 8 施奈德，斯文 5 马提亚斯·巴考斯基 5 克里斯蒂安·克劳斯 三 约翰内斯·戴克 三 莱恩·兰伯斯 2 卢卡斯·萨基兹洛格 1 Soumyadip Bandyopadhyay公司 1 托马斯·贝伊尔 1 多米尼克·布鲁因 1 哈特穆特·埃里格 1 乌尔里克·戈拉斯 1 韩婷婷 1 巴巴拉·科尼格 1 Marta Z.Kwiatkowska。 1 安东·洛伦岑 1 奇塔兰詹·曼达尔 1 格里高·罗什乌 1 迪班卡·萨尔卡 1 梅兰妮·施奈德 1 Zöllner，基督徒 系列 4 程序设计中的逻辑和代数方法杂志 2 计算机科学课堂讲稿 1 信息学报 1 Zeitschrift für Angewandte Mathematik und Mechanik（ZAMM） 领域 28 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 流体力学（76-XX） 1 系统理论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用71中的次33文件 引用人▼ 年份▼ 概率定时图变换系统。 Zbl 1400.68058号 玛丽亚·马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 11 2018 概率图变换系统。 Zbl 1367.68142号 克里斯蒂安·克劳斯;霍尔格·吉斯 8 2012 \图变换系统的（k）-归纳不变量检验。 Zbl 1425.68160号 约翰内斯·戴克;霍尔格·吉斯 7 2017 基于嵌套属性图条件的属性图变换系统不变量的形式化验证。 Zbl 1502.68160号 施奈德，斯文;约翰内斯·戴克;霍尔格·吉斯 6 2020 关于具有广义判别网络的图查询的可操作性。 Zbl 1344.68063号 托马斯·贝伊尔;多米尼克·布鲁因;霍尔格·吉斯;莱恩·兰伯斯 5 2016 部分负应用条件下的归纳不变量检查。 Zbl 1321.68329号 约翰内斯·戴克;霍尔格·吉斯 4 2015 具有服务级别协议的面向服务系统的模型检查概率实时属性。 Zbl 1457.68165号 克里斯蒂安·克劳斯;霍尔格·吉斯 4 2011 概率时间图变换系统的组成分析。 Zbl 1467.68090号 玛丽亚·马克西莫娃;施奈德，斯文;霍尔格·吉斯 4 2021 度量时态图逻辑的乐观和悲观实时分析。 Zbl 1502.68186号 施奈德，斯文;卢卡斯·萨基兹洛格;玛丽亚·马克西莫娃;霍尔格·吉斯 三 2020 类型化属性图上的度量时态图逻辑。 Zbl 1524.68230号 霍尔格·吉斯;玛丽亚·马克西莫娃;卢卡斯·萨基兹洛格;施奈德，斯文 三 2019 概率定时图变换系统。 Zbl 1425.68170号 玛丽亚·马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 三 2017 通过不变量检查实现模型转换行为保持的自动验证。 Zbl 1367.68191号 霍尔格·吉斯;莱恩·兰伯斯 三 2012 区间概率定时图变换系统。 Zbl 1492.68071号 玛丽亚·马克西莫娃;施奈德，斯文;霍尔格·吉斯 2 2021 用于与嵌套图形条件匹配的增量图形模式的主机粒度敏感RETE网络。 Zbl 1512.68064号 马蒂亚斯·巴科夫斯基;霍尔格·吉斯 1 2023 具有复杂大规模拓扑的概率定时图变换系统的模拟器。 Zbl 1502.68162号 克里斯蒂安·泽尔纳;马提亚斯·巴考斯基;玛丽亚，马克西莫娃;梅兰妮·施奈德;霍尔格·吉斯 1 2020 三图文法的形式基础和当前实践之间的差距。源元素和目标元素之间的灵活关系。 Zbl 1367.68134号 乌尔里克·戈拉斯;莱恩·兰伯斯;哈特穆特·埃里格;霍尔格·吉斯 1 2012 分布式系统的形式化技术。2012年6月13日至16日，瑞典斯德哥尔摩，第14届IFIP工作组6.1国际联席会议，2012年FMOODS和第32届IFIP WG 6.1国际会议，FORTE 2012。诉讼程序。 Zbl 1241.68020号 1 2012 用于增量图形模式匹配的对主机粒度敏感的RETE网络。 Zbl 1512.68063号 马提亚斯·巴考斯基;霍尔格·吉斯 1 2021 广义图模式匹配的混合搜索计划生成。 Zbl 1451.68198号 马提亚斯·巴考斯基;霍尔格·吉斯 1 2020 概率度量时序图逻辑。 Zbl 1514.68147号 施奈德，斯文;玛丽亚·马克西莫娃;霍尔格·吉斯 1 2022 使用（k）-归纳法对多智能体图变换系统进行不变量分析。 Zbl 1514.68093号 施奈德，斯文;玛丽亚·马克西莫娃;霍尔格·吉斯 1 2022 用于与嵌套图形条件匹配的增量图形模式的主机粒度敏感RETE网络。 Zbl 1512.68064号 马提亚斯·巴考斯基;霍尔格·吉斯 1 2023 概率度量时序图逻辑。 Zbl 1514.68147号 施奈德，斯文;玛丽亚，马克西莫娃;霍尔格·吉斯 1 2022 使用（k）-归纳法对多智能体图变换系统进行不变量分析。 Zbl 1514.68093号 施奈德，斯文;玛丽亚·马克西莫娃;霍尔格·吉斯 1 2022 概率时间图变换系统的组成分析。 兹比尔1467.68090 玛丽亚·马克西莫娃;施奈德，斯文;霍尔格·吉斯 4 2021 区间概率时间图变换系统。 Zbl 1492.68071号 玛丽亚·马克西莫娃;施奈德，斯文;霍尔格·吉斯 2 2021 主机图形敏感的RETE网络，用于增量图形模式匹配。 Zbl 1512.68063号 马提亚斯·巴考斯基;霍尔格·吉斯 1 2021 基于嵌套属性图条件的属性图变换系统不变量的形式化验证。 Zbl 1502.68160号 施奈德，斯文;约翰内斯·戴克;霍尔格·吉斯 6 2020 度量时态图逻辑的乐观和悲观实时分析。 Zbl 1502.68186号 施奈德，斯文;卢卡斯·萨基兹洛格;玛丽亚·马克西莫娃;霍尔格·吉斯 三 2020 具有复杂大规模拓扑的概率定时图变换系统的模拟器。 Zbl 1502.68162号 克里斯蒂安·泽尔纳;马提亚斯·巴考斯基;玛丽亚·马克西莫娃;梅兰妮·施奈德;霍尔格·吉斯 1 2020 广义图模式匹配的混合搜索计划生成。 Zbl 1451.68198号 马提亚斯·巴考斯基;霍尔格·吉斯 1 2020 类型化属性图上的度量时态图逻辑。 Zbl 1524.68230号 霍尔格·吉斯;玛丽亚·马克西莫娃;卢卡斯·萨基兹洛格;施奈德，斯文 三 2019 概率定时图变换系统。 Zbl 1400.68058号 玛丽亚·马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 11 2018 \图变换系统的（k）-归纳不变量检验。 Zbl 1425.68160号 约翰内斯·戴克;霍尔格·吉斯 7 2017 概率定时图变换系统。 Zbl 1425.68170号 玛丽亚，马克西莫娃;霍尔格·吉斯;克里斯蒂安·克劳斯 三 2017 用广义判别网络实现图形查询。 Zbl 1344.68063号 托马斯·贝伊尔;多米尼克·布劳因;霍尔格·吉斯;莱恩·兰伯斯 5 2016 部分负应用条件下的归纳不变量检查。 Zbl 1321.68329号 约翰内斯·戴克;霍尔格·吉斯 4 2015 概率图变换系统。 兹比尔1367.68142 克里斯蒂安·克劳斯;霍尔格·吉斯 8 2012 通过不变量检查实现模型转换行为保持的自动验证。 Zbl 1367.68191号 霍尔格·吉斯;莱恩·兰伯斯 三 2012 三图文法的形式基础和当前实践之间的差距。源元素和目标元素之间的灵活关系。 Zbl 1367.68134号 乌尔里克·戈拉斯;莱恩·兰伯斯;哈特穆特·埃里格;霍尔格·吉斯 1 2012 分布式系统的形式化技术。2012年6月13日至16日，瑞典斯德哥尔摩，第14届IFIP工作组6.1国际联席会议，2012年FMOODS和第32届IFIP WG 6.1国际会议，FORTE 2012。诉讼程序。 Zbl 1241.68020号 1 2012 具有服务级别协议的面向服务系统的模型检查概率实时属性。 Zbl 1457.68165号 克里斯蒂安·克劳斯;霍尔格·吉斯 4 2011 所有引用出版物 前5名被引用出版物 全部的 前5名49位作者引用 14 霍尔格·吉斯 9 施奈德，斯文 8 玛丽亚·马克西莫娃 4 马提亚斯·巴考斯基 三 延斯·科索尔 三 莱恩·兰伯斯 三 加布里埃尔·坦泽尔 2 约翰内斯·戴克 2 丰满，细节 2 克里斯托弗·波斯基特（Christopher M.Poskitt）。 1 萨迪亚·阿尔巴内 1 布莱尔·阿奇博尔德 1 托尔斯滕·阿伦特 1 尼古拉斯·贝尔 1 托马斯·贝伊尔 1 多米尼克·布鲁因 1 亚历山德罗·西马蒂 1 胡安·德·拉腊 1 砂光机de Putter 1 玛丽贝尔·费尔南德斯 1 弗里奇，拉尔斯 1 法比奥·加杜奇 1 阿尔贝托·格里乔 1 埃丝特·格拉 1 阿尔恩哈特曼斯 1 Joost-Pieter卡托恩 1 蒂莫·凯勒 1 哈马马切·卡杜奇 1 赫莱内·基什内尔 1 科伦，布拉姆 1 克里斯蒂安·克劳斯 1 盖萨，库尔萨尔 1 恩里科·马格纳戈 1 内布拉斯加州纳赛尔 1 格钦·诺曼 1 费尔南多·奥雷贾斯 1 奥坎Özkan 1 布鲁诺·皮诺 1 卢卡斯·萨基兹洛格 1 梅兰妮·施奈德 1 安迪·舒尔 1 米歇尔·塞维格纳尼 1 哈切姆·斯利马尼 1 拼写，Jip 1 杰里米·斯普洛斯顿 1 丹尼尔·斯特吕贝尔 1 安东·威伊斯（Anton J.Wijs）。 1 克里斯蒂安·泽尔纳 1 斯泰芬·兹夏勒 全部的 前5名6篇连载文章中引用 11 程序设计中的逻辑和代数方法杂志 2 计算的形式方面 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 计算机科学评论 全部的 前5名在6个字段中引用 33 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 1 系统理论；控制（93至XX） 按年份列出的引文