编辑配置文件（在新选项卡中打开） 古罗夫，帝力 合著者距离 作者ID： 古洛夫·迪利安 发布日期： 古罗夫，帝力 已编制索引的文档： 21出版物自1997年起 合著者： 23位合著者具有21联合出版物 452合著作者 全部的 前5名合著者 0 单作者的 9 玛丽克·赫斯曼 3 达姆，麦兹 2 艾伦·阿克图格 2 布鲁斯·卡普伦。 2 明科·马尔科夫 2 Wytse Oortwijn公司 2 Siavash Soleimanifard公司 2 克里斯托夫·斯普伦格 1 吉尔·巴特 1 斯特凡·布隆 1 约翰·博格斯特罗姆 1 谢尔盖·布雷津 1 Gennady Chugunov 1 拉尔斯·弗雷德隆德 1 瓦伦丁·F·戈兰科。 1 克里斯蒂安·利德斯特伦 1 埃德文·伦德伯格 1 乌韦·内斯特曼 1 诺尔，托马斯 1 卢克·奥纳纳 1 Ø斯特沃德，比亚特·M·。 1 伊娜·谢弗 1 玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 全部的 前5名系列 1 人工智能 1 理论计算机科学 1 信息与计算 1 逻辑与计算杂志 1 RAIRO公司。理论信息学及其应用 1 逻辑与代数程序设计杂志 1 Serdica计算机杂志 领域 21 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 1 有序，格，有序代数结构（06-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用39中的次22文件 引用人▼ 年份▼ ProMoVer：临时安全属性的模块化验证。 Zbl 1350.68188号 Siavash Soleimanifard公司;古罗夫，帝力;玛丽克·赫斯曼 5 2011 用程序对顺序程序进行组合验证。 Zbl 1153.68036号 古罗夫，帝力;玛丽克·赫斯曼;克里斯托夫·斯普伦格 4 2008 \（mu）-具有显式点和近似的微积分。 Zbl 1003.03033号 达姆，麦兹;古罗夫，帝力 4 2002 检查是否存在非法小程序交互：案例研究。 Zbl 1129.68418号 玛丽克·赫斯曼;古罗夫，帝力;克里斯托夫·斯普伦格;Gennady Chugunov 3 2004 通过过程将程序的行为属性减少为结构属性。 Zbl 1206.68088号 古罗夫，帝力;玛丽克·赫斯曼 3 2009 安全小程序交互的组合验证。 Zbl 1059.68538号 吉尔·巴特;古罗夫，帝力;玛丽克·赫斯曼 3 2002 Erlang验证工具。 兹伯利0978.68703 诺尔，托马斯;拉尔斯·奥克·弗雷德隆德;古罗夫，帝力 3 2001 运行时监控正确无误。 Zbl 1192.68116号 艾伦·阿克图格;达姆，麦兹;古罗夫，帝力 3 2009 CVPP：一套用于控制流安全特性成分验证的工具。 Zbl 1308.68042号 玛丽克·赫斯曼;古罗夫，帝力 3 2011 多智能体团队对抗自然的基于知识的策略。 Zbl 1491.68246号 古罗夫，帝力;瓦伦丁·戈兰科;埃德文·伦德伯格 2 2022 验证结构化对等覆盖网络：静态情况。 Zbl 1111.68305号 约翰·博格斯特罗姆;乌韦·内斯特曼;卢克·奥纳纳;古罗夫，帝力 1 2005 一种模态演算和值传递过程的证明系统。 Zbl 0912.68185号 古罗夫，帝力;谢尔盖·布雷津;卡普伦，B.M。 1 1997 描述并发程序行为的抽象技术。 Zbl 1403.68034号 Wytse Oortwijn公司;斯特凡·布隆;古罗夫，帝力;玛丽克·赫斯曼;玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 1 2017 通过过程将程序的行为属性减少为结构属性。 Zbl 1291.68259号 古罗夫，帝力;玛丽克·赫斯曼 1 2013 开放系统验证的状态空间表示。 Zbl 1236.68041号 艾伦·阿克图格;古罗夫，帝力 1 2006 程序与过程的抽象契约理论。 Zbl 1467.68039号 克里斯蒂安·利德斯特伦;古罗夫，帝力 1 2021 多智能体团队对抗自然的基于知识的策略。 Zbl 1491.68246号 古罗夫，帝力;瓦伦丁·戈兰科;埃德文·伦德伯格 2 2022 程序与过程的抽象契约理论。 Zbl 1467.68039号 克里斯蒂安·利德斯特伦;古罗夫，帝力 1 2021 描述并发程序行为的抽象技术。 Zbl 1403.68034号 Wytse Oortwijn公司;斯特凡·布隆;古罗夫，帝力;玛丽克·赫斯曼;玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 1 2017 通过过程将程序的行为属性减少为结构属性。 Zbl 1291.68259号 古罗夫，帝力;玛丽克·赫斯曼 1 2013 ProMoVer：临时安全属性的模块化验证。 Zbl 1350.68188号 Siavash Soleimanifard公司;古罗夫，帝力;玛丽克·赫斯曼 5 2011 CVPP：用于控制流安全特性成分验证的工具集。 Zbl 1308.68042号 玛丽克·赫斯曼;古罗夫，帝力 3 2011 通过过程将程序的行为属性减少为结构属性。 Zbl 1206.68088号 古罗夫，帝力;玛丽克·赫斯曼 3 2009 运行时监控正确无误。 兹比尔1192.68116 艾伦·阿克图格;达姆，麦兹;古罗夫，帝力 3 2009 用程序对顺序程序进行组合验证。 Zbl 1153.68036号 古罗夫，帝力;玛丽克·赫斯曼;克里斯托夫·斯普伦格 4 2008 开放系统验证的状态空间表示。 兹比尔1236.68041 艾伦·阿克图格;古罗夫，帝力 1 2006 验证结构化对等覆盖网络：静态情况。 Zbl 1111.68305号 约翰·博格斯特罗姆;乌韦·内斯特曼;卢克·奥纳纳;古罗夫，帝力 1 2005 检查是否存在非法小程序交互：案例研究。 Zbl 1129.68418号 玛丽克·赫斯曼;古罗夫，帝力;克里斯托夫·斯普伦格;Gennady Chugunov 3 2004 \（mu）-具有显式点和近似的微积分。 Zbl 1003.03033号 达姆，麦兹;古罗夫，帝力 4 2002 安全小程序交互的组合验证。 Zbl 1059.68538号 吉尔·巴特;古罗夫，帝力;玛丽克·赫斯曼 3 2002 Erlang验证工具。 兹伯利0978.68703 诺尔，托马斯;拉尔斯·奥克·弗雷德隆德;古罗夫，帝力 3 2001 一种模态演算和值传递过程的证明系统。 Zbl 0912.68185号 古罗夫，帝力;谢尔盖·布雷津;卡普伦，B.M。 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名44位作者引用 6 古罗夫，帝力 4 玛丽克·赫斯曼 2 达姆，麦兹 2 克里斯托夫·斯普伦格 1 劳拉·博奇 1 托马斯·博格霍姆 1 彼得罗·森恰雷利 1 陈子春 1 Giampiero Chiaselotti 1 马尔滕·德·莫尔 1 罗曼·德曼根 1 迪米特·多布雷夫 1 亚历山德罗·范特奇 1 詹蒂莱，托马索 1 斯特凡妮娅·格内西 1 丹妮尔·戈拉 1 本田、高黑 1 弗兰克，哈 1 Infusino，Federico G。 1 巴特·雅各布斯 1 贾格尔，格哈德 1 布鲁斯·卡普伦。 1 马蒂斯·克雷茨 1 莱思，孤独 1 克里斯蒂安·利德斯特伦 1 卡斯珀·瑟·勒科夫 1 安德烈亚斯·伦德布拉德 1 佛朗哥，马赞蒂 1 彼得·米勒 1 马蒂亚斯·尼贝格 1 弗兰克·皮森斯 1 莱纳斯·普拉斯梅耶 1 伊万诺·萨尔沃 1 马尔特·施沃尔霍夫 1 亚历克斯·K·辛普森。 1 Siavash Soleimanifard公司 1 托马斯·施图德 1 ter Beek，Maurice H。 1 本特·汤姆森 1 马克·范·埃克伦 1 德国维达尔 1 乔纳斯·韦斯特曼 1 费利克斯·A·沃尔夫。 1 吉田、Nobuko 全部的 前5名11篇连载文章中引用 2 理论计算机科学 2 系统设计中的形式化方法 2 RAIRO公司。理论信息学及其应用 2 逻辑与代数程序设计杂志 1 信息学报 1 编程和计算机软件 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 Serdica计算机杂志 1 程序设计中的逻辑和代数方法杂志 1 欧洲数学杂志 全部的 前5名在7个字段中引用 21 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 有序，格，有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文