编辑配置文件（在新选项卡中打开） 格德·贝尔曼 合著者距离 作者ID： 贝尔曼·格尔德 发布日期： 格德·贝尔曼；贝尔曼，G。 已编制索引的文档： 18出版物自1998年以来 合著者： 26位合著者具有18联合出版物 507合著作者 全部的 前5名合著者 0 单作者的 15 金·古德斯特兰·拉森 4 托马斯·匈奴 三 亚历山大·戴维 三 Fehnker，Ansgar公司 2 安徒生、亨利克·雷夫 2 帕特里夏·鲍耶 2 亨利克·胡尔加德 2 Kristoffersen，Káre J。 2 约恩·林德·尼尔森 2 拉德克·佩拉内克 2 保罗·佩特森 2 雅各布·伊勒姆拉斯穆森 2 Vaandrager，Frits W。 2 易、王 1 托拜厄斯·阿姆内尔 1 约翰·本特森 1 埃德·布林克斯马 1 佩德罗·鲁宾·达吉尼奥 1 海宁·迪尔克斯 1 伊曼纽尔·弗勒里 1 马蒂恩·亨德里克斯 1 约尔格·霍夫曼 1 塞巴斯蒂安·库普弗施米德 1 彼得·尼伯特 1 贾斯汀·皮尔逊 1 卡斯滕·韦斯 系列 2 系统设计中的形式化方法 1 爱沙尼亚科学院院刊。物理、数学 领域 18 计算机科学（68至XX） 2 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用290中的次212文件 引用人▼ 年份▼ UPPAAL教程。 Zbl 1105.68350号 格德·贝尔曼；亚历山大·戴维；Larsen，Kim G。 85 2004 定价时间自动机的最小成本可达性。 Zbl 0991.68037号 格德·贝尔曼；Fehnker，Ansgar公司；托马斯·匈奴；金·拉森；保罗·佩特森 68 2002 尽可能便宜：定价时间自动机的高效成本最优可达性。 Zbl 0991.68536号 金·拉森；格德·贝尔曼；埃德·布林克斯马；Fehnker，Ansgar公司；托马斯·匈奴 28 2001 高效引导UPPAAL实现成本优化。 Zbl 0978.68541号 格德·贝尔曼；Fehnker，Ansgar公司；托马斯·匈奴；金·拉森；保罗·佩特森 17 2001 时间自动机基于区域抽象的上下限。 Zbl 1126.68453号 格德·贝尔曼；帕特里夏·鲍耶；Larsen，Kim G。；拉德克·佩拉内克 16 2004 时间自动机验证中的静态保护分析。 Zbl 1031.68076号 格德·贝尔曼；帕特里夏·鲍耶；伊曼纽尔·弗勒里；Larsen，Kim G。 15 2003 使用时钟差图进行高效的定时可达性分析。 Zbl 1046.68577号 贝尔曼，G。；拉森，K.G。；皮尔逊，J。；魏斯，C。；Yi，W。 11 1999 采用人工智能规划启发式方法进行定向模型检查。 Zbl 1178.68347号 塞巴斯蒂安·库普弗施米德；霍夫曼，约格；海宁·迪尔克斯；格德·贝尔曼 11 2006 分发定时模型检查–搜索顺序如何重要。 Zbl 0974.68518号 格德·贝尔曼；托马斯·匈奴；Vaandrager，Frits公司 10 2000 定价时间自动机：算法和应用。 Zbl 1143.68430号 格德·贝尔曼；Larsen，Kim G。；雅各布·拉斯穆森。 9 2005 向Uppaal添加对称减少。 兹比尔1099.68657 马蒂恩·亨德里克斯；格德·贝尔曼；金·拉森；彼得·尼伯特；Vaandrager，Frits公司 6 2004 超越活性：针对有时间限制活性的有效参数合成。 Zbl 1175.68255号 格德·贝尔曼；Larsen，Kim G。；雅各布·伊勒姆拉斯穆森 5 2005 储存或不储存。 Zbl 1278.68155号 格德·贝尔曼；Larsen，Kim G。；拉德克·佩拉内克 5 2003 UPPAAL–现在、未来和未来。 Zbl 0985.68664号 托拜厄斯·阿姆内尔；格德·贝尔曼；约翰·本特森；佩德罗·R·达吉尼奥。；亚历山大·戴维 2 2001 使用组合性和依赖性分析验证大型状态/事件系统。 Zbl 0970.68108号 约恩·林德·尼尔森；安徒生、亨利克·雷夫；亨利克·胡尔加德；格德·贝尔曼；科勒克里斯托弗森；Larsen，Kim G。 2 2001 采用人工智能规划启发式方法进行定向模型检查。 Zbl 1178.68347号 塞巴斯蒂安·库普弗施米德；霍夫曼，约格；海宁·迪尔克斯；格德·贝尔曼 11 2006 定价时间自动机：算法和应用。 Zbl 1143.68430号 格德·贝尔曼；Larsen，Kim G。；雅各布·拉斯穆森。 9 2005 超越活性：针对有时间限制活性的有效参数合成。 Zbl 1175.68255号 格德·贝尔曼；Larsen，Kim G。；雅各布·伊勒姆拉斯穆森 5 2005 UPPAAL教程。 Zbl 1105.68350号 格德·贝尔曼；亚历山大·戴维；Larsen，Kim G。 85 2004 时间自动机基于区域抽象的上下限。 Zbl 1126.68453号 格德·贝尔曼；帕特里夏·鲍耶；Larsen，Kim G。；拉德克·佩拉内克 16 2004 向Uppaal添加对称减少。 兹比尔1099.68657 马蒂恩·亨德里克斯；格德·贝尔曼；金·拉森；彼得·尼伯特；Vaandrager，Frits公司 6 2004 时间自动机验证中的静态保护分析。 Zbl 1031.68076号 格德·贝尔曼；帕特里夏·鲍耶；伊曼纽尔·弗勒里；Larsen，Kim G。 15 2003 储存或不储存。 Zbl 1278.68155号 格德·贝尔曼；Larsen，Kim G。；拉德克·佩拉内克 5 2003 定价时间自动机的最小成本可达性。 Zbl 0991.68037号 格德·贝尔曼；Fehnker，Ansgar公司；托马斯·匈奴；金·拉森；保罗·佩特森 68 2002 尽可能便宜：定价时间自动机的高效成本最优可达性。 Zbl 0991.68536号 金·拉森；格德·贝尔曼；埃德·布林克斯马；Fehnker，Ansgar公司；托马斯·匈奴 28 2001 UPPAAL中实现成本最优化的有效指导。 Zbl 0978.68541号 格德·贝尔曼；Fehnker，Ansgar公司；托马斯·匈奴；金·拉森；保罗·佩特森 17 2001 UPPAAL–现在、未来和未来。 Zbl 0985.68664号 托拜厄斯·阿姆内尔；格德·贝尔曼；约翰·本特森；D&rsquo；佩德罗·阿吉尼奥（Pedro R.Argenio）。；亚历山大·戴维 2 2001 使用组合性和依赖性分析验证大型状态/事件系统。 Zbl 0970.68108号 约恩·林德·尼尔森；安徒生、亨利克·雷夫；亨利克·胡尔加德；格德·贝尔曼；科勒克里斯托弗森；Larsen，Kim G。 2 2001 分发定时模型检查–搜索顺序如何重要。 Zbl 0974.68518号 格德·贝尔曼；托马斯·匈奴；Vaandrager，Frits公司 10 2000 使用时钟差图进行高效的定时可达性分析。 Zbl 1046.68577号 贝尔曼，G。；拉森，K.G。；皮尔逊，J。；魏斯，C。；Yi，W。 11 1999 所有引用出版物 前5名被引用出版物 全部的 前5名419位作者引用 27 金·古德斯特兰·拉森 13 帕特里夏·鲍耶 11 乌里·法伦贝格 8 托马斯·布里海耶 7 莱姆，迪迪埃 6 吉·斯尔巴 5 亚历山大·戴维 5 保罗·加斯丁 5 弗雷德里克·赫布雷托 5 拉杜·马达尔 5 尼古拉斯·马基 5 格钦·诺曼 5 卡琳·夸斯 5 皮埃尔·阿莱·雷尼尔 4 阿曼，博格丹 4 加布里埃尔·乔巴努 4 曼弗雷德·德罗斯特 4 Fränzle，马丁 4 鲁道夫·戈麦斯 4 Marta Z.Kwiatkowska。 4 Legay、Axel 4 何塞·梅塞盖尔·瓜伊塔 4 本杰明·蒙梅格 4 巴拉古鲁·斯里瓦桑 4 马尼省斯瓦米纳坦 三 阿克西，S。 三 埃蒂安·安德烈 三 阿夫尼，盖伊 三 维罗尼克·布鲁埃 三 达米安·巴斯托·加斯顿 三 亚历山德罗·西马蒂 三 安吉洛·富法罗 三 阿尔贝托·格里乔 三 什巴希斯·古哈 三 霍夫曼，约格 三 马尔钦·尤尔季安斯基 三 桑卡拉·纳拉亚南·克里希纳 三 奥尔纳·库普弗曼 三 塞巴斯蒂安·库普弗施米德 三 李广元 三 恩里科·马格纳戈 三 尼格罗、利贝罗 三 Peter Csaba，Olveczky 三 乔治·J·帕帕斯。 三 Jean-François拉斯金 三 奥利维尔·H·鲁克斯。 三 Vaandrager，Frits W。 三 范德波尔，扬·科内利斯 三 马丁·韦尔 三 安东·威伊斯（Anton J.Wijs）。 三 詹姆斯·沃雷尔。 三 薛冰田 2 奥马尔·巴塔内赫 2 乔瓦尼·巴奇 2 尼古拉·贝内什 2 彼得·贝兹克 2 霍华德·鲍曼 2 维克托·布拉伯曼 2 弗朗科·西西雷利 2 达科斯塔，西蒙·安德烈 2 朱尔根·丁格尔 2 盖尔·杜勒鲁（Geir E.Dullerud）。 2 斯特凡·爱德坎普 2 法语，蒂姆 2 萨拉·格拉达拉 2 马丁·希尔舍尔 2 拉塞·雅各布森 2 莫滕·雅各布森 2 阿列克桑德拉·乔瓦诺维奇。 2 Michael Leuschel先生 2 刘志明 2 伊斯特万·马齐克 2 贾纳丹·库马尔·米斯拉 2 米凯尔·哈克杰·默勒 2 乌尔里克·尼曼 2 奥尔德罗格，恩斯特·吕迪格 2 阿尔弗雷多·奥利维罗 2 帕维特拉·普拉巴卡 2 雅各布·伊勒姆拉斯穆森 2 马克·亚历山大·雷诺兹 2 莱拉·里贝罗 2 罗西（Matteo A.C.Rossi）。 2 苏曼·罗伊 2 鲁迪、凯伦 2 安东内拉·桑顿 2 梅克·施瓦姆伯格 2 夏洛特·塞纳 2 马赫萨·希尔穆罕默德 2 玛丽·斯托琳加 2 塔马斯·托特 2 阿舒托什·特里维迪 2 范格拉贝克、罗伯特·扬 2 玛丽亚·路易莎·维拉尼 2 马赫什·维斯瓦纳坦 2 弗拉基米罗 2 Waez，Md Tawhid Bin 2 伊戈尔·瓦卢基维奇 2 安德烈·索夫斯基 2 伯恩德·韦斯特法尔 2 西蒙·威默 …还有319位作者 全部的 前5名36篇连载文章中引用 20 理论计算机科学 12 系统设计中的形式化方法 10 计算的形式方面 9 信息与计算 7 实时系统 5 信息学报 5 逻辑与代数程序设计杂志 5 程序设计中的逻辑和代数方法杂志 4 计算机科学中的逻辑方法 三 纯逻辑与应用逻辑年鉴 三 离散事件动态系统 2 计算机科学与技术杂志 2 计算机基础理论 1 倒排索引综述 1 人工智能 1 国际通用系统杂志 1 信息处理信件 1 应用数学与计算 1 Automatica公司 1 计算机与系统科学杂志 1 计算机程序设计科学 1 自动推理杂志 1 计算数学与建模 1 机器学习 1 控制论与系统分析 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 欧洲控制杂志 1 软计算 1 高阶和符号计算 1 国际应用数学与计算机科学杂志 1 自然计算 1 计算机科学中的数学 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 Modelirovanie i Analiz信息系统 全部的 前5名11个领域引用 200 计算机科学（68至XX） 32 数学逻辑和基础（03-XX） 18 系统论；控制（93至XX） 12 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 运筹学、数学规划（90-XX） 三 生物学和其他自然科学（92-XX） 2 数论（11-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 动力系统和遍历理论（37至XX） 1 阶、格、有序代数结构（06-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文