编辑配置文件（在新选项卡中打开） Rajamani，Sriram K。 合著者距离 作者ID： 拉贾马尼·斯里拉姆-k 发布日期： Rajamani，Sriram K。;斯里拉姆·拉贾马尼;拉贾马尼，S.K。 更多。。。较少的 已编制索引的文档： 35出版物自1997年起 3作为编辑的贡献 合著者： 45位合著者具有35联合出版物 939名合著者 全部的 前5名合著者 0 单作者的 9 鲍尔，托马斯 8 雅各布·雷霍夫 7 沙兹·卡迪尔 6 托马斯·亨辛格。 6 阿迪蒂亚·维塔尔·诺里 3 巴加夫·古拉瓦尼。 2 安德鲁斯，托尼 2 萨加·查基 2 Supratik查克拉博蒂 2 奥尔纳·库普弗曼 2 安德烈亚斯·波德尔斯基 2 谢、伊晨 1 米哈伊尔·艾扎图林 1 拉杰夫·阿鲁尔 1 约翰·博格斯特罗姆 1 罗伯特·K·布雷顿。 1 普拉卡什·钱德拉塞卡兰 1 Sema Chouhan公司 1 红葡萄酒、纪尧姆 1 克里斯托弗·康韦。 1 拜伦·库克 1 达斯，马努韦 1 Das、Satyaki 1 库沙·埃特萨米 1 曼努埃尔·芬德里奇 1 Jose M.Faleiro。 1 塞德里克·Fornet 1 帕特丽斯·戈德弗里德 1 安德鲁·戈登。 1 谢尔·康特·古尔 1 索尔·格雷佩尔 1 威廉·R·哈里斯。 1 C.A.R.Tony Hoare 1 约瑟夫·乔伊 1 阿卡什·拉尔 1 Gary T.Leavens。 1 索林·勒纳 1 弗拉基米尔·莱文 1 O'Hearn，Peter W。 1 考希克·拉詹 1 Shanmuganathan Rajasekar 1 阿尼尔·拉吉普特 1 加内桑Ramalingam 1 克劳迪奥·拉索五世。 1 塞尔瓦·塞缪尔 1 Miguel A.F.Sanjuán。 1 马克·赛格尔 1 西德普特塔利 1 纳穆拉塔·特里帕西 1 卡皮尔·瓦斯瓦尼 1 韦斯特利·威默 全部的 前5名系列 3 计算机科学课堂讲稿 1 信息处理信件 1 信息与计算 1 系统设计中的形式化方法 1 非线性科学与数值模拟中的通信 1 国际纯数学和应用数学电子杂志 1 应用非线性动力学杂志 全部的 前5名领域 35 计算机科学（68至XX） 3 总体主题；集合（00-XX） 1 常微分方程（34-XX） 1 一般拓扑结构（54至XX） 1 粒子和系统力学（70-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用316中的次257文件 引用人▼ 年份▼ Bebop：用于布尔程序的符号模型检查器。 Zbl 0976.68540号 鲍尔，托马斯;Rajamani，Sriram K。 51 2000 用于模型检查C程序的布尔和笛卡尔抽象。 Zbl 0978.68540号 鲍尔，托马斯;安德烈亚斯·波德尔斯基;Rajamani，Sriram K。 31 2001 公平模拟。 Zbl 1009.68071号 托马斯·亨辛格。;奥尔纳·库普弗曼;Rajamani，Sriram K。 30 2002 自动验证接口的临时安全属性。 Zbl 0985.68641号 鲍尔，托马斯;Rajamani，Sriram K。 22 2001 SLAM工具包。 Zbl 0996.68560号 鲍尔，托马斯;Rajamani，Sriram K。 18 2001 类型作为模型：模型检查消息传递程序。 Zbl 1323.68365号 萨加·查基;Rajamani，Sriram K。;雅各布·雷霍夫 18 2002 符号状态空间探索中的部分顺序缩减。 Zbl 1001.68080号 阿鲁尔，R。;布雷顿，R.K。;亨廷格，T.A。;卡迪尔，S。;拉贾马尼，S.K。 15 2001 无卡滞一致性。 Zbl 1103.68612号 塞德里克·Fornet;你好，托尼;Rajamani，Sriram K。;雅各布·雷霍夫 13 2004 组合可能-必须计划分析：释放交替的力量。 Zbl 1312.68057号 帕特丽斯·戈德弗里德;阿迪蒂亚·诺里。;Rajamani，Sriram K。;西德普特塔利 13 2010 自动精炼抽象解释。 Zbl 1134.68356号 巴加夫·古拉瓦尼。;Supratik查克拉博蒂;阿迪蒂亚·诺里。;Rajamani，Sriram K。 12 2008 用于软件模型检查的抽象精化的相对完整性。 Zbl 1043.68523号 鲍尔，托马斯;安德烈亚斯·波德尔斯基;Rajamani，Sriram K。 11 2002 反例驱动的抽象解释细化。 兹比尔1180.68116 巴加夫·古拉瓦尼。;Sriram K.拉贾马尼。 9 2006 多线程软件库的参数化验证。 Zbl 0978.68679号 鲍尔，托马斯;萨加·查基;Rajamani，Sriram K。 8 2001 公平的相互模拟。 Zbl 0960.68121号 托马斯·亨辛格。;Rajamani，Sriram K。 8 2000 幽灵振动共振。 Zbl 1470.94054号 拉贾马尼，S。;拉贾塞卡尔，S。;Miguel A.F.Sanjuán。 8 2014 像素的行为模块系统。 Zbl 0997.68514号 Sriram K.拉贾马尼。;雅各布·雷霍夫 7 2001 总结并发程序中的过程。 Zbl 1325.68156号 沙兹·卡迪尔;Rajamani，Sriram K。;雅各布·雷霍夫 6 2004 替代终止。 Zbl 1306.68027号 威廉·R·哈里斯。;阿卡什·拉尔;阿迪蒂亚·诺里。;Rajamani，Sriram K。 6 2010 Zing：并发软件的模型检查器。 Zbl 1103.68600号 安德鲁斯、托尼;沙兹·卡迪尔;Rajamani，Sriram K。;雅各布·雷霍夫;谢、伊晨 5 2004 广义格协议。 Zbl 1301.68253号 Jose M.Faleiro。;斯里拉姆·拉贾马尼;考希克·拉詹;拉马林加姆，G。;卡皮尔·瓦斯瓦尼 5 2012 参数驱动单Duffing振子和单向耦合Duffing振荡器的响应振幅变化。 Zbl 1495.70008号 拉贾马尼，S。;拉贾塞卡尔，S。 5 2017 精炼软件谓词抽象中的近似。 Zbl 1126.68344号 鲍尔，托马斯;拜伦·库克;Das、Satyaki;Sriram K.拉贾马尼。 4 2004 验证共享内存多处理器系统上的顺序一致性。 兹比尔1046.68593 托马斯·亨辛格。;沙兹·卡迪尔;Rajamani，Sriram K。 4 1999 概率程序的可证明正确的采样器。 Zbl 1366.68024号 中基尔胡尔;阿迪蒂亚·诺里。;Rajamani，Sriram K。;塞尔瓦·塞缪尔 4 2015 使用流敏感指针分析加快数据流分析。 Zbl 1015.68515号 斯蒂芬·亚当斯;鲍尔，托马斯;达斯，马努韦;索林·勒纳;Rajamani，Sriram K。;马克·赛格尔;韦斯特利·威默 3 2002 计算机辅助验证。第17届国际会议，CAV 2005，英国苏格兰爱丁堡，2005年7月6日至10日。诉讼程序。 Zbl 1078.68004号 2 2005 假设保证不同时间尺度之间的优化。 Zbl 1046.68592号 托马斯·亨辛格。;沙兹·卡迪尔;Rajamani，Sriram K。 2 1999 贝叶斯推理的模型学习模式。 Zbl 1301.68179号 安德鲁·戈登。;米哈伊尔·艾扎图林;约翰内斯·博格斯特罗姆;红葡萄酒、纪尧姆;索尔·格雷佩尔;阿迪蒂亚·诺里。;Rajamani，Sriram K。;克劳迪奥·拉索 2 2013 公平模拟。 Zbl 1512.68168号 托马斯·亨辛格。;奥尔纳·库普弗曼;Rajamani，Sriram K。 2 1997 经过验证的软件：理论、工具、实验。第三届国际会议，2010年8月16日至19日，英国爱丁堡，VSTTE 2010。诉讼程序。 Zbl 1193.68011号 1 2010 异步消息传递软件模型的一致性检查。 Zbl 1010.68502号 Sriram K.拉贾马尼。;雅各布·雷霍夫 1 2002 Zing：开发用于并发软件模型检查的程序结构。 Zbl 1099.68583号 安德鲁斯、托尼;沙兹·卡迪尔;Rajamani，Sriram K。;雅各布·雷霍夫;谢、伊晨 1 2004 动态配置通信网络中的静态死锁预防。 Zbl 1193.68161号 曼努埃尔·芬德里奇;Rajamani，Sriram K。;雅各布·雷霍夫 1 2009 精炼抽象解释。 兹比尔12346.8258 巴加夫·古拉瓦尼。;Supratik查克拉博蒂;阿迪蒂亚·诺里。;Rajamani，Sriram K。 1 2010 参数驱动单Duffing振子和单向耦合Duffing振荡器的响应振幅变化。 Zbl 1495.70008号 拉贾马尼，S。;拉贾塞卡尔，S。 5 2017 概率程序的可证明正确的采样器。 Zbl 1366.68024号 中基尔胡尔;阿迪蒂亚·诺里。;Rajamani，Sriram K。;塞尔瓦·塞缪尔 4 2015 幽灵振动共振。 Zbl 1470.94054号 拉贾马尼，S。;拉贾塞卡尔，S。;Miguel A.F.Sanjuán。 8 2014 贝叶斯推理的模型学习模式。 Zbl 1301.68179号 安德鲁·戈登。;米哈伊尔·艾扎图林;约翰内斯·博格斯特罗姆;红葡萄酒、纪尧姆;索尔·格雷佩尔;阿迪蒂亚·诺里。;Rajamani，Sriram K。;克劳迪奥·拉索 2 2013 广义格协议。 兹比尔1301.68253 Jose M.Faleiro。;Rajamani，斯里拉姆;考希克·拉詹;拉马林加姆，G。;卡皮尔·瓦斯瓦尼 5 2012 组合可能-必须计划分析：释放交替的力量。 Zbl 1312.68057号 帕特丽斯·戈德弗里德;阿迪蒂亚·诺里。;Rajamani，Sriram K。;西德普特塔利 13 2010 替代终止。 Zbl 1306.68027号 威廉·R·哈里斯。;拉尔，阿卡什;阿迪蒂亚·诺里。;Rajamani，Sriram K。 6 2010 经过验证的软件：理论、工具、实验。第三届国际会议，2010年8月16日至19日，英国爱丁堡，VSTTE 2010。诉讼程序。 Zbl 1193.68011号 1 2010 精炼抽象解释。 Zbl 1234.68258号 巴加夫·古拉瓦尼。;Supratik查克拉博蒂;阿迪蒂亚·诺里。;Rajamani，Sriram K。 1 2010 动态配置通信网络中的静态死锁预防。 Zbl 1193.68161号 曼努埃尔·芬德里奇;Rajamani，Sriram K。;雅各布·雷霍夫 1 2009 自动精炼抽象解释。 Zbl 1134.68356号 巴加夫·古拉瓦尼。;Supratik查克拉博蒂;阿迪蒂亚·诺里。;Rajamani，Sriram K。 12 2008 反例驱动的抽象解释细化。 Zbl 1180.68116号 巴加夫·古拉瓦尼。;Rajamani，Sriram K。 9 2006 计算机辅助验证。第17届国际会议，CAV 2005，英国苏格兰爱丁堡，2005年7月6日至10日。诉讼程序。 Zbl 1078.68004号 2 2005 无卡滞合规性。 Zbl 1103.68612号 塞德里克·Fornet;你好，托尼;Sriram K.拉贾马尼。;雅各布·雷霍夫 13 2004 总结并发程序中的过程。 Zbl 1325.68156号 沙兹·卡迪尔;Rajamani，Sriram K。;雅各布·雷霍夫 6 2004 Zing：并发软件的模型检查器。 Zbl 1103.68600号 安德鲁斯、托尼;沙兹·卡迪尔;Rajamani，Sriram K。;雅各布·雷霍夫;谢、伊晨 5 2004 精炼软件谓词抽象中的近似。 Zbl 1126.68344号 鲍尔，托马斯;拜伦·库克;Das、Satyaki;Sriram K.拉贾马尼。 4 2004 Zing：开发用于模型检查并发软件的程序结构。 Zbl 1099.68583号 安德鲁斯、托尼;沙兹·卡迪尔;Rajamani，Sriram K。;雅各布·雷霍夫;谢、伊晨 1 2004 公平模拟。 Zbl 1009.68071号 托马斯·亨辛格。;奥尔纳·库普弗曼;Rajamani，Sriram K。 30 2002 类型作为模型：模型检查消息传递程序。 Zbl 1323.68365号 萨加·查基;Rajamani，Sriram K。;雅各布·雷霍夫 18 2002 用于软件模型检查的抽象精化的相对完整性。 Zbl 1043.68523号 鲍尔，托马斯;安德烈亚斯·波德尔斯基;Rajamani，Sriram K。 11 2002 使用流敏感指针分析加快数据流分析。 Zbl 1015.68515号 斯蒂芬·亚当斯;鲍尔，托马斯;达斯，马努韦;索林·勒纳;Rajamani，Sriram K。;马克·赛格尔;韦斯特利·威默 3 2002 异步消息传递软件模型的一致性检查。 兹比尔1010.68502 Rajamani，Sriram K。;Jakob Rehof 1 2002 用于模型检查C程序的布尔和笛卡尔抽象。 Zbl 0978.68540号 鲍尔，托马斯;安德烈亚斯·波德尔斯基;Rajamani，Sriram K。 31 2001 自动验证接口的临时安全属性。 Zbl 0985.68641号 鲍尔，托马斯;Rajamani，Sriram K。 22 2001 SLAM工具包。 Zbl 0996.68560号 鲍尔，托马斯;Rajamani，Sriram K。 18 2001 符号状态空间探索中的部分顺序缩减。 Zbl 1001.68080号 阿鲁尔，R。;布雷顿，R.K。;亨廷格，T.A。;卡迪尔，S。;拉贾马尼，S.K。 15 2001 多线程软件库的参数化验证。 Zbl 0978.68679号 鲍尔，托马斯;萨加·查基;Sriram K.拉贾马尼。 8 2001 像素的行为模块系统。 Zbl 0997.68514号 Rajamani，Sriram K。;雅各布·雷霍夫 7 2001 Bebop：布尔程序的符号模型检查器。 Zbl 0976.68540号 鲍尔，托马斯;Rajamani，Sriram K。 51 2000 公平的相互模拟。 Zbl 0960.68121号 托马斯·亨辛格。;Rajamani，Sriram K。 8 2000 验证共享内存多处理器系统上的顺序一致性。 Zbl 1046.68593号 托马斯·亨辛格。;沙兹·卡迪尔;Rajamani，Sriram K。 4 1999 假设保证不同时间尺度之间的优化。 Zbl 1046.68592号 托马斯·亨辛格。;沙兹·卡迪尔;Rajamani，Sriram K。 2 1999 公平模拟。 Zbl 1512.68168号 托马斯·亨辛格。;奥尔纳·库普弗曼;Rajamani，Sriram K。 2 1997 所有引用出版物 前5名被引用出版物 全部的 前5名548位作者引用 10 克里希南德·查特吉 10 托马斯·亨辛格。 9 奥尔纳·库普弗曼 8 丹尼尔·科宁 6 安德烈亚斯·波德尔斯基 4 Chechik，玛莎 4 阿里·古芬克尔 4 萨尔瓦多拉托雷 4 尼尔·皮特曼 4 代表，Thomas W。 3 拉杰夫·阿鲁尔 3 德克·拜尔 3 路易斯·凯雷斯 3 米歇尔·齐亚里 3 亚历山德罗·西马蒂 3 亚历克斯·格罗斯 3 奥尔纳·格伦伯格 3 阿尔蒂·古普塔 3 Jochen Hoenicke公司 3 迈克尔·R·A·胡特。 3 拉杰夫·乔希 3 阿卡什·拉尔 3 马丁·兰格 3 杰拉尔德·吕特根 3 迪诺·曼德里奥利 3 肯尼思·麦克米兰。 3 马蒂奥·普拉德拉 3 Sriram K.拉贾马尼。 3 莎里吉娜，娜塔莎 3 克里斯蒂安·斯塔尔 3 斯特凡诺·托内塔 3 沃尔特·福格勒 3 托马斯·沃尔 3 托马斯·怀斯 3 Yi，Kwangkeun 2 帕罗什·阿齐兹·阿卜杜拉 2 露西娅·阿西艾 2 弗朗西斯科·西维尔·巴博特 2 米克尔·伯特兰 2 阿明·比尔 2 罗德里克·布洛姆 2 米歇尔·博雷尔 2 劳拉·博泽利 2 马克·布罗克施米特 2 特维克布尔坦 2 Supratik查克拉博蒂 2 纳撒尼尔·查尔顿 2 克拉克（Edmund Melson jun Clarke）。 2 气候，八月 2 拜伦·库克 2 帕特里克·库索 2 马蒂亚斯·丹格尔 2 劳伦特·多恩 2 D’silva，维杰 2 El-Zawawy，Mohamed A。 2 哈维尔·埃斯帕尔扎 2 安斯加·芬克 2 杰罗姆·费雷特 2 Masahiro Fujita 2 西蒙·盖伊。 2 阿尔贝托·格里乔 2 拉希德·格拉乌伊 2 巴加夫·古拉瓦尼。 2 马修·黑格 2 杰拉德·J·霍尔兹曼。 2 米尔卡胡塔加隆 2 弗兰乔·伊万契奇 2 穆罕默德·马赫迪·贾古奥里 2 芭芭拉·乔布斯曼 2 Kafle，比肖克桑 2 亚历山大·凯泽。 2 费利克斯·克莱特克 2 小林直树 2 维克多·昆卡 2 彼得·库兹涅佐夫 2 科西莫·拉内夫 2 金·古德斯特兰·拉森 2 Lee，Wonchan先生 2 艾蒂安·洛兹 2 尤德·卢斯蒂格 2 帕塔萨拉西马杜苏丹 2 沙拉德·马利克 2 萨扬·密特拉 2 塞尔吉奥·莫弗 2 那不勒斯，玛格丽塔 2 诺丽，阿迪亚·维塔尔 2 卢卡·帕多瓦尼 2 雨果·帕奎特 2 帕伦特，米莫 2 Gennaro帕拉托 2 阿米尔·普努利 2 巴德·阿布·拉迪 2 Jean-François拉斯金 2 安托尼奥·拉瓦拉 2 安德鲁·威廉·罗斯科 2 马可·罗维里 2 安德烈·里巴尔琴科 2 塞萨尔·桑切斯 2 斯文·舍韦 2 戴维·施密特（David A.Schmidt）。 …还有448位作者 全部的 前5名36篇连载文章中引用 30 系统设计中的形式化方法 28 理论计算机科学 17 信息与计算 10 信息学报 9 计算的形式方面 9 逻辑与代数程序设计杂志 7 自动推理杂志 5 程序设计中的逻辑和代数方法杂志 4 计算机与系统科学杂志 3 编程和计算机软件 3 计算机程序设计科学 3 分布式计算 3 计算机科学中的逻辑方法 2 国际并行程序设计杂志 2 实时系统 2 国际计算机科学基础杂志 2 埃及数学学会杂志 2 数学与人工智能年鉴 1 人工智能 1 国际通用系统杂志 1 信息处理信件 1 计算 1 符号逻辑杂志 1 新一代计算 1 离散事件动态系统 1 约束条件 1 美国计算机学会期刊 1 高阶和符号计算 1 计算机基础理论 1 应用概率的方法与计算 1 系统科学与复杂性杂志 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 计算管理科学 1 科学中国。信息科学 全部的 前5名11个领域引用 252 计算机科学（68至XX） 35 数学逻辑和基础（03-XX） 19 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 概率论与随机过程（60-XX） 2 统计学（62-XX） 2 数值分析（65-XX） 2 运筹学、数学规划（90-XX） 2 系统论；控制（93至XX） 2 信息与通信理论、电路（94-XX） 1 有序，格，有序代数结构（06-XX） 1 流体力学（76-XX） 按年份列出的引文