编辑配置文件(在新选项卡中打开) 柯特林·迪马 合著者距离 作者ID: 二甲基过氧化氢 发布日期: 柯特林·迪马;加泰林·迪马;科塔林·迪马 更多。。。较少的 已编制索引的文档: 38出版物自1989年起 2作为编辑的贡献 合著者: 26位合著者具有23联合出版物 438位合作作者 全部的 前5名合著者 17 单作者的 4 尤金·亚萨林 4 康斯坦丁·埃纳 4 Dimitar P.Guelev。 三 米歇尔·布洛克莱特 三 拉诺特、拉格罗 2 贝亚尔,玛丽·皮埃尔 2 弗朗西斯科·贝拉迪内利 2 奥尔德里克·德戈尔 2 巴斯蒂安·莫伯特 2 苏菲·平奇纳特 2 费鲁西奥·劳伦·伊普利亚 1 朱利安·塞维尔 1 罗德卡·孔杜拉克 1 阿兰·吉拉尔 1 霍恩,弗洛里安 1 沃伊切赫·贾姆罗加 1 米查尔·乔泽夫·纳皮克 1 维克托·谢尔盖维奇·科扎金 1 弗雷德里克·朗 1 瓦迪姆·马尔文 1 拉杜·马特埃斯库 1 马吕斯·米娜 1 穆春燕 1 马赫萨·希尔穆罕默德 1 索雷尔,伊夫斯 1 维克利斯、迪米特里斯 全部的 前5名系列 1 《数学与应用》(Revue Roumaine de Mathématiques Pures et Appliques) 1 出版物Mathematicae Debrecen 1 理论计算机科学 1 信息与计算 1 巴尔干数学。新系列 1 计算的形式方面 1 逻辑与计算杂志 1 Revue Roumaine des Sciences Techniques公司。Série de Mécanique贴花 1 分布式计算 1 应用非经典逻辑杂志 1 克雷奥瓦阿勒大学。Seria Matematic信息 1 蒂米·奥拉的阿奈勒大学。Seria Matematic??信息 1 自动机、语言和组合数学杂志 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 赖罗。理论信息学及其应用 全部的 前5名领域 36 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 总体主题;集合(00-XX) 2 动力系统和遍历理论(37至XX) 2 信息与通信理论、电路(94-XX) 1 群论与推广(20-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 26出版物有被引用87中的次66文件 引用人▼ 年份▼ 熵游戏和矩阵乘法游戏。 Zbl 1390.91016号 尤金·亚萨林;朱利安·塞维尔;奥尔德里克·德戈尔;加泰林·迪马;霍恩,弗洛里安;维克托·科扎金 8 2016 实时自动机。 Zbl 0970.68088号 柯特林·迪马 8 2001 沙发-自行车换挡。 Zbl 1425.68178号 贝亚尔,玛丽·皮埃尔;米歇尔·布洛克莱特;柯特林·迪马 8 2014 知识、完美回忆和过去的交替时间时序逻辑:公理化和模型检查。 Zbl 1242.68161号 Dimitar P.Guelev。;柯特林·迪马;康斯坦丁·埃纳 7 2011 事件时钟自动机的Kleene定理。 兹比尔0948.68106 柯特林·迪马 6 1999 重温了时间自动机的动力学性质。 Zbl 1142.68040号 柯特林·迪马 5 2007 分布式时间异步自动机。 Zbl 1147.68556号 柯特林·迪马;拉诺特、拉格罗 5 2007 多智能体系统的抽象。 Zbl 1151.68652号 康斯坦丁·埃纳;加泰林·迪马 4 2007 平衡的定时正则表达式。 Zbl 1270.68118号 尤金·亚萨林;柯特林·迪马 4 2003 定时洗牌表达式。 Zbl 1134.68384号 柯特林·迪马 三 2005 沙发-自行车换挡。 Zbl 1331.68123号 贝亚尔,玛丽·皮埃尔;米歇尔·布洛克莱特;科塔林·迪马 三 2016 具有同步性和完美召回的CTLK的可满足性和模型检查。 Zbl 1250.03026号 柯特林·迪马 三 2009 从时间自动机中删除所有静默转换。 Zbl 1262.68089号 柯特林·迪马;拉诺特、拉格罗 三 2009 带有定时多米诺骨牌的正则表达式。 Zbl 1040.68052号 柯特林·迪马 三 2003 使用CADP验证\(\mathrm{EB}^3\)规范。 Zbl 1335.68150号 维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 2 2016 过渡系统中的相关路径:模态微积分的下降。 Zbl 1465.68173号 柯特林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 2 2015 时间逻辑中的渐近行为。 Zbl 1394.03031号 尤金·亚萨林;米歇尔·布洛克莱特;奥尔德里克·德戈尔;柯特林·迪马;穆春燕 2 2014 实时自动机和实数集的Kleene代数。 Zbl 0962.68116号 柯特林·迪马 2 2000 具有完美回忆、过去和策略背景的认知ATL。 Zbl 1361.68232号 Dimitar P.Guelev。;加泰林·迪马 2 2012 具有“伪拓扑”次序的静态容错实时调度。 兹比尔1109.68374 柯特林·迪马;阿兰·吉拉尔;索雷尔,伊夫斯 1 2004 通过ThreeBallot投票协议的应用程序验证战略能力的双模拟。 Zbl 1497.68287号 弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;米查尔·科纳皮克 1 2021 用知识、不完美信息、完美回忆和交流联盟对交替时间逻辑进行建模检查。 Zbl 1456.68097号 柯特林·迪马;康斯坦丁·埃纳;迪米塔尔·盖列夫 1 2010 时间语言的非Archimedia离散化。 Zbl 1099.68049号 柯特林·迪马 1 2004 关于洗牌、秒表和独立进化时钟的研究。 Zbl 1277.68179号 柯特林·迪马;拉诺特、拉格罗 1 2012 分布式实时自动机。 Zbl 1103.68575号 柯特林·迪马 1 2003 过渡系统中的相关路径:模态微积分的下降。 Zbl 1407.68287号 加泰林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 1 2018 通过应用三选票投票协议验证战略能力的相互模拟。 Zbl 1497.68287号 弗朗西斯科·贝拉迪内利;罗德卡·孔杜拉克;柯特林·迪马;沃伊切赫·贾姆罗加;米查尔·科纳皮克 1 2021 过渡系统中的相关路径:模态微积分的下降。 Zbl 1407.68287号 加泰林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 1 2018 熵游戏和矩阵乘法游戏。 Zbl 1390.91016号 尤金·亚萨林;朱利安·塞维尔;奥尔德里克·德戈尔;加泰林·迪马;霍恩,弗洛里安;维克托·科扎金 8 2016 沙发-自行车换挡。 Zbl 1331.68123号 贝亚尔,玛丽·皮埃尔;米歇尔·布洛克莱特;科塔林·迪马 三 2016 使用CADP验证\(\mathrm{EB}^3\)规范。 Zbl 1335.68150号 维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 2 2016 过渡系统中的相关路径:模态微积分的下降。 Zbl 1465.68173号 柯特林·迪马;巴斯蒂安·莫伯特;苏菲·平奇纳特 2 2015 沙发-自行车换挡。 Zbl 1425.68178号 贝亚尔,玛丽·皮埃尔;米歇尔·布洛克莱特;柯特林·迪马 8 2014 时间逻辑中的渐近行为。 兹比尔1394.03031 尤金·亚萨林;米歇尔·布洛克莱特;奥尔德里克·德戈尔;柯特林·迪马;穆春燕 2 2014 具有完美回忆、过去和策略背景的认知型ATL。 Zbl 1361.68232号 Dimitar P.Guelev。;加泰林·迪马 2 2012 关于洗牌、秒表和独立进化时钟的研究。 Zbl 1277.68179号 柯特林·迪马;拉诺特、拉格罗 1 2012 知识、完美回忆和过去的交替时间时序逻辑:公理化和模型检查。 Zbl 1242.68161号 Dimitar P.Guelev。;柯特林·迪马;康斯坦丁·埃纳 7 2011 用知识、不完美信息、完美回忆和交流联盟对交替时间逻辑进行建模检查。 Zbl 1456.68097号 柯特林·迪马;康斯坦丁·埃纳;迪米塔尔·盖列夫 1 2010 具有同步性和完美召回的CTLK的可满足性和模型检查。 Zbl 1250.03026号 柯特林·迪马 三 2009 从时间自动机中删除所有静默转换。 Zbl 1262.68089号 柯特林·迪马;拉诺特、拉格罗 三 2009 重温了时间自动机的动力学性质。 Zbl 1142.68040号 柯特林·迪马 5 2007 分布式时间异步自动机。 Zbl 1147.68556号 柯特林·迪马;拉诺特、拉格罗 5 2007 多智能体系统的抽象。 Zbl 1151.68652号 康斯坦丁·埃纳;加泰林·迪马 4 2007 定时洗牌表达式。 Zbl 1134.68384号 柯特林·迪马 三 2005 具有“伪拓扑”命令的静态容错实时调度。 Zbl 1109.68374号 柯特林·迪马;阿兰·吉拉尔;索雷尔,伊夫斯 1 2004 时间语言的非Archimedia离散化。 Zbl 1099.68049号 柯特林·迪马 1 2004 平衡的定时正则表达式。 Zbl 1270.68118号 尤金·亚萨林;柯特林·迪马 4 2003 带有定时多米诺骨牌的正则表达式。 Zbl 1040.68052号 柯特林·迪马 三 2003 分布式实时自动机。 Zbl 1103.68575号 柯特林·迪马 1 2003 实时自动机。 Zbl 0970.68088号 柯特林·迪马 8 2001 实时自动机和实数集的Kleene代数。 Zbl 0962.68116号 柯特林·迪马 2 2000 事件时钟自动机的Kleene定理。 兹比尔0948.68106 柯特林·迪马 6 1999 所有引用出版物 前5名被引用出版物 全部的 前5名126位作者引用 4 贝亚尔,玛丽·皮埃尔 4 柯特林·迪马 4 维克托·谢尔盖维奇·科扎金 4 尼古拉斯·马基 三 帕特里夏·鲍耶 三 劳拉·博泽利 三 圣埃芬·高伯特 三 帕维尔·海勒 三 沃伊切赫·贾姆罗加 三 阿尼埃洛·穆拉诺 三 卡琳·夸斯 三 Jean-François拉斯金 三 洛雷达纳·索伦蒂诺 2 阿克西,S。 2 达拉尔·阿尔拉杰 2 安、杰 2 戴维德·贾科莫·卡维扎 2 Chebotarev,Pavel Yu。 2 de la Puente,玛丽亚·耶稣 2 劳伦特·多恩 2 曼弗雷德·德罗斯特 2 保罗·加斯丁 2 吉勒·杰勒茨 2 安德拉斯·吉尔吉 2 沃尔夫冈·克里格 2 库兹涅佐夫(Nikolai Aleksandrovich) 2 拉诺特、拉格罗 2 阿莱西奥·洛穆西奥 2 纳塔利·斯兹纳杰德 2 詹伯华 1 泰斯尼姆·阿卜杜拉提夫 1 玛丽安·阿基安 1 尤金·亚萨林 1 巴哈德利,巴哈德 1 斯捷潘·伊戈列维奇 1 弗朗西斯科·贝拉迪内利 1 贝拉德,贝特里奇 1 迪特马尔·伯旺格 1 米歇尔·布洛克莱特 1 贝内迪克特·博利格 1 奥利维尔·伯内兹 1 大卫·布雷索林 1 托马斯·布里海耶 1 维罗尼克·布鲁埃 1 Chane-Yack-Fa,拉斐尔 1 陈明帅 1 Abderrezak Chouki 1 兰斯·克莱维兰 1 洛伦佐·克莱门特 1 雅克·康巴兹 1 Cvetković,Aleksandar S。 1 马蒂杰斯·德·维特(Mathijs M.de Weerdt)。 1 马丁·德·沃尔夫 1 朱尔根·丁格尔 1 杜兰·洛斯,杰尔·奥利维尔 1 El-Fakih,哈立德 1 托马斯·费雷尔 1 劳尔·费尔瓦里 1 阿兰·芬克尔 1 彼得·丰塔纳 1 马克·弗拉皮耶 1 施穆尔·弗里德兰 1 帕特里克·加迪 1 布莱斯·基内斯特 1 瓦伦丁·F·戈兰科。 1 朱利安,大克莱门特 1 Dimitar P.Guelev。 1 杰雷米·吉劳德 1 迪莉安·古罗夫 1 亚历山大·米列维奇·古特曼 1 滨木俊弘 1 洛依茨海露 1 Riadh Hocine公司 1 彼得·霍夫曼 1 哈穆迪·卡拉 1 萨利姆·卡拉 1 米查尔·乔泽夫·纳皮克 1 K.Narayan Kumar 1 达米安·库皮耶夫斯基 1 弗雷德里克·朗 1 Legay、Axel 1 刘志峰 1 埃德文·伦德伯格 1 阿梅尔·曼玛 1 拉杜·马特埃斯库 1 伊拉里亚·马特尤奇 1 巴斯蒂安·莫伯特 1 乌卡斯·米库尔斯基 1 马达瓦恩·穆昆德 1 德扬·尼科维奇 1 詹姆斯·奥尔蒂斯(James N.Ortiz)。 1 帕伦特,米姆 1 沃伊切赫·彭泽克 1 安托万·C·佩蒂特。 1 苏菲·平奇纳特 1 阿默里·波利 1 弗拉基米尔·尤·普罗塔索夫。 1 曲洪阳 1 伊莱恩·雷恩 1 皮埃尔·阿莱·雷尼尔 …还有26位作者 全部的 前5名27篇连载文章中引用 5 理论计算机科学 4 系统设计中的形式化方法 三 信息与计算 三 计算的形式方面 三 计算系统理论 2 人工智能 2 信息处理信件 2 线性代数和多线性代数 2 遍历理论和动力系统 2 自动化和远程控制 1 倒排索引综述 1 机器学习 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 分布式计算 1 数学编程。A系列B系列 1 越南数学杂志 1 自然与社会中的离散动力学 1 巴西数学学会公报。新系列 1 符号逻辑述评 1 赖罗。理论信息学及其应用 1 数学控制及相关领域 1 中国计算机科学前沿 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 计算机科学评论 1 特殊矩阵 1 国际系统科学杂志。系统与集成原理与应用 全部的 前5名16个领域引用 49 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 7 动力系统和遍历理论(37至XX) 7 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 线性代数和多线性代数;矩阵理论(15-XX) 6 系统论;控制(93至XX) 2 代数几何(14-XX) 2 测量和集成(28-XX) 2 变分法与最优控制;最优化(49至XX) 2 数值分析(65-XX) 2 运筹学、数学规划(90-XX) 1 群论与推广(20-XX) 1 算子理论(47-XX) 1 凸和离散几何(52至XX) 1 一般拓扑结构(54至XX) 1 概率论与随机过程(60-XX) 按年份列出的引文