编辑配置文件(在新选项卡中打开) 哈勒,利奥波德 合著者距离 作者ID: haller-leopold公司 发布日期: 利奥波德·哈勒 已编制索引的文档: 8出版物自2009年起 合著者: 11位合著者具有8联合出版物 196位合作作者 全部的 前5名合著者 0 单作者的 8 丹尼尔·科宁 5 维杰·迪尔瓦 2 布莱恩,马丁 2 阿尔贝托·格里乔 1 尤里·切比里亚克 1 阿拉斯泰尔·唐纳森。 1 汤姆·梅尔姆 1 拉杰迪普·穆克吉 1 彼得·施拉梅尔 1 迈克尔·陶奇尼格 1 托马斯·沃尔 系列 1 系统设计中的形式化方法 领域 8 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 7出版物有被引用45中的次24文件 引用人▼ 年份▼ 利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号 布莱恩,马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 18 2014 抽象冲突驱动学习。 Zbl 1301.68156号 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 8 2013 数字边界分析与冲突驱动学习。 Zbl 1352.68060号 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格 8 2012 抽象满意度。 Zbl 1284.68392号 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 5 2014 对DPLL(T)的抽象解释。 Zbl 1426.68249号 布莱恩,马丁;维杰·迪尔瓦;利奥波德·哈勒;阿尔贝托·格里乔;丹尼尔·克罗宁 三 2013 通过轻量级静态分析加强基于导入的比赛检查。 Zbl 1317.68113号 阿拉斯泰尔·唐纳森。;利奥波德·哈勒;丹尼尔·克罗宁 2 2011 将CDCL提升到基于模板的抽象域以进行程序验证。 Zbl 1495.68139号 拉杰迪普·穆克吉;彼得·施拉梅尔;利奥波德·哈勒;丹尼尔·克罗宁;汤姆·梅尔姆 1 2017 将CDCL提升到基于模板的抽象域以进行程序验证。 兹比尔1495.68139 穆克吉,拉杰迪普;彼得·施拉梅尔;利奥波德·哈勒;丹尼尔·克罗宁;汤姆·梅尔姆 1 2017 利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号 布莱恩,马丁;D’维杰·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 18 2014 抽象满意度。 Zbl 1284.68392号 D’维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 5 2014 抽象冲突驱动学习。 Zbl 1301.68156号 D’维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 8 2013 对DPLL(T)的抽象解释。 Zbl 1426.68249号 布莱恩,马丁;D’维杰·西尔瓦;利奥波德·哈勒;阿尔贝托·格里乔;丹尼尔·克罗宁 三 2013 数字边界分析与冲突驱动学习。 Zbl 1352.68060号 D’维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格 8 2012 通过轻量级静态分析加强基于导入的比赛检查。 Zbl 1317.68113号 阿拉斯泰尔·唐纳森。;利奥波德·哈勒;丹尼尔·克罗宁 2 2011 所有引用出版物 排名前五的出版物 全部的 前5名59位作者引用 4 丹尼尔·科宁 三 维杰·迪尔瓦 三 罗伯托·塞巴斯蒂亚尼 三 帕特里克·特伦丁 2 罗伯特·巴格纳拉 2 罗伯塔·戈里 2 菲利普·吕默 2 城市,卡特里娜 2 Christoph M.温特斯泰格。 1 阿布拉莫·巴格纳拉 1 马雷克·巴拉诺夫斯基 1 克拉克·W·巴雷特。 1 阿明·比尔 1 法比奥·比塞利 1 玛丽亚·保拉(Maria Paola Bonacina) 1 布莱恩,马丁 1 卡利埃、马蒂厄 1 米歇尔·齐亚里 1 玛丽亚·克里斯塔基斯 1 伊娃·达鲁洛娃 1 伊曼纽尔·德·安吉利斯 1 阿拉斯泰尔·唐纳森。 1 法比奥·菲奥拉万蒂 1 约翰·加拉赫(John P.Gallagher)。 1 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 1 阿尔诺·哥特利布 1 阿尔贝托·格里乔 1 利奥波德·哈勒 1 简·哈尔特曼 1 何绍波 1 曼努埃尔·赫梅内吉尔多。 1 查尔斯·雅各布森 1 Jeangoudoux,克洛蒂尔德 1 Khanh,To Van先生 1 马蒂亚斯·莱切纳 1 尤利亚·利勒 1 德巴西米塔·洛哈尔 1 埃里克·蒙弗罗伊 1 大卫·莫尼奥(David P.Monniaux)。 1 小川,水井裕人 1 阿尔贝托·佩特罗西 1 大卫·艾伦(David Alan),Plaisted 1 毛里齐奥·普罗埃蒂 1 茨沃尼米尔·拉卡马里奇 1 茨沃尼米尔·拉卡马里奇 1 娜塔莎·莎莉吉娜 1 Joshua Z.索贝尔。 1 阿列克谢·索洛夫耶夫 1 皮埃尔·塔尔博特 1 Thanh Son Nguyen先生 1 塞萨尔·蒂内利 1 斯特凡诺·托内塔 1 夏洛特·特鲁切特 1 特鲁什琴斯基,米洛斯奥 1 阿里亚克西·齐托维奇 1 董武轩 1 海克·卫尔海姆 1 莎拉·温克勒 1 Aleksandar Zeljić 全部的 前5名6篇连载文章中引用 5 自动推理杂志 4 系统设计中的形式化方法 2 逻辑程序设计理论与实践 1 人工智能 1 约束条件 1 信息计算杂志 在4个字段中引用 24 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 4 数值分析(65-XX) 2 运筹学、数学规划(90-XX) 按年份列出的引文