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