编辑配置文件(在新选项卡中打开) 德扬·约瓦诺维奇 合著者距离 作者ID: 约万诺维奇·德詹 发布方式: 德扬·约瓦诺维奇 外部链接: MGP公司 已编制索引的文档: 20出版物自2005年以来 合著者: 24位合著者具有18联合出版物 540位合作作者 全部的 前5名合著者 1 单作者的 4 克拉克·W·巴雷特。 4 莱昂纳多·德·莫拉 2 内纳德·N·Cvetkovic。 2 布鲁诺·杜特雷 2 德扬·克里斯蒂奇 2 Aleksa Ristić 1 迈克尔·埃米 1 康斯坦丁·埃纳 1 圣菲省格拉汉·伦格兰德 1 贾尼契奇,普雷德拉格 1 泰姆斯根Kahsai 1 简斯·卡特兰 1 悉达哈·克里希纳 1 内纳德·姆拉德诺维奇 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 佐兰·奥格尼亚诺维奇 1 安德鲁·雷诺兹 1 马丁·施瓦夫 1 坦尼娅·辛德勒。 1 弗拉基米尔·斯坦科维奇。 1 米奥德拉格·斯托亚诺维奇 1 塞萨尔·蒂内利 1 德拉甘·武契科维奇 1 乔治·威森巴赫 系列 1 自动推理杂志 1 系统设计中的形式化方法 1 巴西国立大学第二届政治学院。Seria Matematică-Fizică 1 欧洲物理杂志B。凝聚物质和复杂系统 全部的 前5名领域 17 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 2 光学、电磁理论(78-XX) 1 数值分析(65-XX) 1 量子理论(81-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用157中的次115文件 引用人▼ 年份▼ 求解非线性算法。 Zbl 1358.68257号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 55 2012 一种模型构造可满足性演算。 Zbl 1426.68251号 莱昂纳多·德·莫拉;德扬·约瓦诺维奇 29 2013 重新审视礼貌理论。 Zbl 1306.68147号 德扬·约瓦诺维奇;克拉克·巴雷特 18 2010 用MCSAT求解非线性整数算法。 Zbl 1484.68220号 德扬·约瓦诺维奇 10 2017 切入正题。求解线性整数算法。 Zbl 1314.90053号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 10 2013 切入正题。求解线性整数算法。 Zbl 1314.90054号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 7 2011 分享就是关怀:理论的结合。 兹比尔1348.68220 德扬·约瓦诺维奇;克拉克·巴雷特 5 2011 哈希函数的逻辑分析。 Zbl 1171.94351号 德扬·约瓦诺维奇;贾尼契奇,普雷德拉格 5 2005 概率可满足性问题的变邻域搜索。 Zbl 1171.90561号 德扬·约瓦诺维奇;内纳德·姆拉德诺维奇;佐兰·奥格尼亚诺维奇 5 2007 用扩展设计理论求解器。 Zbl 1495.68239号 安德鲁·雷诺兹;塞萨尔·蒂内利;德扬·约瓦诺维奇;克拉克·巴雷特 5 2017 数据分离逻辑:小型模型和自动化。 Zbl 1511.68081号 Jens Katelaan公司;德扬·约瓦诺维奇;乔治·威森巴赫 4 2018 二维受控玻色-爱因斯坦相干态的稳定性。 Zbl 1189.81097号 Jovanović博士。;R·费德勒。 2 2007 用MCSAT求解位向量:从位和块中进行解释。 Zbl 07614509号 圣菲省格拉汉·伦格兰德;德扬·约瓦诺维奇;布鲁诺·杜特雷 2 2020 注意理论结合。 Zbl 1284.68518号 德扬·约瓦诺维奇;克拉克·巴雷特 1 2013 用于无限状态模型检查的无级插值。 Zbl 1446.68100号 坦尼娅·辛德勒;德扬·约瓦诺维奇 1 2018 用MCSAT求解位向量:从位和块中进行解释。 Zbl 07614509号 圣菲省格拉汉·伦格兰德;德扬·约瓦诺维奇;布鲁诺·杜特雷 2 2020 数据分离逻辑:小型模型和自动化。 Zbl 1511.68081号 Jens Katelaan公司;德扬·约瓦诺维奇;乔治·威森巴赫 4 2018 用于无限状态模型检查的无级插值。 Zbl 1446.68100号 坦尼娅·辛德勒;德扬·约瓦诺维奇 1 2018 用MCSAT求解非线性整数算法。 Zbl 1484.68220号 德扬·约瓦诺维奇 10 2017 用扩展设计理论求解器。 Zbl 1495.68239号 安德鲁·雷诺兹;塞萨尔·蒂内利;德扬·约瓦诺维奇;克拉克·巴雷特 5 2017 一种模型构造可满足性演算。 Zbl 1426.68251号 莱昂纳多·德·莫拉;德扬·约瓦诺维奇 29 2013 切入正题。求解线性整数算法。 Zbl 1314.90053号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 10 2013 注意理论结合。 Zbl 1284.68518号 德扬·约瓦诺维奇;克拉克·巴雷特 1 2013 求解非线性算法。 Zbl 1358.68257号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 55 2012 切入正题。求解线性整数运算。 Zbl 1314.90054号 德扬·约瓦诺维奇;莱昂纳多·德·莫拉 7 2011 分享就是关怀:理论的结合。 Zbl 1348.68220号 德扬·约瓦诺维奇;克拉克·巴雷特 5 2011 重新审视礼貌理论。 Zbl 1306.68147号 德扬·约瓦诺维奇;克拉克·巴雷特 18 2010 概率可满足性问题的变邻域搜索。 Zbl 1171.90561号 德扬·约瓦诺维奇;内纳德·姆拉德诺维奇;佐兰·奥格尼亚诺维奇 5 2007 二维受控玻色-爱因斯坦相干态的稳定性。 Zbl 1189.81097号 约瓦诺维奇,D。;R·费德勒。 2 2007 散列函数的逻辑分析。 Zbl 1171.94351号 德扬·约瓦诺维奇;贾尼契奇,普雷德拉格 5 2005 所有引用出版物 前5名被引用出版物 全部的 前5名213位作者引用 15 克拉克·W·巴雷特。 12 安德鲁·雷诺兹 12 塞萨尔·蒂内利 11 英格兰,马修 9 詹姆斯·哈罗德·达文波特 8 尤尼·佐哈尔 7 艾丽卡·阿尔布拉汉姆 7 帕斯卡·方丹 7 阿尔贝托·格里乔 7 克里斯托夫·林盖森 6 玛丽亚·保拉(Maria Paola Bonacina) 6 马丁·布罗姆伯格 6 德扬·约瓦诺维奇 6 基里恩·克莱默 6 盛、英 6 克里斯托夫·韦登巴赫 5 贾斯敏·克里斯蒂安·布兰切特 5 亚历山德罗·西马蒂 4 克里斯托弗·布朗(Christopher W.Brown)。 4 罗伯托·塞巴斯蒂亚尼 4 托马斯·斯特姆 三 Paula Chocron 三 圣菲省格拉汉·伦格兰德 三 塞巴斯蒂安·荣格斯 三 艾娜·尼梅茨 三 马蒂亚斯·普雷纳 三 马可·罗维里 三 大卫·威尔逊。 2 亚历山德罗·阿巴特 2 克什蒂吉·班萨尔 2 罗素·J·布拉德福德。 2 布莱恩,马丁 2 Franz Brauße 2 詹姆斯·布里奇。 2 莱昂纳多·德·莫拉 2 大卫·L·迪尔。 2 布鲁诺·杜特雷 2 加布里埃尔·埃布纳 2 米尔科·贾科布 2 沃尔夫冈·格里斯坎普 2 皮埃尔·汉森 2 黄宗岩 2 艾哈迈德·埃尔凡 2 Joost-Pieter卡托恩 2 Khanh,To Van先生 2 康斯坦丁·科洛文 2 玛格丽塔·弗拉迪米洛夫娜·科罗维纳 2 丹尼尔·科宁 2 简·兰格 2 Le,Quang Loc公司 2 内纳德·姆拉德诺维奇 2 莫雷诺-佩雷斯,何塞·安德烈斯 2 穆勒,诺伯特·瑟。 2 安德烈斯·诺兹利 2 小川,水井裕人 2 佐兰·奥格尼亚诺维奇 2 Park,Junkil公园 2 安德烈·帕塞里尼 2 劳伦斯·查尔斯·保尔森 2 沙兹·卡迪尔 2 Natarajan Shankar 2 斯特凡诺·特索 2 索菲·托雷特 2 米尔科·特里巴斯通 2 董武轩 2 安德烈·范丁 2 莎拉·温克勒 1 约翰·A·阿伯特。 1 丹尼尔·艾哈迈德 1 吉尔·巴特 1 罗伯托·巴蒂蒂 1 贝恩德·贝克尔 1 阿明·比尔 1 菲利波·比加雷拉 1 安娜·玛丽亚,比加蒂 1 布莱特,柯蒂斯 1 布赫伯格,布鲁诺 1 蔡少伟 1 保罗·坎皮戈托 1 洛伦佐·坎迪戈 1 Henrik曹 1 卢卡·卡德利 1 菲利佩·卡萨尔 1 科恩、凯利 1 凯瑟琳·科德威尔 1 弗洛里安·科齐利厄斯 1 穆拉特·库布克特佩 1 达罗查,何塞·卡洛斯·费雷拉 1 戴丽云 1 伊娃·达鲁洛娃 1 达维多维奇,塔贾纳 1 伊曼纽尔·德·安吉利斯 1 凯西奥·波尔波·德坎波斯 1 安吉洛·德·卡罗 1 德尔·里奥·阿尔马亚诺,特雷索 1 巴勃罗·费德里科·多巴尔 1 维杰·迪尔瓦 1 亚历克·爱德华兹 1 梅德利纳·埃拉什库 1 爱德华·法格霍姆 ……还有113位作者 全部的 前5名20篇连载文章中引用 16 自动推理杂志 13 符号计算杂志 7 系统设计中的形式化方法 三 人工智能 三 理论计算机科学 2 逻辑程序设计理论与实践 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 国际近似推理杂志 1 密码学杂志 1 AI通信 1 运筹学年鉴 1 数学与人工智能年鉴 1 约束条件 1 自然计算 1 4OR(或) 1 计算机科学中的数学 1 可满足性、布尔建模与计算杂志 1 《大学学报》。Informatica公司 1 程序设计中的逻辑和代数方法杂志 全部的 前5名16个领域引用 106 计算机科学(68至XX) 33 数学逻辑和基础(03-XX) 12 运筹学、数学规划(90-XX) 6 信息与通信理论、电路(94-XX) 三 数值分析(65-XX) 2 代数几何(14-XX) 2 常微分方程(34-XX) 2 生物学和其他自然科学(92-XX) 2 系统论;控制(93至XX) 1 一般性和全局性主题;集合(00-XX) 1 组合数学(05-XX) 1 场论和多项式(12-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 代数拓扑(55-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文