编辑配置文件(在新选项卡中打开) 甘尼桑拉马林加姆 合著者距离 作者ID: 拉马林加姆.加纳 发布日期: 拉马林加姆,G。;甘尼桑拉马林加姆 外部链接: MGP公司 已编制索引的文档: 31出版物自1988年以来,包括1本书 3作为编辑的贡献 合著者: 32位合著者具有28联合出版物 733合著作者 全部的 前5名合著者 三 单作者的 8 穆利·萨吉夫 7 马涅维奇,罗马 6 约翰·埃弗雷特·菲尔德 5 代表,Thomas W。 5 卡皮尔·瓦斯瓦尼 三 乔什·伯丁 三 戈亚尔、迪帕克 三 文卡特斯·普拉萨德·兰加纳思 三 埃兰·雅哈夫 2 Jyotirmoy V.德斯穆赫。 2 拉加万·科蒙多尔 2 塔尔省列夫·阿米 1 希曼舒·阿罗拉 1 哈吉特·阿提亚 1 查克拉波蒂,苏普拉特克 1 萨蒂什·钱德拉 1 拜伦·库克 1 Jose M.Faleiro。 1 戈兰·格塔,盖伊 1 巴加夫·古拉瓦尼。 1 巴拉德·哈沙 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 利奥·约斯科维茨 1 阿卡什·拉尔 1 瞧,大卫 1 阿迪蒂亚·维塔尔·诺里 1 Rajamani,Sriram K。 1 考希克·拉詹 1 诺姆·里内茨基 1 J·宋。 1 埃尔科·维瑟 1 奥伦·佐默 全部的 前5名系列 5 信息处理信件 三 计算机程序设计科学 2 理论计算机科学 2 计算机科学课堂讲稿 1 算法杂志 1 算法 1 计算机科学中的逻辑方法 1 LIPIcs–莱布尼茨国际信息学会议录 领域 34 计算机科学(68至XX) 三 总体主题;集合(00-XX) 2 组合数学(05-XX) 1 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用196中的次171文件 引用人▼ 年份▼ 区间图控制问题的统一方法。 Zbl 0658.05040号 拉马林加姆,G。;潘杜·兰根,C。 57 1988 用于推广最短路径问题的增量算法。 Zbl 0861.68035号 拉马林加姆,G。;代表,托马斯 38 1996 关于动态图问题的计算复杂性。 Zbl 0871.68098号 拉马林加姆,G。;代表,托马斯 28 1996 单链表的谓词抽象和规范抽象。 Zbl 1111.68398号 马涅维奇,罗马;E.雅哈夫。;拉马林加姆,G。;穆利·萨吉夫 13 2005 有界增量计算。 Zbl 0921.68050号 拉马林加姆,G。 8 1996 重新审视区间图中的完全支配。 Zbl 0662.68069号 拉马林加姆,G。;潘杜·兰根,C。 7 1988 自下而上的形状分析。 Zbl 1248.68145号 巴加夫·古拉瓦尼。;查克拉波蒂,苏普拉特克;甘尼桑拉马林加姆;阿迪蒂亚·诺里。 6 2009 增量求解差分约束系统。 Zbl 0921.68011号 拉马林加姆,G。;J·宋。;乔斯科维奇。;R.E.米勒。 6 1999 动态优先级排序问题的在线竞争算法。 Zbl 0942.68646号 拉马林加姆,G。;代表,托马斯 5 1994 并发形状分析的线程量化。 Zbl 1155.68360号 J·伯丁。;列夫·阿米,T。;马内维奇(Manevich,R.)。;拉马林加姆,G。;萨吉夫,M。 5 2008 广义格协议。 Zbl 1301.68253号 Jose M.Faleiro。;斯里拉姆·拉贾马尼;考希克·拉詹;拉马林加姆,G。;卡皮尔·瓦斯瓦尼 5 2012 程序修改理论。 Zbl 0967.68504号 拉马林加姆,G。;代表,托马斯 4 1991 紧凑地表示静态分析的一阶结构。 Zbl 1015.68511号 马内维奇(Manevich,R.)。;拉马林加姆,G。;J·菲尔德。;戈亚尔,D。;萨吉夫,M。 2 2002 基于抽象反例的powerset域精化。 Zbl 1149.68357号 马涅维奇,罗马;约翰·菲尔德;托马斯·亨辛格(Thomas A.Henzinger)。;拉马林加姆,G。;穆利·萨吉夫 2 2007 用于并发形状分析的堆分解。 Zbl 1149.68358号 马涅维奇,罗马;塔尔省列夫·阿米;穆利·萨吉夫;甘尼桑拉马林加姆;乔什·伯丁 2 2008 部分析取堆抽象。 Zbl 1104.68419号 马涅维奇,罗马;穆利·萨吉夫;甘尼桑拉马林加姆;约翰·菲尔德 1 2004 关于稀疏求值表示。 Zbl 0996.68131号 拉马林加姆,G。 1 2002 检查封装扩展操作的线性化能力。 Zbl 1405.68066号 奥伦·佐默;戈兰·格塔,盖伊;拉马林加姆,G。;穆利·萨吉夫 1 2014 程序表示图的语义。 兹比尔1195.68064 拉马林加姆,G。;代表,托马斯 1 2009 用于区间图识别的新的顺序和并行算法。 Zbl 0711.68084号 拉马林加姆,G。;潘杜·兰根,C。 1 1990 通过幂等性实现容错。 Zbl 1301.68084号 甘尼桑拉马林加姆;瓦斯瓦尼,卡皮尔 1 2013 顺序证明的逻辑并发控制。 Zbl 1260.68091号 约蒂尔莫伊·德什穆克;拉马林加姆,G。;文卡特斯·普拉萨德·兰加纳思;卡皮尔·瓦斯瓦尼 1 2010 类型状态验证:抽象技术和复杂性结果。 Zbl 1088.68066号 菲尔德,J。;戈亚尔,D。;拉马林加姆,G。;E.雅哈夫。 1 2005 检查封装扩展操作的线性化能力。 Zbl 1405.68066号 奥伦·佐默;戈兰·格塔,盖伊;拉马林加姆,G。;穆利·萨吉夫 1 2014 通过幂等性实现容错。 Zbl 1301.68084号 甘尼桑拉马林加姆;卡皮尔·瓦斯瓦尼 1 2013 广义格协议。 Zbl 1301.68253号 Jose M.Faleiro。;斯里拉姆·拉贾马尼;考希克·拉詹;拉马林加姆,G。;卡皮尔·瓦斯瓦尼 5 2012 顺序证明的逻辑并发控制。 Zbl 1260.68091号 约蒂尔莫伊·德什穆克;拉马林加姆,G。;文卡特斯·普拉萨德·兰加纳思;卡皮尔·瓦斯瓦尼 1 2010 自下而上的形状分析。 Zbl 1248.68145号 巴加夫·古拉瓦尼。;查克拉波蒂,苏普拉特克;甘尼桑拉马林加姆;阿迪蒂亚·诺里。 6 2009 程序表示图的语义。 兹比尔1195.68064 拉马林加姆,G。;代表,托马斯 1 2009 并发形状分析的线程量化。 Zbl 1155.68360号 J·伯丁。;列夫·阿米,T。;马涅维奇,R。;拉马林加姆,G。;萨吉夫,M。 5 2008 用于并发形状分析的堆分解。 Zbl 1149.68358号 马涅维奇,罗马;塔尔省列夫·阿米;穆利·萨吉夫;甘尼桑拉马林加姆;乔什·伯丁 2 2008 基于抽象反例的powerset域精化。 Zbl 1149.68357号 马涅维奇,罗马;约翰·菲尔德;托马斯·亨辛格(Thomas A.Henzinger)。;拉马林加姆,G。;穆利·萨吉夫 2 2007 单链表的谓词抽象和规范抽象。 Zbl 1111.68398号 马涅维奇,罗马;E.雅哈夫。;拉马林加姆,G。;穆利·萨吉夫 13 2005 类型状态验证:抽象技术和复杂性结果。 Zbl 1088.68066号 J·菲尔德。;戈亚尔,D。;拉马林加姆,G。;E.雅哈夫。 1 2005 部分析取堆抽象。 Zbl 1104.68419号 马涅维奇,罗马;穆利·萨吉夫;甘尼桑拉马林加姆;约翰·菲尔德 1 2004 紧凑地表示静态分析的一阶结构。 Zbl 1015.68511号 马内维奇(Manevich,R.)。;拉马林加姆,G。;J·菲尔德。;戈亚尔,D。;萨吉夫,M。 2 2002 关于稀疏求值表示。 Zbl 0996.68131号 拉马林加姆,G。 1 2002 增量求解差分约束系统。 Zbl 0921.68011号 拉马林加姆,G。;J·宋。;约斯科维茨。;R.E.米勒。 6 1999 用于推广最短路径问题的增量算法。 Zbl 0861.68035号 拉马林加姆,G。;代表,托马斯 38 1996 关于动态图问题的计算复杂性。 Zbl 0871.68098号 拉马林加姆,G。;代表,托马斯 28 1996 有界增量计算。 Zbl 0921.68050号 拉马林加姆,G。 8 1996 动态优先级排序问题的在线竞争算法。 Zbl 0942.68646号 拉马林加姆,G。;代表,托马斯 5 1994 程序修改理论。 Zbl 0967.68504号 拉马林加姆,G。;代表,托马斯 4 1991 用于区间图识别的新的顺序和并行算法。 Zbl 0711.68084号 拉马林加姆,G。;潘杜·兰根,C。 1 1990 区间图控制问题的统一方法。 Zbl 0658.05040号 拉马林加姆,G。;潘杜·兰根,C。 57 1988 重访区间图中的总控制。 Zbl 0662.68069号 拉马林加姆,G。;潘杜·兰根,C。 7 1988 所有引用的出版物 前5名被引用出版物 全部的 前5名369位作者引用 6 丹尼尔·弗里吉奥尼 6 Chandrasekharan Pandu兰根 5 伯纳德·福茨 5 甘尼桑拉马林加姆 4 托比亚斯·弗里德里希 4 Madhumangal朋友 4 哈坎·米特 三 迪帕克·阿杰瓦尼 三 伊丽莎白·贝加米尼 三 佛罗里达州博诺莫-布拉伯曼 三 卡米尔·德米特里斯库 三 意大利朱塞佩·弗朗西斯科 三 马蒂厄·莱梅尔 三 李鹏 三 马克西姆·利哈切夫 三 乔治·默齐奥斯(George B.Mertzios)。 三 海宁·迈耶亨克 三 劳伦特·米歇尔 三 斯塔夫罗斯·尼古洛普洛斯。 三 对手,泽维尔 三 帕斯卡·范·亨特利克 三 王爱发 三 朱,滨海 2 艾什·盖尔 2 乔治·奥塞洛 2 巴塔查吉,G.P。 2 艾哈迈德·博阿贾尼 2 杰拉德·詹华·张 2 西塞隆、塞拉菲诺 2 安娜丽莎·德安德里亚 2 吉安洛伦佐·D’Angelo 2 马蒂亚·德埃米迪奥 2 加布里埃尔·迪·斯特法诺 2 冯浩迪 2 费斯塔,保拉 2 保罗·朱利奥·弗朗西奥萨 2 弗朗西丝卡·格雷耶罗 2 米歇尔·哈比卜 2 胡亚伦·J·。 2 雨果·伊利诺斯 2 基里亚基·约安尼杜 2 丹尼尔·科宁 2 彼得·库兹涅佐夫 2 斯特凡诺·卢奇 2 李兴福 2 马丹拉尔,M.S。 2 卡洛·曼尼诺 2 马达夫·马拉特。 2 马丁·米拉尼奇 2 伯恩哈德·莫勒 2 Gianpaolo奥里奥罗 2 安德烈亚斯·波德尔斯基 2 普拉丹、迪纳班杜 2 吉多·普罗埃蒂 2 茨沃尼米尔·拉卡马里奇 2 代表,Thomas W。 2 亚历杭德罗·桑切斯。 2 塞萨尔·桑切斯 2 赫尔穆特·塞德尔 2 克里希纳·苏布拉马尼 2 米克尔·索洛普 2 安德烈·通基克 2 戈文达拉吉·文卡特桑 2 严忠功 2 Lenore D.扎克。 1 帕罗什·阿齐兹·阿卜杜拉 1 桑迪普·艾恩 1 玛丽亚·阿尔普恩特 1 穆特布·阿尔沙马里 1 克劳斯·安布罗西 1 斯文·阿佩尔 1 穆斯塔法·卡马利,阿尔达卡尼 1 卡特琳娜·阿斯德丽 1 瓦卡尔·阿西夫 1 哈吉特·阿提亚 1 伊塔·巴拉班 1 巴拉约根,V.B。 1 苏门答腊省班纳吉 1 穆罕默德·巴巴拉 1 克里斯·巴雷特。 1 斯文·巴瑟劳 1 杰拉德·巴斯勒 1 西蒙·巴姆勒 1 亚伦·伯恩斯坦 1 杰西·宾厄姆。 1 安德烈亚斯·布莱 1 安吉拉·博尼法蒂 1 马吕斯·博兹加 1 尼克·布雷特尔 1 Kenneth N.Brown。 1 罗伯特·布鲁托梅索 1 卢西亚娜·布里奥。 1 杨彩锦 1 丹尼尔·卡坦扎罗 1 乔纳森·塞德伯格 1 乔恩,帕沃 1 查克拉波蒂,迪帕尔卡 1 查克拉波蒂,苏普拉特克 1 L.Sunil Chandran 1 Chang、Maw-Shang …还有269位作者 全部的 前5名54篇连载文章中引用 16 理论计算机科学 12 离散应用数学 11 信息处理信件 7 离散数学 6 算法 6 系统设计中的形式化方法 4 人工智能 4 信息与计算 4 组合优化期刊 4 ACM实验算法杂志 三 计算机与系统科学杂志 三 国际运筹学汇刊 三 离散算法杂志 2 信息科学 2 计算机与运筹学 2 计算的形式方面 2 运筹学年鉴 2 欧洲运筹学杂志 2 国际计算机数学杂志 2 分布式计算 2 计算优化与应用 2 数学与人工智能年鉴 2 约束条件 2 JMMA公司。数学建模与算法杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 物理A 1 计算 1 运筹学数学 1 SIAM计算机杂志 1 欧洲组合数学杂志 1 计算机程序设计科学 1 运营研究信件 1 符号计算杂志 1 自动推理杂志 1 SIAM离散数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 函数编程杂志 1 并行算法与应用 1 计算系统理论 1 优化方法和软件 1 数据挖掘与知识发现 1 计算机基础理论 1 RAIRO公司。运筹学 1 逻辑程序设计理论与实践 1 应用数学杂志 1 应用数学与计算杂志 1 计算机语言、系统和结构 1 4个或 1 互联网数学 1 AKCE国际图与组合学杂志 1 国际生物数学杂志 1 国际组合数学杂志 1 理论生物学杂志 全部的 前5名在9个字段中引用 132 计算机科学(68至XX) 72 组合数学(05-XX) 35 运筹学、数学规划(90-XX) 8 数理逻辑与基础(03-XX) 三 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 数值分析(65-XX) 1 系统论;控制(93至XX) 按年份列出的引文