编辑配置文件（在新选项卡中打开） 茨沃尼米尔·拉卡马里奇 合著者距离 作者ID： 拉卡马里克·兹沃尼米尔 发布日期： 茨沃尼米尔·拉卡马里奇 外部链接： 管理程序 已编制索引的文档： 11出版物自2006年起 合著者： 18位合著者具有10联合出版物 341名Co-Co作者 全部的 前5名合著者 0 单作者的 三 何绍波 三 胡亚伦·J·。 2 马雷克·巴拉诺夫斯基 2 杰西·宾厄姆。 2 Shuvendu Kumar拉希里 2 沙兹·卡迪尔 1 Domagoj Babić 1 罗伯特·布鲁托梅索 1 肖纳克·查特吉 1 亚历山德罗·西马蒂 1 乔治·康斯坦丁德斯（George A.Constantinides）。 1 库克，拜伦 1 弗雷德里克·达尔奎斯特 1 迈克尔·埃米 1 杰克·J·加泽拉。 1 琼斯、本 1 马蒂亚斯·莱切纳 1 Nguyen，Thanh-Son先生 1 萨尔瓦多、罗科 1 Thanh Son Nguyen先生 系列 1 自动推理杂志 1 计算的形式方面 领域 10 计算机科学（68至XX） 2 数值分析（65-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用34中的次27文件 引用人▼ 年份▼ 延迟调度。 Zbl 1284.68087号 迈克尔·埃米；沙兹·卡迪尔；茨沃尼米尔·拉卡马里奇 11 2011 堆操作程序的谓词抽象的逻辑和决策过程。 Zbl 1176.68113号 杰西·宾厄姆；茨沃尼米尔·拉卡马里奇 9 2006 用于分析低级软件的可达性谓词。 Zbl 1186.68108号 Shaunak查特吉；Shuvendu K.拉希里。；沙兹·卡迪尔；茨沃尼米尔·拉卡马里奇 6 2007 验证SMT框架中的堆操作程序。 Zbl 1141.68484号 茨沃尼米尔·拉卡马里奇；罗伯特·布鲁托梅索；胡亚伦·J·。；亚历山德罗·西马蒂 三 2007 概率浮点计算的严格舍入误差分析。 Zbl 1493.65087号 乔治·康斯坦丁德斯；弗雷德里克·达尔奎斯特；茨沃尼米尔·拉卡马里奇；萨尔瓦多、罗科 2 2021 定点算法的SMT理论。 Zbl 07614504号 马雷克·巴拉诺夫斯基；何绍波；马蒂亚斯·莱切纳；Thanh Son Nguyen（阮成善）；茨沃尼米尔·拉卡马里奇 1 2020 证明非线性命令序列的终止。 Zbl 1298.68164号 Domagoj Babić；库克，拜伦；胡亚伦·J·。；茨沃尼米尔·拉卡马里奇 1 2013 一种基于推理规则的决策过程，用于验证具有可变数据和循环数据结构的堆操作程序。 Zbl 1132.68354号 茨沃尼米尔·拉卡马里奇；杰西·宾厄姆；胡亚伦·J·。 1 2007 概率浮点计算的严格舍入误差分析。 Zbl 1493.65087号 乔治·康斯坦丁德斯；弗雷德里克·达尔奎斯特；茨沃尼米尔·拉卡马里奇；萨尔瓦多、罗科 2 2021 定点算法的SMT理论。 Zbl 07614504号 马雷克·巴拉诺夫斯基；何绍波；马蒂亚斯·莱切纳；Thanh Son Nguyen先生；茨沃尼米尔·拉卡马里奇 1 2020 证明非线性命令序列的终止。 Zbl 1298.68164号 Domagoj Babić；库克，拜伦；胡亚伦·J·。；茨沃尼米尔·拉卡马里奇 1 2013 延迟调度。 Zbl 1284.68087号 迈克尔·埃米；沙兹·卡迪尔；茨沃尼米尔·拉卡马里奇 11 2011 用于分析低级软件的可达性谓词。 Zbl 1186.68108号 肖纳克·查特吉；Shuvendu K.拉希里。；沙兹·卡迪尔；茨沃尼米尔·拉卡马里奇 6 2007 验证SMT框架中的堆操作程序。 Zbl 1141.68484号 茨沃尼米尔·拉卡马里奇；罗伯特·布鲁托梅索；胡亚伦·J·。；亚历山德罗·西马蒂 三 2007 一种基于推理规则的决策过程，用于验证具有可变数据和循环数据结构的堆操作程序。 Zbl 1132.68354号 茨沃尼米尔·拉卡马里奇；杰西·宾厄姆；胡，Alan J。 1 2007 堆操作程序的谓词抽象的逻辑和决策过程。 Zbl 1176.68113号 杰西·宾厄姆；茨沃尼米尔·拉卡马里奇 9 2006 所有引用出版物 前5名被引用出版物 全部的 前5名74位作者引用 4 帕罗什·阿齐兹·阿卜杜拉 4 穆罕默德·法乌齐（Mohamed Faouzi Atig） 2 艾哈迈德·博阿贾尼 2 魏恩根·钦 2 康斯坦丁·埃纳 2 胡亚伦·J·。 2 本特·琼森 2 丹尼尔·科宁 2 秦胜超 2 茨沃尼米尔·拉卡马里奇 1 伊塔·巴拉班 1 克拉克·W·巴雷特。 1 贝拉德，贝特里奇 1 阿明·比尔 1 杰西·宾厄姆。 1 罗伯特·布鲁托梅索 1 陈广科 1 陈、陶璐 1 亚历山德罗·西马蒂 1 伯克·圣伊里西奇 1 迈克尔·科隆。 1 克里斯蒂娜·大卫 1 Stéphane P.德姆里。 1 Deters，摩根 1 阿拉斯泰尔·唐纳森。 1 迈克尔·埃米 1 阿扎德法尔赞 1 戈德伯勒，阿德韦特·阿米特 1 巴加夫·古拉瓦尼。 1 苏米特·古尔瓦尼 1 谢尔盖，哈达德 1 埃里克·霍尔曼 1 何冠华 1 卢卡什，霍利克 1 Ilse C.F.伊普森。 1 安德鲁·约翰逊。 1 桑卡拉·纳拉亚南·克里希纳 1 萨尔瓦多拉托雷 1 Leino，K.Rustan M。 1 Ondřej Lengál 1 彼得·米勒 1 塞巴斯蒂安·穆斯卡拉 1 苏哈·奥伦·穆特鲁吉尔 1 那不勒斯，玛格丽塔 1 库马尔·纳拉扬。 1 阮秀海 1 布尔库·库拉希奥格鲁·奥兹坎 1 Gennaro帕拉托 1 克劳迪娜·皮卡罗尼 1 阿米尔·普努利 1 奥思曼·雷津 1 罗兰·迈耶 1 菲利普·吕默 1 亚尼夫·萨阿尔 1 穆罕默德·萨弗里·埃尔丁 1 普拉卡什·塞瓦桑 1 桑卡拉纳拉亚南，斯里拉姆 1 马修·萨索拉斯 1 赫尔穆特·塞德尔 1 宋，傅 1 贾里·斯坦曼 1 塞尔达尔·塔西兰 1 塞萨尔·蒂内利 1 聪奎·特里恩 1 维克托·瓦菲阿迪斯 1 Shaan Vaidya 1 维萨尔·沃达尼 1 汤姆·沃纳 1 托马斯·沃尔 1 杨红丽 1 乔治·泽采 1 张业迪 1 赵哲 1 Lenore D.扎克。 全部的 前5名8篇连载文章中引用 2 信息与计算 2 系统设计中的形式化方法 1 信息学报 1 计算机与系统科学杂志 1 数值数学 1 计算机程序设计科学 1 计算的形式方面 1 应用非经典逻辑杂志 在5个字段中引用 25 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 凸和离散几何（52至XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文