编辑配置文件（在新选项卡中打开） Dimitar P.Guelev。 合著者距离 作者ID： 格列夫·迪米塔尔-p 发布日期： Dimitar P.Guelev。；迪米塔尔·盖列夫；D.圭列夫。 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 31出版物自1999年起 1作为编辑的贡献 合著者： 13合著者具有20联合出版物 564位联合作者 全部的 前5名合著者 12 单作者的 5 本·C·莫斯科夫斯基。 4 柯特林·迪马 4 莱恩，马克·德莫特 三 皮埃尔·伊夫·肖本斯 2 康斯坦丁·埃纳 2 洪丹凡 2 王淑玲 2 詹乃军 1 达姆，麦兹 1 当文雄（Dang Van Hung） 1 洪丹凡 1 Leucker，马丁 1 张楠 全部的 前5名系列 5 应用非经典逻辑杂志 2 逻辑与计算杂志 1 哲学逻辑杂志 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 数学与人工智能年鉴 1 IGPL逻辑杂志 1 计算机科学中的逻辑方法 领域 27 数理逻辑与基础（03-XX） 24 计算机科学（68至XX） 5 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 21出版物有被引用60中的次35文件 引用人▼ 年份▼ 具有投影的一阶区间时序逻辑的完整证明系统。 Zbl 1070.03009号 Dimitar P.Guelev。 8 2004 知识、完美回忆和过去的交替时间时序逻辑：公理化和模型检查。 兹比尔1242.68161 Dimitar P.Guelev。；柯特林·迪马；康斯坦丁·埃纳 7 2011 在持续时间演算中为状态添加前缀和投影。 Zbl 1270.68169号 Dimitar P.Guelev。；Van Hung，Dang先生 6 2002 具有定性概率的命题动态逻辑。 Zbl 0939.03028号 Dimitar P.Guelev。 5 1999 模型检查访问控制策略。 Zbl 1109.68456号 Dimitar P.Guelev。；马克·瑞恩；皮埃尔·伊夫·肖本斯 4 2004 一种基于假设/保证的混合CSP合成演算。 Zbl 1354.68204号 王淑玲；詹乃军；迪米塔尔·盖列夫 4 2012 持续时间演算中的逻辑插值和状态投影。 Zbl 1181.03013号 D.圭列夫。 4 2004 概率邻域逻辑。 Zbl 0986.03025号 Dimitar P.Guelev。 三 2000 关于带迭代的持续时间演算的完备性和可判定性。 Zbl 1108.68074号 Dimitar P.Guelev。；洪丹凡 2 2005 高阶持续时间演算的完整片段。 兹比尔1044.68108 Dimitar P.Guelev。 2 2000 具有完美回忆、过去和策略背景的认知ATL。 Zbl 1361.68232号 Dimitar P.Guelev。；加泰林·迪马 2 2012 强化持续时间演算的不完整性。 Zbl 1272.03140号 Dimitar P.Guelev。 2 2005 带迭代的持续时间演算片段的完整性和可判定性。 Zbl 0954.03033号 洪丹凡；Dimitar P.Guelev。 2 1999 无限区间的概率区间时序逻辑和持续时间演算：完全证明系统。 Zbl 1125.03015号 Dimitar P.Guelev。 2 2007 通过模型检查评估访问控制策略。 兹比尔1159.68455 张楠；马克·瑞恩；Dimitar P.Guelev。 1 2005 区间时序逻辑中的区间相关插值。 Zbl 0992.03025号 Dimitar P.Guelev。 1 2001 持续时间演算中状态投影的相对完整公理化。 Zbl 1181.03014号 D.圭列夫。；当文雄（Dang Van Hung） 1 2004 过去线性时序逻辑的典型反应性形式的语法证明。 Zbl 1158.03011号 Dimitar P.Guelev。 1 2008 将认知ATL中的效度降低为认知CTL中的有效性。 Zbl 1464.03017号 Dimitar P.Guelev。 1 2013 用知识、不完美信息、完美回忆和交流联盟对交替时间逻辑进行建模检查。 兹比尔1456.68097 柯特林·迪马；康斯坦丁·埃纳；迪米塔尔·盖列夫 1 2010 时间投影在交错并发中的应用。 Zbl 1369.68263号 本·莫斯科夫斯基；Dimitar P.Guelev。 1 2015 时间投影在交错并发中的应用。 Zbl 1369.68263号 本·莫斯科夫斯基；Dimitar P.Guelev。 1 2015 将认知ATL中的效度降低为认知CTL中的有效性。 Zbl 1464.03017号 Dimitar P.Guelev。 1 2013 一种基于假设/保证的混合CSP合成演算。 Zbl 1354.68204号 王淑玲；詹乃军；迪米塔尔·盖列夫 4 2012 具有完美回忆、过去和策略背景的认知ATL。 Zbl 1361.68232号 Dimitar P.Guelev。；加泰林·迪马 2 2012 知识、完美回忆和过去的交替时间时序逻辑：公理化和模型检查。 Zbl 1242.68161号 Dimitar P.Guelev。；柯特林·迪马；康斯坦丁·埃纳 7 2011 用知识、不完美信息、完美回忆和交流联盟对交替时间逻辑进行建模检查。 Zbl 1456.68097号 柯特林·迪马；康斯坦丁·埃纳；迪米塔尔·盖列夫 1 2010 过去线性时序逻辑的典型反应性形式的语法证明。 Zbl 1158.03011号 Dimitar P.Guelev。 1 2008 具有无限区间的概率区间时间逻辑和持续时间演算：完整的证明系统。 Zbl 1125.03015号 Dimitar P.Guelev。 2 2007 关于带迭代的持续时间演算的完备性和可判定性。 Zbl 1108.68074号 Dimitar P.Guelev。；洪丹凡 2 2005 强化持续时间演算的不完整性。 Zbl 1272.03140号 Dimitar P.Guelev。 2 2005 通过模型检查评估访问控制策略。 Zbl 1159.68455号 张楠；马克·瑞恩；Dimitar P.Guelev。 1 2005 具有投影的一阶区间时序逻辑的完整证明系统。 Zbl 1070.03009号 Dimitar P.Guelev。 8 2004 模型检查访问控制策略。 Zbl 1109.68456号 Dimitar P.Guelev。；马克·瑞恩；皮埃尔·伊夫·肖本斯 4 2004 持续时间演算中的逻辑插值和状态投影。 Zbl 1181.03013号 D.圭列夫。 4 2004 持续时间演算中状态投影的相对完整公理化。 Zbl 1181.03014号 D.圭列夫。；当文雄（Dang Van Hung） 1 2004 在持续时间演算中为状态添加前缀和投影。 Zbl 1270.68169号 Dimitar P.Guelev。；Van Hung，Dang先生 6 2002 区间时序逻辑中的区间相关插值。 Zbl 0992.03025号 Dimitar P.Guelev。 1 2001 概率邻域逻辑。 兹伯利0986.03025 Dimitar P.Guelev。 三 2000 高阶持续时间演算的完整片段。 Zbl 1044.68108号 Dimitar P.Guelev。 2 2000 具有定性概率的命题动态逻辑。 Zbl 0939.03028号 Dimitar P.Guelev。 5 1999 带迭代的持续时间演算片段的完整性和可判定性。 Zbl 0954.03033号 洪丹凡；Dimitar P.Guelev。 2 1999 所有引用的出版物 前5名被引用出版物 全部的 前5名69位作者引用 6 Dimitar P.Guelev。 三 瓦伦丁·F·戈兰科。 三 沃伊切赫·贾姆罗加 三 王淑玲 三 詹乃军 2 劳拉·博泽利 2 道德，德拉甘 2 洪丹凡 2 Angelo蒙塔纳里 2 本·C·莫斯科夫斯基。 2 阿尼埃洛·穆拉诺 2 佐兰·奥格尼亚诺维奇 2 洛雷达纳·索伦蒂诺 1 阿萨纳西奥斯·安德里科普洛斯 1 亚历山德罗·阿曼多 1 斯蒂芬·伊戈列维奇·巴什马科夫 1 帕特里夏·鲍耶 1 贝诺·博伊尔 1 大卫·布雷索林 1 Chang，Bor-Yuh Evan先生 1 陈明帅 1 当文雄（Dang Van Hung） 1 Dautović，Šejla 1 布里杰什·多戈尔 1 杜洪伟 1 段振华 1 吉登·恩斯特 1 卢卡·费鲁奇 1 罗伯特·弗罗哈特 1 帕特里克·加迪 1 恩里科Giunchilia 1 古罗夫，帝力 1 伊恩·海耶斯。 1 安吉丽娜·伊利·斯特皮奇 1 圣菲省卡斯滕鲍姆 1 埃尔达尔·克莱纳 1 米查尔·乔泽夫·纳皮克 1 萨瓦斯·科努尔 1 达米安·库皮耶夫斯基 1 埃德文·伦德伯格 1 迪诺·曼德里奥利 1 马可·马拉提亚 1 尼古拉斯·马基 1 佐兰·马尔科维奇。 1 乌卡斯·米库尔斯基 1 安杰洛·莫岑蒂 1 汤姆·纽科姆 1 沃伊切赫·彭泽克 1 阿列克桑达尔·佩罗维奇 1 约格·佩勒 1 塞雷娜·伊丽莎·蓬塔 1 罗摩克里希南。 1 Rašković，Miodrag D。 1 安德斯·雷文（Anders P.Ravn）。 1 沃尔夫冈·雷夫 1 罗西（Matteo A.C.Rossi）。 1 桑卡拉纳拉亚南，斯里拉姆 1 阿米特·萨斯图卡尔 1 格哈德·谢尔霍恩 1 圭多·西亚维科 1 舒新峰 1 基里尔·亚历克桑德罗维奇·斯梅利克 1 斯科特·斯托勒。 1 Jean-Pierre塔宾 1 博格丹·托凡 1 杨孟飞 1 杨萍 1 张丽君 1 赵恒军 全部的 前5名10篇连载文章中引用 5 理论计算机科学 5 应用非经典逻辑杂志 2 人工智能 2 计算的形式方面 1 国际数学与数学科学杂志 1 计算机与系统科学杂志 1 数学与人工智能年鉴 1 计算系统理论 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 计算机科学前沿 全部的 前5名在6个字段中引用 26 数理逻辑与基础（03-XX） 26 计算机科学（68至XX） 4 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 三 系统论；控制（93至XX） 1 阶、格、有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文