编辑配置文件(在新选项卡中打开) Aleksandar Zeljić 合著者距离 作者ID: 塞尔吉克·亚历山大 发布日期: Aleksandar Zeljić 已编制索引的文档: 6出版物自2014年起 合著者: 9合著者具有6联合出版物 184位合作作者 全部的 前5名合著者 0 单作者的 5 菲利普·吕默 4 Christoph M.温特斯泰格。 2 彼得·贝克曼 1 克拉克·W·巴雷特。 1 凯尔·D·朱利安。 1 凯兹,盖伊 1 Mykel J.Kochenderfer。 1 克里斯托弗·斯特朗。 1 吴浩泽 系列 1 自动化推理杂志 1 机器学习 1 系统设计中的形式化方法 领域 6 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用11次8文件 引用人▼ 年份▼ 使用mcSAT确定位向量公式。 Zbl 1475.68226号 Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 5 2016 使用UppSAT探索浮点算法的近似。 Zbl 1511.68172号 Aleksandar Zeljić;彼得·贝克曼;Christoph M.温特斯泰格。;菲利普·吕默 三 2018 模型构建的近似值。 Zbl 1409.68264号 Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 2 2014 求解器和决策过程的近似框架。 兹比尔1409.68265 Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 1 2017 使用UppSAT探索浮点算法的近似。 Zbl 1511.68172号 Aleksandar Zeljić;彼得·贝克曼;Christoph M.温特斯泰格。;菲利普·吕默 三 2018 求解器和决策过程的近似框架。 Zbl 1409.68265号 Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 1 2017 用mcSAT确定位向量公式。 Zbl 1475.68226号 Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 5 2016 模型构建的近似值。 Zbl 1409.68264号 Aleksandar Zeljić;Christoph M.温特斯泰格。;菲利普·吕默 2 2014 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 三 圣菲省格拉汉·伦格兰德 2 玛丽亚·保拉(Maria Paola Bonacina) 2 罗伯托·塞巴斯蒂亚尼 2 Natarajan Shankar 2 帕特里克·特伦丁 1 马雷克·巴拉诺夫斯基 1 阿明·比尔 1 布鲁诺·杜特雷 1 何绍波 1 德扬·约瓦诺维奇 1 马蒂亚斯·莱切纳 1 艾娜·尼梅茨 1 马蒂亚斯·普雷纳 1 茨沃尼米尔·拉卡马里奇 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 Thanh Son Nguyen先生 1 王文喜 2篇连载文章中引用 4 自动推理杂志 1 系统设计中的形式化方法 在3个字段中引用 8 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 按年份列出的引文