编辑配置文件（在新选项卡中打开） 范·德里姆伦（van Drimmelen）、戈弗特（Govert） 合著者距离 作者ID： 货车驱动.敞篷 发布日期： 范·德里姆伦（van Drimmelen）、戈弗特（Govert）;范·德里姆伦（G.van Drimmelen）。 已编制索引的文档： 3出版物自2006年以来 合著者： 3位合著者具有3联合出版物 169位合作作者 合著者 0 单作者的 三 瓦伦丁·F·戈兰科。 2 Stéphane P.德姆里。 2 阿兰·芬克尔 系列 1 理论计算机科学 1 应用非经典逻辑杂志 领域 三 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用58中的次56文件 引用人▼ 年份▼ 交替时间逻辑的完全公理化和可判定性。 Zbl 1089.03013号 瓦伦丁·戈兰科;戈弗特·范·德里默伦 33 2006 平板Presburger计数器系统上的模型检查。 Zbl 1242.68157号 斯特凡·德姆里;阿兰·芬克尔;瓦伦丁·戈兰科;范·德里姆伦（van Drimmelen）、戈弗特（Govert） 16 2010 走向计数器系统的模型检查器。 Zbl 1161.68563号 德姆里，S。;芬克尔，A。;V.戈兰科。;范·德里姆伦（G.van Drimmelen）。 9 2006 平板Presburger计数器系统上的模型检查。 Zbl 1242.68157号 斯特凡·德姆里;阿兰·芬克尔;瓦伦丁·戈兰科;范·德里姆伦（van Drimmelen）、戈弗特（Govert） 16 2010 交替时间逻辑的完全公理化和可判定性。 Zbl 1089.03013号 瓦伦丁·戈兰科;范·德里姆伦（van Drimmelen）、戈弗特（Govert） 33 2006 走向计数器系统的模型检查器。 Zbl 1161.68563号 德米里，S。;芬克尔，A。;V.戈兰科。;范·德里默伦，G。 9 2006 所有引用的出版物 前5名被引用出版物 全部的 前5名94位作者引用 9 阿兰·芬克尔 5 Stéphane P.德姆里。 5 帕维尔·G·瑙莫夫。 4 阿诺德·桑尼尔 三 托马斯·奥戈特内斯 三 阿米特·库马尔·达尔 三 瓦伦丁·F·戈兰科。 三 苏菲·平奇纳特 2 博利格，贝内迪克特 2 帕特里夏·鲍耶 2 劳拉·博泽利 2 皮埃尔·香巴特 2 陈清亮 2 柯特林·迪马 2 帕特里克·加迪 2 雷吉斯·加斯科 2 Dimitar P.Guelev。 2 沃伊切赫·贾姆罗加 2 尼古拉斯·马基 2 M·普拉文。 2 米哈伊尔·尼古拉埃维奇·里巴科夫 2 西尔万·施密茨 2 德米特里·什卡托夫 2 苏凯乐 2 阿姆丽塔·苏雷什 2 陶，贾 1 娜塔莎·亚历奇纳 1 马尔塞洛·玛丽亚·贝尔萨尼 1 迪特马尔·伯旺格 1 Tewodros A.Beyene。 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 胡勇 1 乌尔里希·赫斯塔特 1 姜俊丽 1 安蒂·库西斯托 1 马丁·勒克 1 艾蒂安·洛兹 1 罗向玉 1 瓦迪姆·马尔文 1 佐哈尔·曼纳 1 阿莱西奥·曼苏蒂 1 亚历山德拉·马拉 1 皮埃尔·麦肯齐 1 马可·蒙塔利 1 安杰洛·莫尔岑蒂 1 阿尼埃洛·穆拉诺 1 Cláudia Nalon 1 Nguyen、Hoang Nga 1 恩里卡·尼科里尼 1 沃伊切赫·彭泽克 1 安德烈·普拉泽 1 科尼利亚·亚历山大·波皮亚 1 马蒂奥·普拉德拉 1 阿卜杜尔·拉基布 1 雷恩·Rönnholm 1 罗西（Matteo A.C.Rossi）。 1 安德烈·里巴尔琴科 1 阿卜杜勒·萨塔尔 1 亨尼·B·西普玛。 1 斯莱尼娜，马蒂奥 1 迈克尔·泰尔舍尔 1 丹尼尔·托马 1 德克·沃尔特 1 莎拉·温克勒 1 克里斯蒂安·沃尔姆 1 元，元 1 阿尔贝托·扎纳多 1 乔治·泽采 1 张东墨 1 张，兰 1 丹尼尔·祖切利 全部的 前5名19篇连载文章中引用 7 理论计算机科学 5 人工智能 三 ACM计算逻辑汇刊 三 计算机科学中的逻辑方法 2 Studia Logica公司 2 信息与计算 2 逻辑、语言和信息杂志 2 计算机科学前沿 1 哲学逻辑杂志 1 合成 1 自动推理杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 应用非经典逻辑杂志 1 人工智能研究杂志 1 计算系统理论 1 应用逻辑杂志 1 符号逻辑述评 1 Logicheskie Issledovaniya公司 在3个字段中引用 48 计算机科学（68至XX） 41 数学逻辑和基础（03-XX） 12 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文