编辑配置文件(在新选项卡中打开) 莉安娜·哈达伦 合著者距离 作者ID: hadaren.藤蔓 发布日期: 莉安娜·哈达伦 已编制索引的文档: 3出版物自2013年起 合著者: 9合著者具有3联合出版物 268位合作作者 全部的 前5名合著者 0 单作者的 2 安德鲁·雷诺兹 2 塞萨尔·蒂内利 1 克拉克·W·巴雷特。 1 Brain,马丁 1 Deters,摩根 1 丹尼尔·科宁 1 鲁本·马丁斯 1 Oe,Duckki(杜基·欧) 1 阿伦·斯塔姆 系列 1 系统设计中的形式化方法 字段 三 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用16中的次14文件 引用人▼ 年份▼ 使用逻辑框架进行SMT验证。 Zbl 1284.68521号 阿伦·斯塔姆;Oe,Duckki(杜基·欧);安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 8 2013 固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143号 莉安娜·哈达伦;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利;Deters,摩根 4 2015 自动生成传播完整的SAT编码。 Zbl 1475.68218号 Brain,马丁;莉安娜·哈达伦;丹尼尔·克罗宁;鲁本·马丁斯 4 2016 自动生成传播完整的SAT编码。 Zbl 1475.68218号 Brain,马丁;莉安娜·哈达伦;丹尼尔·克罗宁;鲁本·马丁斯 4 2016 固定宽度位向量理论的细粒度SMT证明。 Zbl 1471.68143号 莉安娜·哈达伦;克拉克·巴雷特;安德鲁·雷诺兹;塞萨尔·蒂内利;Deters,摩根 4 2015 使用逻辑框架进行SMT验证。 Zbl 1284.68521号 阿伦·斯塔姆;Oe,Duckki(杜基·欧);安德鲁·雷诺兹;莉安娜·哈达伦;塞萨尔·蒂内利 8 2013 所有引用出版物 前5名被引用出版物 全部的 前5名48位作者引用 三 马蒂亚斯·弗勒里 2 Barbosa,哈尼尔 2 克拉克·W·巴雷特。 2 贾斯敏·克里斯蒂安·布兰切特 2 彼得·库切拉 2 塞萨尔·蒂内利 2 王,弯腰 1 Seulkee Baek先生 1 Böhme,萨沙 1 蔡敦波 1 扎卡里亚·奇哈尼 1 马丁·德沙奈斯 1 维杰·迪尔瓦 1 帕斯卡·方丹 1 傅玉福 1 高伟 1 顾,明 1 他,费 1 Heule,Marijn J.H。 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 Vojtěch Vorel 1 杨伯寅 1 张强 1 周敏(Zhou,Min) 1 尤尼·佐哈尔 4篇连载文章中引用 4 自动推理杂志 1 理论计算机科学 1 应用数学杂志 1 算法 在2个字段中引用 14 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的引文