编辑配置文件(在新选项卡中打开) Deters,摩根 合著者距离 作者ID: 阻止摩根 发布日期: Deters,摩根 外部链接: ORCID公司 已编制索引的文档: 15出版物自2001年起 合著者: 18位合著者具有15联合出版物 441位合作作者 全部的 前5名合著者 0 单作者的 8 Stéphane P.德姆里。 7 克拉克·W·巴雷特。 5 安德鲁·雷诺兹 5 塞萨尔·蒂内利 2 维克多·昆卡 1 伊格纳西·阿比奥 1 罗恩·凯特隆(Ron K.Cytron)。 1 史蒂文·多纳休(Steven M.Donahue)。 1 阿米特·戈尔 1 莉安娜·哈达伦 1 马修·汉普顿。 1 克里希纳·M·卡维。 1 萨瓦·克里斯蒂。 1 梁天一 1 罗伯特·纽文胡斯 1 乔纳森·奈伊(Jonathan M.Nye)。 1 彼得·詹姆斯·斯塔基 1 内斯塔·齐斯卡里泽 系列 2 系统设计中的形式化方法 2 ACM计算逻辑事务 1 逻辑与计算杂志 1 应用非经典逻辑杂志 字段 12 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用86中的次75文件 引用人▼ 年份▼ SMT中用于合成的反例引导量词实例化。 Zbl 1381.68059号 安德鲁·雷诺兹;Deters,摩根;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特 16 2015 SMT中有限模型发现的量化器实例化技术。 Zbl 1381.68275号 安德鲁·雷诺兹;塞萨尔·蒂内利;阿米特·戈尔;萨瓦·克里斯蒂奇;Deters,摩根;克拉克·巴雷特 16 2013 分离逻辑和方式:一项调查。 Zbl 1398.03151号 斯特凡·德姆里;Deters,摩根 10 2015 具有两个变量且没有分离连接的分离逻辑的表示完备性。 Zbl 1367.03053号 斯蒂芬·德姆里;Deters,摩根 8 2016 二元分离逻辑及其内圈。 兹伯利1354.03036 斯特凡·德姆里;Deters,摩根 8 2015 字符串约束的高效SMT解算器。 Zbl 1404.68135号 梁天一;安德鲁·雷诺兹;内斯塔·齐斯卡里泽;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 8 2016 SMT中基于反驳的合成。 Zbl 1427.68051号 安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 5 2019 具有两个变量且没有分离连接的分离逻辑的表示完备性。 Zbl 1394.03054号 斯特凡·德姆里;Deters,摩根 4 2014 带有前缀关系的字符串上的时态逻辑。 Zbl 1353.68176号 斯特凡·德姆里;Deters,摩根 4 2016 固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143号 莉安娜·哈达伦;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利;Deters,摩根 4 2015 见证柜台机器的运行。 Zbl 1397.68122号 克拉克·巴雷特;斯特凡·德姆里;Deters,摩根 2 2013 减少SAT类搜索中的混乱:找到接近给定值的解决方案。 兹比尔1330.68266 伊格纳西·阿比奥;Deters,摩根;罗伯特·纽文胡斯;彼得·斯图基(Peter J.Stuckey)。 1 2011 SMT中基于反驳的合成。 Zbl 1427.68051号 安德鲁·雷诺兹;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 5 2019 具有两个变量且没有分离连接的分离逻辑的表示完备性。 Zbl 1367.03053号 斯蒂芬·德姆里;Deters,摩根 8 2016 字符串约束的高效SMT解算器。 Zbl 1404.68135号 梁天一;安德鲁·雷诺兹;内斯塔·齐斯卡里泽;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 8 2016 带有前缀关系的字符串上的时态逻辑。 Zbl 1353.68176号 斯特凡·德姆里;Deters,摩根 4 2016 SMT中用于合成的反例引导量词实例化。 Zbl 1381.68059号 安德鲁·雷诺兹;Deters,摩根;维克多·昆卡;塞萨尔·蒂内利;克拉克·巴雷特 16 2015 分离逻辑和方式:一项调查。 Zbl 1398.03151号 斯特凡·德姆里;Deters,摩根 10 2015 二元分离逻辑及其内圈。 兹伯利1354.03036 斯特凡·德姆里;Deters,摩根 8 2015 固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143号 莉安娜·哈达伦;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利;Deters,摩根 4 2015 具有两个变量且没有分离连接的分离逻辑的表达完备性。 Zbl 1394.03054号 斯特凡·德姆里;Deters,摩根 4 2014 SMT中有限模型发现的量化器实例化技术。 Zbl 1381.68275号 安德鲁·雷诺兹;塞萨尔·蒂内利;阿米特·戈尔;萨瓦·克里斯蒂奇;Deters,摩根;克拉克·巴雷特 16 2013 见证柜台机器的运行。 Zbl 1397.68122号 克拉克·巴雷特;斯特凡·德姆里;Deters,摩根 2 2013 减少SAT类搜索中的混乱:找到接近给定值的解决方案。 Zbl 1330.68266号 伊格纳西·阿比奥;Deters,摩根;罗伯特·纽文胡斯;彼得·斯图基(Peter J.Stuckey)。 1 2011 所有引用出版物 前5名被引用出版物 全部的 前5名182位作者引用 14 安德鲁·雷诺兹 10 塞萨尔·蒂内利 8 克拉克·W·巴雷特。 6 Barbosa,哈尼尔 6 Stéphane P.德姆里。 5 贾斯敏·克里斯蒂安·布兰切特 5 艾娜·尼梅茨 5 马蒂亚斯·普雷纳 4 Deters,摩根 4 阿莱西奥·曼苏蒂 三 约瑟夫·布杜 三 克劳迪娅·卡拉佩尔 三 亚历山大·卡尔佐夫 三 马库斯·洛伊 2 陈、陶璐 2 德米特里五世·奇斯蒂科夫。 2 沃伊切赫,切尔文斯基 2 冯世光 2 劳尔·费尔瓦里 2 帕斯卡·方丹 2 西尔维奥·吉拉尔迪 2 彼得·霍夫曼 2 侯哲 2 维克多·昆卡 2 Micha Pilipczuk 2 伊丽莎白·波尔格林 2 阿文·费南托(Alwen Fernanto Tiu) 2 迈克尔·韦哈尔 2 吴志林 2 尤尼·佐哈尔 1 亚历山德罗·阿巴特 1 帕罗什·阿齐兹·阿卜杜拉 1 弗朗西斯科·阿尔贝蒂 1 拉杰夫·阿鲁尔 1 文森佐·阿塞里 1 阿雷塞斯,卡洛斯 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 菲利普·巴尔比亚尼 1 贝内维特斯,马里奥·R·F·。 1 拉斐尔·伯顿 1 阿明·比尔 1 弗兰蒂舍克·布拉胡德克 1 米克尔波菲尔 1 阿德里安·博伊雷特 1 布斯克茨,迪达 1 蔡敦波 1 曹天岳 1 曹永志 1 陈玉芳 1 乔利亚特,大卫 1 阿戈斯蒂诺·科尔特斯 1 克里斯蒂亚,马克西米利亚诺 1 西蒙·克鲁恩斯 1 洛丽斯·达安东尼 1 维伦达·戴夫 1 克里斯蒂娜·大卫 1 伊曼纽尔·德·安吉利斯 1 加布里埃尔·埃布纳 1 丹尼尔·欧拉维 1 莱奥·埃克巴德 1 阿扎德法尔赞 1 约塔姆·M·Y·费尔德曼。 1 艾曼纽·菲利奥特 1 法比奥·菲奥拉万蒂 1 达纳·菲斯曼 1 马蒂亚斯·弗勒里 1 傅玉福 1 约翰·加拉赫(John P.Gallagher)。 1 迪迪埃·加米歇 1 高伟 1 戈雷,拉吉夫·普拉巴卡尔 1 埃里希·格拉德尔 1 林赛·格罗夫斯。 1 顾新才 1 Darion Haase先生 1 花冈、果一郎 1 甘纳·哈东 1 沃伊特·哈夫勒纳 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 卢卡什·霍利克 1 胡、秦和平 1 哈拉,简 1 尼尔·伊梅尔曼 1 拉杜·奥西夫 1 伊扎基,沙查尔 1 Jakubův,简 1 米科拉什·亚诺塔 1 苏斯米特·贾 1 金,赵 1 彼得·吉普森 1 比约恩凯德尔 1 帕斯卡·凯塞利 1 金、多汉 1 金,金宇 1 金,蒂姆 1 福崎北川 1 亚历山大·科赫。 1 杰西卡·科赫 1 马丁·科尔布尔 1 埃马努伊尔·克拉萨纳基斯 …还有82位作者 全部的 前5名14篇连载文章中引用 8 自动推理杂志 5 系统设计中的形式化方法 三 计算机科学中的逻辑方法 三 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 2 信息与计算 2 应用非经典逻辑杂志 2 计算系统理论 2 ACM计算逻辑事务 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 约束条件 1 逻辑程序设计理论与实践 1 算法 在5个字段中引用 64 计算机科学(68至XX) 40 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文