编辑配置文件(在新选项卡中打开) Oe,Duckki(杜基·欧) 合著者距离 作者ID: oe.duckki(奥德巴克) 发布日期: Oe,Duckki(杜基·欧) 已编制索引的文档: 2出版物自2012年起 合著者: 6位合著者具有2联合出版物 125位Co-Co作者 全部的 前5名合著者 0 单作者的 2 阿伦·斯塔姆 1 克兰西,凯文 1 莉安娜·哈达伦 1 科里·奥利弗 1 安德鲁·雷诺兹 1 塞萨尔·蒂内利 系列 1 系统设计中的形式化方法 字段 2 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 2出版物有被引用21中的次19文件 引用人▼ 年份▼ versat公司:经过验证的现代SAT求解器。 Zbl 1326.68263号 Oe,Duckki(杜基·欧);阿伦·斯塔姆;科里·奥利弗;凯文·克兰西 13 2012 使用逻辑框架进行SMT验证检查。 Zbl 1284.68521号 阿伦·斯塔姆;Oe,Duckki(杜基·欧);安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 8 2013 使用逻辑框架进行SMT验证。 Zbl 1284.68521号 阿伦·斯塔姆;Oe,Duckki(杜基·欧);安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 8 2013 versat公司:经过验证的现代SAT求解器。 Zbl 1326.68263号 Oe,Duckki(杜基·欧);阿伦·斯塔姆;科里·奥利弗;凯文·克兰西 13 2012 所有引用出版物 排名前五的出版物 全部的 前5名54位作者引用 4 马蒂亚斯·弗勒里 4 Heule,Marijn J.H。 三 贾斯敏·克里斯蒂安·布兰切特 2 Seulkee Baek先生 2 克拉克·W·巴雷特。 2 彼得·兰米奇 2 塞萨尔·蒂内利 2 王,弯腰 2 克里斯托夫·韦登巴赫 1 哈尼尔·巴博萨 1 丹尼·鲍尔森(Danny Bougsted Poulsen) 1 Böhme,萨沙 1 扎卡里亚·奇哈尼 1 瑟·特凡·乔巴赫 1 马丁·德沙奈斯 1 傅玉福 1 顾,明 1 他,费 1 沃伦·朱恩·亨特(Warren jun Hunt)。 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 Tan,Yong Kiam先生 1 蔡明勋 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 内森·韦兹勒。 1 杨伯寅 1 周敏 1 尤尼·佐哈尔 3篇连载文章中引用 4 自动推理杂志 1 应用数学杂志 1 计算机科学中的逻辑方法 在2个字段中引用 17 计算机科学(68-XX) 6 数学逻辑和基础(03-XX) 按年份列出的引文