编辑配置文件（在新选项卡中打开） 维杰·迪尔瓦 合著者距离 作者ID： 迪尔瓦.维杰 发布日期： D’Silva，维杰；维杰·迪尔瓦 已编制索引的文档： 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号 D’Silva，维杰；丹尼尔·克罗宁；米特拉·普兰达尔；乔治·威森巴赫 24 2010 利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号 布莱恩，马丁；D’Silva，维杰；阿尔贝托·格里乔；利奥波德·哈勒；丹尼尔·克罗宁 18 2014 数字边界分析与冲突驱动学习。 Zbl 1352.68060号 D’Silva，维杰；利奥波德·哈勒；丹尼尔·克罗宁；迈克尔·陶奇尼格 8 2012 抽象冲突驱动学习。 Zbl 1301.68156号 D’Silva，维杰；利奥波德·哈勒；丹尼尔·克罗宁 8 2013 抽象满意度。 Zbl 1284.68392号 D’Silva，维杰；利奥波德·哈勒；丹尼尔·克罗宁 5 2014 冲突驱动的有条件终止。 Zbl 1381.68155号 D’Silva，维杰；城市，卡特里娜 5 2015 命题插值和抽象解释。 兹比尔1259.03024 D’Silva，维杰 4 2010 对DPLL（T）的抽象解释。 Zbl 1426.68249号 布莱恩，马丁；维杰·迪尔瓦；利奥波德·哈勒；阿尔贝托·格里乔；丹尼尔·克罗宁 三 2013 基于插值的模型检查的近似精化。 Zbl 1138.68444号 D’Silva，维杰；米特拉·普兰达尔；丹尼尔·克罗宁 三 2008 用于GALS系统建模和验证的工具集。 兹比尔1103.68633 拉梅什，S。；桑帕达Sonalker；维杰·迪尔瓦；纳文·钱德拉；维贾亚拉克什米，B。 2 2004 用展开进行抽象解释。 Zbl 1494.68044号 马塞洛·索萨；塞萨尔·罗德里格斯；D’Silva，维杰；丹尼尔·克罗宁 2 2017 抽象解释为自动演绎。 Zbl 1465.68175号 D’Silva，维杰；城市，卡特里娜 1 2015 抽象解释为自动演绎。 Zbl 1410.68222号 D’Silva，维杰；城市，卡特里娜 1 2017 用展开进行抽象解释。 Zbl 1494.68044号 马塞洛·索萨；塞萨尔·罗德里格斯；D&rsquo；维杰·席尔瓦；丹尼尔·克罗宁 2 2017 抽象解释为自动演绎。 Zbl 1410.68222号 D&rsquo；维杰·席尔瓦；城市，卡特里娜 1 2017 冲突驱动的有条件终止。 Zbl 1381.68155号 D&rsquo；维杰·席尔瓦；城市，卡特里娜 5 2015 抽象解释为自动演绎。 Zbl 1465.68175号 D&rsquo；维杰·席尔瓦；城市，卡特里娜 1 2015 利用抽象冲突驱动子句学习确定浮点逻辑。 Zbl 1317.68110号 布莱恩，马丁；D&rsquo；维杰·席尔瓦；阿尔贝托·格里乔；利奥波德·哈勒；丹尼尔·克罗宁 18 2014 抽象满意度。 Zbl 1284.68392号 D&rsquo；维杰·席尔瓦；利奥波德·哈勒；丹尼尔·克罗宁 5 2014 抽象冲突驱动的学习。 兹比尔1301.68156 D&rsquo；维杰·席尔瓦；利奥波德·哈勒；丹尼尔·克罗宁 8 2013 对DPLL（T）的抽象解释。 Zbl 1426.68249号 布莱恩，马丁；D&rsquo；维杰·西尔瓦；利奥波德·哈勒；阿尔贝托·格里乔；丹尼尔·克罗宁 三 2013 数字边界分析与冲突驱动学习。 Zbl 1352.68060号 D&rsquo；维杰·席尔瓦；利奥波德·哈勒；丹尼尔·克罗宁；迈克尔·陶奇尼格 8 2012 插值强度。 Zbl 1273.68225号 D&rsquo；维杰·席尔瓦；丹尼尔·克罗宁；米特拉·普兰达尔；乔治·威森巴赫 24 2010 命题插值和抽象解释。 兹比尔1259.03024 D&rsquo；维杰·席尔瓦 4 2010 基于插值的模型检查的近似精化。 Zbl 1138.68444号 D&rsquo；维杰·席尔瓦；米特拉·普兰达尔；丹尼尔·克罗宁 三 2008 用于GALS系统建模和验证的工具集。 兹比尔1103.68633 拉梅什，S。；桑帕达Sonalker；D&rsquo；维杰·西尔瓦；纳文·钱德拉；维贾亚拉克什米，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） 按年份列出的引文