×

兹马思-数学第一资源

威慑,摩根

计算距离:
作者ID: 阻止。摩根最近zbMATH的文章“Deters,Morgan”
发布方式: 威慑,摩根
外部链接: 半兽人
编制索引的文档: 15种出版物2001年以来

按年份列出的出版物

zbMATH公开赛中包含的引文

12出版物有被引用48时间43份文件 引用人
有限量化模型的发现技术。 Zbl 1381.68275
雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克
13
2013
反例引导的SMT合成量词实例化。 Zbl 1381.68059
雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克
9
2015
分离逻辑与模式:综述。 Zbl 1398.03151号
德姆瑞,圣潘;威慑,摩根
5
2015
二元无分离连接的分离逻辑的表达完备性。 Zbl 1367.03053
迪玛,斯蒂芬;威慑,摩根
5
2016
二元分离逻辑及其内圈。 Zbl 1354.03036
德姆瑞,圣潘;威慑,摩根
4
2015
二元无分离连接的分离逻辑的表达完备性。 Zbl 1394.03054号
德姆瑞,圣潘;威慑,摩根
2014
固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143
哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根
2
2015
带前缀关系的字符串上的时态逻辑。 Zbl 1353.68176号
德姆瑞,圣潘;威慑,摩根
2
2016
证人跑向反机器。 Zbl 1397.68122号
巴雷特,克拉克;德姆瑞,圣潘;威慑,摩根
2
2013
SMT中基于反驳的合成。 Zbl 1427.68051
雷诺兹,安德鲁;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2019
减少类似SAT的搜索中的混乱:找到接近给定的解决方案。 Zbl 1330.68266
阿比奥,伊格纳西;威慑,摩根;尼尤文胡斯,罗伯特;彼得,斯图基。
1
2011
一个有效的字符串约束SMT求解器。 Zbl 1404.68135号
梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2016
SMT中基于反驳的合成。 Zbl 1427.68051
雷诺兹,安德鲁;昆卡,维克多;蒂内利,蒂内利;巴雷特,克拉克;威慑,摩根
1
2019
二元无分离连接的分离逻辑的表达完备性。 Zbl 1367.03053
迪玛,斯蒂芬;威慑,摩根
5
2016
带前缀关系的字符串上的时态逻辑。 Zbl 1353.68176号
德姆瑞,圣潘;威慑,摩根
2
2016
一个有效的字符串约束SMT求解器。 Zbl 1404.68135号
梁天一;雷诺兹,安德鲁;茨卡里兹,内斯坦;蒂内利,塞萨尔;巴雷特,克拉克;威慑,摩根
1
2016
反例引导的SMT合成量词实例化。 Zbl 1381.68059
雷诺兹,安德鲁;威慑,摩根;昆卡,维克多;蒂内利,塞萨尔;巴雷特,克拉克
9
2015
分离逻辑与模式:综述。 Zbl 1398.03151号
德姆瑞,圣潘;威慑,摩根
5
2015
二元分离逻辑及其内圈。 Zbl 1354.03036
德姆瑞,圣潘;威慑,摩根
4
2015
固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143
哈达琳,莉安娜;巴雷特,克拉克;雷诺兹,安德鲁;蒂内利,塞萨尔;威慑,摩根
2
2015
二元无分离连接的分离逻辑的表达完备性。 Zbl 1394.03054号
德姆瑞,圣潘;威慑,摩根
2014
SMT中有限模型发现的量词实例化技术。 Zbl 1381.68275
雷诺兹,安德鲁;蒂内利,塞萨尔;歌尔,阿米特;萨瓦Krstić;威慑,摩根;巴雷特,克拉克
13
2013
证人跑向反机器。 Zbl 1397.68122号
巴雷特,克拉克;德姆瑞,圣潘;威慑,摩根
2
2013
减少类似SAT的搜索中的混乱:找到接近给定的解决方案。 68ZB266.0升
阿比奥,伊格纳西;威慑,摩根;尼尤文胡斯,罗伯特;斯图基,彼得J。
1
2011
全部的 前5名

被89位作者引用

9 雷诺兹,安德鲁
5 布兰切特,贾斯敏·克里斯蒂安
5 Demri,Stéphane P。
5 蒂内利,塞萨尔
4 巴雷特,克拉克W。
4 威慑,摩根
尼美兹,艾娜
普莱纳,马蒂亚斯
2 巴博萨,哈尼尔
2 布杜,约瑟夫
2 卡拉佩尔,克劳迪娅
2 陈涛略
2 奇斯蒂科夫,德米特里诉。
2 泽尔文斯基,沃伊切赫
2 方丹,帕斯卡
2 吉尔迪,西尔维奥
2 霍夫曼,皮奥特
2 卡佐,亚历山大
2 昆卡,维克多
2 洛里,马库斯
2 曼苏蒂,阿莱西奥
2 皮利普祖克,米迦
2 Wehar,迈克尔
2 吴智霖
1 阿尔贝蒂,弗朗西斯科
1 阿鲁尔,拉吉耶夫
1 阿塞利,文琴佐
1 巴尔比尼,菲利普
1 贝尼维德斯,马里奥R.F。
1 比尔,阿明
1 波菲尔,米克尔
1 巴斯克茨,达克斯
1 蔡,邓波
1 科特斯,阿戈斯蒂诺
1 克里斯蒂娅,马克西米利亚诺
1 克鲁恩斯,西蒙
1 艾伯纳,加布里埃尔
1 费尔德曼,约坦·M·Y。
1 冯世光
1 费瓦里,劳尔
1 弗勒里,马蒂亚斯
1 弗朗西斯,迈克尔H。
1 加尔米切,迪迪埃
1 顾新才
1 花冈,戈奇罗
1 哈通,冈纳
1 侯哲
1 尼尔,伊梅曼
1 Iosif,拉杜
1 杰哈,苏米特
1 凯德尔,比约恩
1 国王,蒂姆
1 北川,福佑吉
1 科赫,亚历山大K。
1 科赫,杰西卡
1 克拉萨纳基斯,伊曼努伊尔
1 拉奇·温德林,多米尼克
1 洛兹,艾蒂安
1 吕恒义
1 马斯特罗尼,伊莎贝拉
1 松田、高弘
1 梅瑞,丹尼尔
1 穆尼奥斯,维克托
1 奥利亚罗,玛蒂娜
1 帕顿,奥德
1 帕加尼,埃琳娜
1 佩格尔,詹斯
1 亚历山德罗
1 拉德哈基什纳,阿琼
1 Raman,Vasumathi
1 罗西,詹弗兰科
1 鲁普,安迪
1 萨吉夫,穆利
1 沙海,吐温
1 塞尔维亚人,克里斯蒂娜
1 莎莉吉娜,娜塔莎
1 肖汉,莎伦
1 宋、赋
1 Symeonidis,安德烈亚斯L。
1 田中,庆介
1 蒂乌,阿尔文·费南托
1 图雷特,索菲
1 旧金山特鲁斯科
1 阿披实乌杜帕
1 维洛索,保罗·奥古斯托S。
1 维洛索,希拉·R·M。
1 维拉雷特,马修
1 Ziliani,贝塔
1 祖勒格,弗洛里安

按年份列出的引文