×
作者ID: 阻止摩根“Deters,Morgan”最近发表的zbMATH文章
发布日期: Deters,摩根
外部链接: ORCID公司
已编制索引的文档: 15出版物自2001年起
合著者: 18位合著者具有15联合出版物
441位合作作者

按年份列出的出版物

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名

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位作者

按年份列出的引文