×
作者ID: 里内茨基诺姆“Rinetzky,Noam”最近发表的zbMATH文章
发布日期: 诺姆·里内茨基;北卡罗来纳州里内茨基。
已编制索引的文档: 27出版物自2001年起
合著者: 40位合著者具有27联合出版物
706合著作者

按年份列出的出版物

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位作者

按年份列出的引文