编辑配置文件(在新选项卡中打开) 维杰·迪尔瓦 合著者距离 作者ID: 迪尔瓦.维杰 发布日期: 维杰·德·席尔瓦;维杰·迪尔瓦 已编制索引的文档: 18出版物自2004年起 合著者: 14合著者具有16联合出版物 235位合作作者 全部的 前5名合著者 2 单作者的 10 丹尼尔·科宁 5 利奥波德·哈勒 三 马塞洛·索萨。 三 城市,卡特里娜 2 布莱恩,马丁 2 阿尔贝托·格里乔 2 米特拉·普兰达尔 1 纳文·钱德拉 1 罗德里格斯,塞萨尔·马林 1 桑帕达Sonalker 1 迈克尔·陶奇尼格 1 维贾亚拉克什米,B。 1 托马斯·沃尔 1 乔治·威森巴赫 系列 1 自动推理杂志 1 计算的形式方面 1 系统设计中的形式化方法 领域 18 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用84中的次57文件 引用人▼ 年份▼ 插值强度。 Zbl 1273.68225号 维杰·德·席尔瓦;丹尼尔·克罗宁;米特拉·普兰达尔;乔治·威森巴赫 24 2010 利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号 布莱恩,马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 18 2014 数字边界分析与冲突驱动学习。 Zbl 1352.68060号 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格 8 2012 抽象冲突驱动学习。 兹比尔1301.68156 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 8 2013 抽象满意度。 Zbl 1284.68392号 维杰·德·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 5 2014 冲突驱动的有条件终止。 Zbl 1381.68155号 维杰·德·席尔瓦;城市,卡特里娜 5 2015 命题插值和抽象解释。 兹比尔1259.03024 维杰·德·席尔瓦 4 2010 对DPLL(T)的抽象解释。 Zbl 1426.68249号 布莱恩,马丁;维杰·迪尔瓦;利奥波德·哈勒;阿尔贝托·格里乔;丹尼尔·克罗宁 三 2013 用于基于插值的模型检查的近似细化。 Zbl 1138.68444号 维杰·德·席尔瓦;米特拉·普兰达尔;丹尼尔·克罗宁 三 2008 用于GALS系统建模和验证的工具集。 Zbl 1103.68633号 拉梅什,S。;桑帕达Sonalker;维杰·迪尔瓦;纳文·钱德拉;维贾亚拉克什米,B。 2 2004 用展开进行抽象解释。 Zbl 1494.68044号 马塞洛·索萨;塞萨尔·罗德里格斯;维杰·德·席尔瓦;丹尼尔·克罗宁 2 2017 抽象解释为自动演绎。 Zbl 1465.68175号 维杰·德·席尔瓦;城市,卡特里娜 1 2015 抽象解释为自动演绎。 Zbl 1410.68222号 维杰·德·席尔瓦;城市,卡特里娜 1 2017 用展开进行抽象解释。 Zbl 1494.68044号 马塞洛·索萨;塞萨尔·罗德里格斯;D’维杰·席尔瓦;丹尼尔·克罗宁 2 2017 抽象解释为自动演绎。 Zbl 1410.68222号 D’维杰·席尔瓦;城市,卡特里娜 1 2017 冲突驱动的有条件终止。 Zbl 1381.68155号 D’维杰·席尔瓦;城市,卡特里娜 5 2015 抽象解释为自动演绎。 Zbl 1465.68175号 D’维杰·席尔瓦;城市,卡特里娜 1 2015 利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号 布莱恩,马丁;D’维杰·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 18 2014 抽象满意度。 Zbl 1284.68392号 D’维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 5 2014 抽象冲突驱动学习。 兹比尔1301.68156 D’维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁 8 2013 对DPLL(T)的抽象解释。 Zbl 1426.68249号 布莱恩,马丁;D’维杰·西尔瓦;利奥波德·哈勒;阿尔贝托·格里乔;丹尼尔·克罗宁 三 2013 数字边界分析与冲突驱动学习。 Zbl 1352.68060号 D’维杰·席尔瓦;利奥波德·哈勒;丹尼尔·克罗宁;迈克尔·陶奇尼格 8 2012 插值强度。 Zbl 1273.68225号 D’席尔瓦,维杰;丹尼尔·克罗宁;米特拉·普兰达尔;乔治·威森巴赫 24 2010 命题插值和抽象解释。 Zbl 1259.03024号 D’席尔瓦,维杰 4 2010 用于基于插值的模型检查的近似细化。 Zbl 1138.68444号 D’维杰·席尔瓦;米特拉·普兰达尔;丹尼尔·克罗宁 三 2008 用于GALS系统建模和验证的工具集。 兹比尔1103.68633 拉梅什,S。;桑帕达Sonalker;D’维杰·西尔瓦;纳文·钱德拉;维贾亚拉克什米,B。 2 2004 所有引用出版物 前5名被引用出版物 全部的 前5名151位作者引用 5 丹尼尔·科宁 5 娜塔莎·莎莉吉娜 4 玛丽亚·保拉(Maria Paola Bonacina) 4 菲利普·吕默 三 维杰·迪尔瓦 三 安蒂·E·J·海瓦·里宁。 三 穆阿·约翰逊 三 迪帕克·卡普尔 三 罗伯托·塞巴斯蒂亚尼 三 帕特里克·特伦丁 三 城市,卡特里娜 2 塞皮德·阿萨迪 2 罗伯托·巴格纳拉 2 马克·布罗克施米特 2 詹皮埃罗·卡波迪 2 陈明帅 2 格里戈里·费迪尤科维奇 2 罗伯塔·戈里 2 阿里亚克西·齐托维奇 2 Christoph M.温特斯泰格。 2 Aleksandar Zeljić 2 詹乃军 1 Alt,Leonardo S。 1 安、杰 1 科尼利厄斯·阿舍曼 1 彼得·贝克曼 1 阿布拉莫·巴格纳拉 1 马雷克·巴拉诺夫斯基 1 克拉克·W·巴雷特。 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 约翰·加拉赫(John P.Gallagher)。 1 甘婷 1 西尔维奥·吉拉尔迪 1 亚历山德罗·吉亚诺拉 1 吉尔根·吉斯尔 1 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 1 阿尔诺·哥特利布 1 阿尔贝托·格里乔 1 劳尔·哈克利 1 利奥波德·哈勒 1 何绍波 1 何兴兴 1 杰拉·亨塞尔 1 弗雷德里克·赫布雷托 1 曼努埃尔五世(Manuel V.Hermenegildo)。 1 Jochen Hoenicke公司 1 查尔斯·雅各布森 1 帕维尔·扬契克 1 Jeangoudoux,Clothilde公司 1 法特玛杰巴利 1 容伯姆·荣格 1 Khanh,To Van先生 1 扎卡里·金凯德 1 科夫罗,简 1 约翰内斯·克虏伯 1 Stefan Kupferschmid 1 弗雷德里克·朗 1 丹尼尔·拉拉兹 1 马蒂亚斯·莱切纳 1 Lee,Wonchan先生 1 杰罗姆·勒鲁 1 马修·刘易斯。 1 尤利亚·利勒 1 刘军 1 德巴西米塔·洛哈尔 1 卡梅洛·洛伊亚科诺 1 朱利奥·马拉沃尔塔 1 阿维纳什·马利克 1 拉杜·马特埃斯库 1 肯尼思·麦克米兰。 1 安托万·米内 1 埃里克·蒙弗罗伊 1 大卫·莫尼奥(David P.Monniaux)。 1 亚历山大·纳德尔 1 尼尼瓦拉,奥利 1 马蒂·尼卡宁 …和另外51位作者 全部的 前5名12篇连载文章中引用 11 自动推理杂志 10 系统设计中的形式化方法 三 计算机语言、系统和结构 2 信息学报 2 逻辑程序设计理论与实践 1 人工智能 1 信息科学 1 计算的形式方面 1 数学与人工智能年鉴 1 约束条件 1 信息计算杂志 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 55 计算机科学(68至XX) 24 数学逻辑和基础(03-XX) 4 数值分析(65-XX) 三 运筹学、数学规划(90-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 按年份列出的引文