编辑配置文件(在新选项卡中打开) 罗马人Manevich 合著者距离 作者ID: manevich.roman公司 发布日期: 罗马人Manevich;马内维奇(Manevich,R.)。 已编制索引的文档: 11出版物自2002年起 合著者: 18位合著者具有11联合出版物 398位合作作者 全部的 前5名合著者 0 单作者的 8 穆利萨吉夫 7 甘尼桑拉马林加姆 三 伯丁,乔希 三 菲尔德,约翰·埃弗雷特 2 塔尔省列夫·阿米 2 诺姆·里内茨基 1 吉拉德·阿诺德 1 拜伦·库克 1 鲍里斯·多加多夫 1 戈亚尔、迪帕克 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 奥伦·伊什·沙洛姆 1 沙迦·伊扎基 1 凯瑟琳·麦金利。 1 基沙夫·平加里。 1 普伦佐斯、迪米特里奥斯 1 冉·沙哈姆 1 埃兰·雅哈夫 系列 字段 11 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用29中的次29文件 引用人▼ 年份▼ 单链表的谓词抽象和规范抽象。 Zbl 1111.68398号 罗马人Manevich;E.雅哈夫。;拉马林加姆,G。;穆利萨吉夫 13 2005 用于并行形状分析的线程量化。 Zbl 1155.68360号 J·伯丁。;列夫·阿米,T。;马内维奇(Manevich,R.)。;拉马林加姆,G。;萨吉夫,M。 5 2008 通过交叉抽象组合形状分析。 Zbl 1176.68111号 吉拉德·阿诺德;罗马人Manevich;穆利萨吉夫;冉·沙哈姆 2 2006 用于并发形状分析的堆分解。 Zbl 1149.68358号 罗马人Manevich;塔尔省列夫·阿米;穆利萨吉夫;甘尼桑拉马林加姆;乔什·伯丁 2 2008 紧凑地表示静态分析的一阶结构。 Zbl 1015.68511号 马内维奇(Manevich,R.)。;拉马林加姆,G。;J·菲尔德。;戈亚尔,D。;萨吉夫,M。 2 2002 基于抽象反例的幂集域精化。 Zbl 1149.68357号 罗马人Manevich;约翰·菲尔德;托马斯·亨辛格(Thomas A.Henzinger)。;拉马林加姆,G。;穆利萨吉夫 2 2007 部分析取堆抽象。 Zbl 1104.68419号 罗马人Manevich;穆利萨吉夫;甘尼桑拉马林加姆;约翰·菲尔德 1 2004 用于优化并行图程序的形状分析。 Zbl 1284.68196号 普伦佐斯、迪米特里奥斯;罗马人Manevich;基沙夫·平加里;凯瑟琳·麦金利。 1 2011 从形状分析到线性时间内的终止分析。 Zbl 1411.68029号 马涅维奇,罗马;鲍里斯·多加多夫;诺姆·里内茨基 1 2016 从形状分析到线性时间内的终止分析。 Zbl 1411.68029号 罗马人Manevich;鲍里斯·多加多夫;诺姆·里内茨基 1 2016 用于优化并行图程序的形状分析。 Zbl 1284.68196号 普伦佐斯、迪米特里奥斯;罗马人Manevich;基沙夫·平加里;凯瑟琳·麦金利。 1 2011 并发形状分析的线程量化。 Zbl 1155.68360号 J·伯丁。;列夫·阿米,T。;马内维奇(Manevich,R.)。;拉马林加姆,G。;萨吉夫,M。 5 2008 用于并发形状分析的堆分解。 Zbl 1149.68358号 马涅维奇,罗马;塔尔省列夫·阿米;穆利萨吉夫;加内桑Ramalingam;乔什·伯丁 2 2008 基于抽象反例的powerset域精化。 Zbl 1149.68357号 罗马人Manevich;约翰·菲尔德;托马斯·亨辛格(Thomas A.Henzinger)。;拉马林加姆,G。;穆利萨吉夫 2 2007 通过交叉抽象组合形状分析。 Zbl 1176.68111号 吉拉德·阿诺德;罗马人Manevich;穆利萨吉夫;冉·沙哈姆 2 2006 单链表的谓词抽象和规范抽象。 Zbl 1111.68398号 罗马人Manevich;E.雅哈夫。;拉马林加姆,G。;穆利萨吉夫 13 2005 部分析取堆抽象。 Zbl 1104.68419号 罗马人Manevich;穆利萨吉夫;甘尼桑拉马林加姆;约翰·菲尔德 1 2004 紧凑地表示静态分析的一阶结构。 Zbl 1015.68511号 马内维奇(Manevich,R.)。;拉马林加姆,G。;J·菲尔德。;戈亚尔,D。;萨吉夫,M。 2 2002 所有引用出版物 前5名被引用出版物 全部的 前5名88位作者引用 三 安德烈亚斯·波德尔斯基 2 艾哈迈德·博阿贾尼 2 胡亚伦·J·。 2 丹尼尔·科宁 2 肯尼思·麦克米兰。 2 茨沃尼米尔·拉卡马里奇 2 穆利萨吉夫 2 亚历杭德罗·桑切斯。 2 塞萨尔·桑切斯 2 Lenore D.扎克。 1 阿卜杜拉·帕罗什·阿齐兹 1 玛丽亚·阿尔普特 1 伊塔·巴拉班 1 穆罕默德·巴巴拉 1 杰拉德·巴斯勒 1 西蒙·巴姆勒 1 杰西·宾厄姆。 1 马吕斯·博兹加 1 罗伯特·布鲁托梅索 1 杨才锦 1 乔纳森·塞德伯格 1 亚历山德罗·西马蒂 1 玛丽亚·德尔马·加拉多 1 丹尼尔·迪特施 1 杜宏伟 1 段振华 1 皮埃特罗·费拉拉 1 彼得·哈贝梅尔 1 弗雷德里克·哈齐扎 1 马蒂亚斯·海兹曼 1 Jochen Hoenicke公司 1 拉杜·奥西夫 1 多米尼克·克伦普 1 直纪小林 1 埃里克·科斯金 1 约格·克里克 1 Lee,Oukseh先生 1 马蒂厄·莱梅尔 1 雅各布·利德曼 1 刘鹏 1 卢、徐 1 米歇尔·马祖奇 1 佩德罗·梅里诺 1 莫罗,皮埃尔 1 Ryoya Mukai 1 迈赫迪·瑙阿尔 1 奥利维尔·妮可 1 奥德·帕顿 1 托马斯·帕尼 1 丹尼尔·帕尔多 1 Rasmus Lerchedahl彼得森 1 阿米尔·普努利 1 弗朗西斯科·兰扎托 1 沃尔夫冈·雷夫 1 艾哈迈德·雷兹 1 诺姆·里内茨基 1 对手,泽维尔 1 奥利维亚·罗西·多里亚 1 亚尼夫·萨阿尔 1 大卫·萨南 1 佐藤隆介 1 克劳斯·施瓦兹勒 1 格哈德·谢尔霍恩 1 穆罕默德·纳西姆·塞吉尔 1 赫尔穆特·塞德尔 1 娜塔莎·莎莉吉娜 1 沙龙·肖姆 1 隋玉蕾 1 约瑟夫·戴维·斯文宁森 1 弗朗西斯科·塔帕罗 1 田聪 1 博格丹·托凡 1 斯特凡诺·托内塔 1 奥马尔·特里普 1 阿里亚克西·齐托维奇 1 艾丽西亚·维拉纽埃娃 1 维萨尔·沃达尼 1 汤姆·沃纳 1 比约恩·瓦希特 1 托马斯·沃尔 1 格奥尔格·魏森巴赫 1 伯恩德·韦斯特法尔 1 托马斯·维斯 1 莱因哈德·威廉 1 Christoph M.温特斯泰格。 1 埃兰·雅哈夫 1 杨红seok 1 弗洛里安·祖勒格 全部的 前5名9篇连载文章中引用 6 系统设计中的形式化方法 1 信息学报 1 计算机与系统科学杂志 1 理论计算机科学 1 自动推理杂志 1 计算的形式化方面 1 数学与人工智能年鉴 1 计算机基础理论 1 应用数学杂志 在3个字段中引用 28 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的引文