编辑配置文件(在新选项卡中打开) 诺姆·里内茨基 合著者距离 作者ID: 里内茨基诺姆 发布日期: 诺姆·里内茨基;北卡罗来纳州里内茨基。 已编制索引的文档: 27出版物自2001年起 合著者: 40位合著者具有27联合出版物 706合著作者 全部的 前5名合著者 0 单作者的 9 穆利·萨吉夫 7 沙迦·伊扎基 7 沙龙·肖姆 4 阿列克谢·戈茨曼 4 埃兰·雅哈夫 三 哈吉特·阿提亚 三 奥伦·伊什·沙洛姆 三 O'Hearn,Peter W。 三 Yang,宏石 2 尼古拉·S·比约纳。 2 伊万娜·菲利波维奇 2 汉斯、桑德普 2 阿列克桑德·卡比雪夫 2 罗马人Manevich 2 亚当·莫里森 2 奥德·帕顿 2 代表,Thomas W。 2 奥尔·塔米尔 2 莱因哈德·威廉 1 阿米特,达芙娜 1 约格·鲍尔 1 乔什·伯丁 1 萨拉·科恩(Sara A.Cohen)。 1 拜伦·库克 1 鲍里斯·多加多夫 1 迪帕克D’Souza 1 康斯坦丁·埃纳 1 约塔姆·M·Y·费尔德曼。 1 雪莉·格罗斯曼 1 尼尔·赫默德 1 托默·科特克 1 约格·克里克 1 苏瓦姆·穆克吉 1 奥泽里,或 1 甘尼桑拉马林加姆 1 维克托·瓦菲亚迪斯 1 Vechev,Martin T。 1 赫尔穆特·维思 1 格雷塔·约什 1 弗洛里安·祖勒格 系列 2 美国计算机学会期刊 1 理论计算机科学 字段 27 计算机科学(68-XX) 6 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 20出版物有被引用105中的次85文件 引用人▼ 年份▼ 并发对象的抽象。 Zbl 1209.68156号 伊万娜·菲利波维奇;彼得·奥赫恩;诺姆·里内茨基;Yang,宏石 21 2010 可存储锁和线程的本地推理。 Zbl 1137.68354号 阿列克谢·戈茨曼;乔什·伯丁;拜伦·库克;诺姆·里内茨基;穆利·萨吉夫 13 2007 在抽象下进行比较,以验证线性化能力。 Zbl 1135.68462号 阿米特,达芙娜;诺姆·里内茨基;代表,托马斯;穆利·萨吉夫;埃兰·雅哈夫 9 2007 普适不变量的属性定向推理或证明其缺失。 Zbl 1381.68169号 A.卡比雪夫。;比约纳,N。;伊扎基,S。;北卡罗来纳州里内茨基。;绍姆,S。 8 2015 事后验证线性化能力。 Zbl 1315.68068号 O'Hearn,Peter W。;诺姆·里内茨基;Vechev,Martin T。;埃兰·雅哈夫;格雷塔·约什 8 2010 并发对象的抽象。 Zbl 1234.68065号 伊万娜·菲利波维奇;彼得·奥赫恩;诺姆·里内茨基;Yang,宏石 7 2009 过程局部堆及其抽象的语义。 兹比尔1369.68154 诺姆·里内茨基;约格·鲍尔;代表,托马斯;穆利·萨吉夫;莱因哈德·威廉 6 2005 无切点程序的跨过程形状分析。 Zbl 1141.68375号 诺姆·里内茨基;穆利·萨吉夫;埃兰·雅哈夫 5 2005 关于事务性内存一致性的编程语言观点。 Zbl 1323.68061号 哈吉特·阿提亚;阿列克谢·戈茨曼;汉斯、桑德普;诺姆·里内茨基 5 2013 并发感知线性化能力的模块化验证。 Zbl 1394.68229号 尼尔·赫默德;诺姆·里内茨基;维克托·瓦菲亚迪斯 5 2015 压缩阵列程序:通过归纳秩减少进行循环验证。 Zbl 07228504号 奥伦·伊什·沙洛姆;沙迦·伊扎基;诺姆·里内茨基;沙龙·肖姆 4 2020 普适不变量的属性定向推理或证明其缺失。 Zbl 1426.68050号 阿列克桑德·卡比雪夫;尼古拉·比约纳;沙迦·伊扎基;诺姆·里内茨基;沙龙·肖姆 4 2017 递归程序的过程间形状分析。 Zbl 0977.68688号 诺姆·里内茨基;穆利·萨吉夫 2 2001 正在宽限验证并发内存回收算法。 Zbl 1381.68053号 阿列克谢·戈茨曼;诺姆·里内茨基;Yang,宏石 2 2013 从形状分析到线性时间内的终止分析。 Zbl 1411.68029号 马涅维奇,罗马;鲍里斯·多加多夫;诺姆·里内茨基 1 2016 有效无切口程序的跨过程形状分析。 Zbl 1383.68025号 Kreiker,J。;代表,T。;北卡罗来纳州里内茨基。;萨吉夫,M。;莱因哈德·威廉;E.雅哈夫。 1 2013 属性导向的抽象解释。 Zbl 1475.68192号 诺姆·里内茨基;沙龙·肖姆 1 2016 关于使用嵌入式SQL自动验证web应用程序。 Zbl 1402.68123号 沙迦·伊扎基;托默·科特克;诺姆·里内茨基;穆利·萨吉夫;奥尔·塔米尔;赫尔穆特·维思;弗洛里安·祖勒格 1 2017 具有可变优先级的基于堆的并发优先级队列,用于更快的并行算法。 Zbl 1380.68160号 奥尔·塔米尔;亚当·莫里森;诺姆·里内茨基 1 2016 无竞争程序的线程语义及其有效的序列抽象。 兹比尔1420.68114 苏瓦姆·穆克吉;奥德·帕顿;沙龙·肖姆;迪帕克D’Souza;诺姆·里内茨基 1 2017 压缩阵列程序:通过归纳秩减少进行循环验证。 Zbl 07228504号 奥伦·伊什·沙洛姆;沙迦·伊扎基;诺姆·里内茨基;沙龙·肖姆 4 2020 普适不变量的属性定向推理或证明其缺失。 Zbl 1426.68050号 阿列克桑德·卡比雪夫;尼古拉·比约纳;沙迦·伊扎基;诺姆·里内茨基;沙龙·肖姆 4 2017 关于使用嵌入式SQL自动验证web应用程序。 Zbl 1402.68123号 沙迦·伊扎基;托默·科特克;诺姆·里内茨基;穆利·萨吉夫;奥尔·塔米尔;赫尔穆特·维思;弗洛里安·祖勒格 1 2017 无竞争程序的线程语义及其有效的序列抽象。 Zbl 1420.68114号 苏瓦姆·穆克吉;奥德·帕顿;沙龙·肖姆;D’迪帕克苏扎;诺姆·里内茨基 1 2017 从形状分析到线性时间内的终止分析。 Zbl 1411.68029号 罗马人Manevich;鲍里斯·多加多夫;诺姆·里内茨基 1 2016 属性导向的抽象解释。 Zbl 1475.68192号 诺姆·里内茨基;沙龙·肖姆 1 2016 具有可变优先级的基于堆的并发优先级队列,用于更快的并行算法。 兹比尔1380.68160 奥尔·塔米尔;亚当·莫里森;诺姆·里内茨基 1 2016 普适不变量的属性定向推理或证明其缺失。 Zbl 1381.68169号 A.卡比雪夫。;北卡罗来纳州比约纳。;伊扎基,S。;北卡罗来纳州里内茨基。;绍姆,S。 8 2015 并发感知线性化的模块化验证。 Zbl 1394.68229号 尼尔·赫默德;诺姆·里内茨基;维克托·瓦菲亚迪斯 5 2015 关于事务性内存一致性的编程语言观点。 Zbl 1323.68061号 哈吉特·阿提亚;阿列克谢·戈茨曼;汉斯、桑德普;诺姆·里内茨基 5 2013 正在宽限验证并发内存回收算法。 Zbl 1381.68053号 阿列克谢·戈茨曼;诺姆·里内茨基;Yang,宏石 2 2013 有效无切口程序的跨过程形状分析。 兹比尔1383.68025 Kreiker,J。;代表,T。;北卡罗来纳州里内茨基。;萨吉夫,M。;莱因哈德·威廉;E.雅哈夫。 1 2013 并发对象的抽象。 Zbl 1209.68156号 伊万娜·菲利波维奇;运营;彼得·赫恩;诺姆·里内茨基;Yang,宏石 21 2010 事后验证线性化能力。 Zbl 1315.68068号 运营;彼得·霍恩(Peter W.Hearn)。;诺姆·里内茨基;Vechev,Martin T。;埃兰·雅哈夫;格雷塔·约什 8 2010 并发对象的抽象。 Zbl 1234.68065号 伊万娜·菲利波维奇;运营;彼得·赫恩;诺姆·里内茨基;Yang,宏石 7 2009 可存储锁和线程的本地推理。 Zbl 1137.68354号 阿列克谢·戈茨曼;乔什·伯丁;拜伦·库克;诺姆·里内茨基;穆利·萨吉夫 13 2007 在抽象下进行比较,以验证线性化能力。 Zbl 1135.68462号 阿米特,达芙娜;诺姆·里内茨基;代表,托马斯;穆利·萨吉夫;埃兰·雅哈夫 9 2007 过程局部堆及其抽象的语义。 Zbl 1369.68154号 诺姆·里内茨基;鲍尔,约尔格;代表,托马斯;穆利·萨吉夫;莱因哈德·威廉 6 2005 无切点程序的跨过程形状分析。 Zbl 1141.68375号 诺姆·里内茨基;穆利·萨吉夫;埃兰·雅哈夫 5 2005 递归程序的过程间形状分析。 Zbl 0977.68688号 诺姆·里内茨基;穆利·萨吉夫 2 2001 所有引用出版物 排名前五的出版物 全部的 前5名184位作者引用 5 约翰·德里克 5 布里杰什·多戈尔 5 沙龙·肖姆 4 拉尔斯·比克达尔 4 康斯坦丁·埃纳 4 诺姆·里内茨基 4 穆利·萨吉夫 4 格哈德·谢尔霍恩 4 格雷姆·史密斯 4 海克,韦尔海姆 三 亚历山德罗·西马蒂 三 佩德罗·达罗查·平托 三 约塔姆·M·Y·费尔德曼。 三 菲利普·安·加德纳 三 阿列克谢·戈茨曼 三 阿尔贝托·格里乔 三 肯尼思·麦克米兰。 三 O'Hearn,Peter W。 三 奥德·帕顿 2 安德鲁·W·阿佩尔。 2 艾哈迈德·博阿贾尼 2 阿曼多·卡斯塔涅达 2 维克多·库克 2 戴米安·德切夫 2 托马斯·丁斯代尔·扬 2 西蒙·多尔蒂 2 迈克尔·埃米 2 贾德·哈姆扎 2 阿奎那·霍伯 2 克莱门·赫林 2 雨果·伊利诺斯 2 罗伯特·克雷伯斯 2 杰雷米·莱登特 2 马蒂厄·莱梅尔 2 塞缪尔·米姆拉姆 2 安德烈·穆拉夫斯基。 2 克里斯蒂娜·彼得森。 2 弗朗索瓦·波蒂埃 2 吉安卢卡·雷登迪 2 对手,泽维尔 2 赫尔穆特·塞德尔 2 康拉德·锡克 2 奥列格·特拉夫金 2 尼科斯·齐夫列科斯 2 克尔斯滕·温特 2 PawełT,Wojciechowski。 2 Yang,宏石 1 阿夫申·阿米吉 1 卡默·阿皮尼 1 西蒙·巴姆勒 1 伦茨·贝尔兹纳 1 阿列舍·比兹亚克 1 尼古拉·S·比约纳。 1 布隆,斯特凡 1 格雷戈伊尔·博宁 1 皮埃尔·布赫斯 1 朱利安·布莱恩 1 卢卡斯·布鲁奇 1 亚历山大·布伊斯 1 玛丽安·布什 1 查克拉波蒂,苏普拉特克 1 亚瑟·查古埃罗 1 乔克勒,格雷戈里五世。 1 科恩、利隆 1 罗伯特·J·科尔文。 1 卢德米拉广场 1 赛义德·达拉比 1 马尔科·迪弗朗西斯科 1 罗伯特·多金斯 1 多兹,迈克 1 董,袁 1 塞萨拉·德拉戈伊 1 德里克·德雷尔(Derek R.Dreyer)。 1 朱利安·埃哈德 1 安东·法兴 1 冯新余 1 伊万娜·菲利波维奇 1 丹·弗鲁明 1 阿斯亚·弗鲁姆金 1 普拉纳夫·加格 1 萨米尔·根奈姆 1 克里斯蒂安·吉尔吉纳 1 西尔维奥·吉拉尔迪 1 亚历山德罗·吉亚诺拉 1 劳雷·贡诺德 1 埃里克·古博 1 郭瑜 1 阿什图什·古普塔 1 阿里·古芬克尔 1 克里斯蒂安·哈克 1 一郎·哈索 1 洛依茨海露 1 罗伯特·马克·海伦斯 1 Jochen Hoenicke公司 1 Hölzl,Matthias M。 1 玛丽克·赫斯曼 1 奥雷利·胡罗 1 阿克巴侯赛因 1 尼尔·伊梅尔曼 1 奥伦·伊什·沙洛姆 …还有84位作者 全部的 前5名16篇连载文章中引用 4 计算的形式方面 4 分布式计算 三 自动推理杂志 三 系统设计中的形式化方法 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 计算 2 理论计算机科学 2 信息与计算 2 函数编程杂志 2 ACM计算逻辑事务 1 国际计算机科学基础杂志 1 计算与决策科学基础 1 计算机科学中的逻辑方法 1 算法 1 ISRN概率与统计 全部的 前5名在7个字段中引用 84 计算机科学(68-XX) 25 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文