编辑配置文件（在新选项卡中打开） 桑卡拉纳拉亚南，斯里拉姆 合著者距离 作者ID: 桑卡拉纳拉扬·斯里拉姆 发布日期： 桑卡拉纳拉亚南，斯里拉姆 外部链接： MGP公司 编入索引的文档： 70出版物自1996年以来，包括3个附加arXiv预打印 6作为编辑的贡献 合著者： 83位合著者具有64联合出版物 2109合作作者 全部的 前5名合著者 5 单作者的 10 亨尼·B·西普玛。 8 佐哈尔·曼纳 7 弗兰乔·伊万契奇 6 本·萨西、穆罕默德·阿明 6 阿尔蒂·古普塔 4 Chang，Bor-Yuh Evan先生 4 陈欣 4 Souradeep杜塔 三 迈克尔·科隆。 三 费内科斯（Georgios E.Fainekos）。 三 安德烈·洛迪 三 元朗沃罗宁 2 阿弥陀佛巴苏 2 亚历山大·查卡洛夫 2 阿伦·考克斯 2 Thao Dang先生 2 Jyotirmoy V.德斯穆赫。 2 埃里克·古堡 2 塔伊萨·库什纳 2 莫纳尔·纳拉西姆哈默西 2 Sylvie推杆 2 皮埃尔·鲁克斯 2 娜塔莎·莎莉吉娜 2 马尔科姆·L·斯波尔丁。 2 阿舒托什·特里维迪 2 恩里科·比卡里奥 1 艾丽卡·阿尔布拉汉姆 1 亚什万斯·安普雷迪 1 尼科斯·阿雷奇加 1 高格尔·巴拉克利什南 1 斯蒂芬·贝克尔。 1 约书亚·本吉奥 1 纪尧姆·O·伯杰。 1 奥利维尔·布瓦索 1 马克·D·布雷顿。 1 Černý，帕沃尔 1 查克拉巴蒂，帕塔·普拉蒂姆 1 斯瓦拉特·乔杜里 1 陈明帅 1 周毅 1 Cichowitz，C。 1 达斯，维努五世。 1 纳拉扬·钱德拉·德伯纳 1 贾廷德拉·库马尔·德卡 1 费利佩·费约 1 冯胜华 1 艾曼纽·菲利奥特 1 伯恩德·芬克贝纳 1 马丁·范策尔 1 艾玛·弗雷金格 1 罗伯特·弗罗哈特 1 Gaol，福特蓝板 1 安托万·吉拉德 1 杰西卡·格伦斯基。 1 威廉·R·哈里斯。 1 贝特朗·珍妮特 1 苏斯米特·贾 1 金小青 1 维尼特·卡隆 1 詹姆斯·卡宾斯基 1 Aleksandr M.哈萨克科夫。 1 基斯勒，S.M。 1 皮埃尔·勒·博迪奇 1 刘，车 1 约翰·莱杰罗斯 1 尼古拉斯·马佐奇 1 娜塔拉詹·梅加纳坦 1 塞尔吉奥·莫弗 1 特朗·恩吉姆 1 菲利普·奥利维尔 1 塞巴斯蒂安·帕伦比 1 马尔科·保列里 1 乔治·帕帕斯。 1 拉胡尔·帕特尔 1 吉尔斯·佩森特 1 Jean-François拉斯金 1 路易斯·鲁斯滕霍尔茨 1 克里斯托弗·托马斯·瑞恩 1 彼得·施拉梅尔 1 伊利亚·什利亚克特 1 索勒·艾哈迈德·西迪基 1 法比奥·萨蒙齐 1 苏雷什·拉奥，H。 1 北卡罗来纳州Thankachan。 1 下午Thankachan。 1 阿什什·库马尔·蒂瓦里 1 塞伊德·蒂兹帕兹·尼亚里 1 莫西·亚亚科夫·瓦尔迪 1 王冠毅 1 魏、欧 1 薛、白 1 杨瑜（Yang，Yu） 1 詹乃军 1 张燕 1 阿迪蒂亚·祖奇 全部的 前5名系列 4 系统设计中的形式化方法 三 计算机科学讲义 2 国际流体数值方法杂志 2 数学编程。A系列B系列 2 非线性分析。混合动力系统 1 人工智能 1 计算物理杂志 1 Automatica公司 1 IMA数学控制与信息杂志 1 实时系统 1 欧洲运筹学杂志 1 SIAM优化杂志 1 计算机与信息科学中的通信 1 理论生物学杂志 1 Ramanujan数学与数学科学学会杂志 全部的 前5名领域 48 计算机科学（68至XX） 21 系统论；控制（93至XX） 16 运筹学、数学规划（90-XX） 6 数值分析（65-XX） 5 总体主题；集合（00-XX） 5 数学逻辑和基础（03-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 交换代数（13-XX） 三 流体力学（76-XX） 2 常微分方程（34-XX） 2 凸和离散几何（52至XX） 2 概率论与随机过程（60-XX） 2 生物学和其他自然科学（92-XX） 1 组合数学（05-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 群论与推广（20-XX） 1 动力系统和遍历理论（37-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 54出版物被引用451中的次298文件 引用人▼ 年份▼ 使用数学编程对线性系统进行可扩展分析。 Zbl 1111.68514号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 44 2005 基于Gröbner基的非线性循环不变量生成。 Zbl 1325.68071号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 44 2004 使用非线性约束求解生成线性不变量。 Zbl 1278.68164号 迈克尔·科隆。;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 40 2003 S-TaLiRo：混合系统时序逻辑证伪工具。 Zbl 1316.68069号 亚什万斯·安普雷迪;刘，车;乔治·费内科斯;桑卡拉纳拉亚南，斯里拉姆 26 2011 混合动力系统的仿真指导Lyapunov分析。 Zbl 1362.93108号 詹姆斯·卡宾斯基;Jyotirmoy V.德斯穆赫。;桑卡拉纳拉亚南，斯里拉姆;尼科斯·阿雷奇加 22 2014 利用理想不动点自动生成混合系统的不变量。 Zbl 1360.34082号 桑卡拉纳拉亚南，斯里拉姆 21 2010 构造混合系统的不变量。 Zbl 1133.68365号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 20 2008 基于约束的线性关系分析。 Zbl 1104.68023号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 18 2004 构造混合系统的不变量。 Zbl 1135.93322号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 18 2004 使用模板多面体检查混合系统的符号模型。 Zbl 1134.68419号 桑卡拉纳拉亚南，斯里拉姆;Thao Dang先生;弗兰乔·伊万契奇 17 2008 使用回归多项式规则推理的神经反馈系统的可达性分析。 Zbl 07120151号 Souradeep杜塔;陈欣;桑卡拉纳拉亚南，斯里拉姆 15 2019 演示摘要：Sherlock–用于验证神经网络反馈系统的工具。 Zbl 07120164号 Souradeep杜塔;陈欣;苏斯米特·贾;桑卡拉纳拉亚南，斯里拉姆;阿什什·蒂瓦里 13 2019 高效的强关系多面体分析。 Zbl 1176.68051号 桑卡拉纳拉亚南，斯里拉姆;迈克尔·科隆。;亨尼·西普玛;佐哈尔·曼纳 13 2006 使用双延迟模型确定个性化糖尿病治疗计划。 Zbl 1412.92148号 基斯勒，S.M。;Cichowitz，C。;桑卡拉纳拉亚南，S。;D.M.波茨。 12 2014 析取数值域中的静态分析。 Zbl 1225.68077号 桑卡拉纳拉亚南，斯里拉姆;弗兰乔·伊万契奇;伊利亚·什利亚克特;阿尔蒂·古普塔 11 2006 非线性混合系统时间特性证伪的蒙特卡罗技术。 Zbl 1361.68149号 特朗·恩吉姆;桑卡拉纳拉亚南，斯里拉姆;乔治·费内科斯;弗兰乔·伊万奇;阿尔蒂·古普塔;乔治·帕帕斯。 11 2010 研究网格非正交性对边界拟合坐标系中浅水方程解的影响。 Zbl 1118.76327号 桑卡拉纳拉亚南，S。;马尔科姆·L·斯波尔丁。 8 2003 使用概率仿射形式和度量不等式集中的不确定性传播。 Zbl 1420.68205号 奥利维尔·布瓦索;埃里克·古堡;Sylvie推杆;Aleksandar Chakarov;桑卡拉纳拉亚南，斯里拉姆 8 2016 一般线性回路的抽象加速度。 Zbl 1284.68188号 贝特朗·珍妮特;彼得·施拉梅尔;桑卡拉纳拉亚南，斯里拉姆 8 2014 定期实际分析。 Zbl 1366.03217号 斯瓦拉特·乔杜里;桑卡拉纳拉亚南，斯里拉姆;莫舍·瓦尔迪。 8 2013 使用符号范围进行程序分析。 Zbl 1211.68101号 桑卡拉纳拉亚南，斯里拉姆;弗兰乔·伊万契奇;阿尔蒂·古普塔 7 2007 通过可满足性模路径程序进行程序分析。 兹比尔1312.68058 威廉·R·哈里斯。;桑卡拉纳拉亚南，斯里拉姆;弗兰乔·伊万契奇;阿尔蒂·古普塔 6 2010 使用基变换的变化自动提取非线性系统。 Zbl 1362.93033号 桑卡拉纳拉亚南，斯里拉姆 6 2011 模板多面体上时间流逝的策略迭代技术。（扩展摘要）。 兹比尔1144.93327 桑卡拉纳拉亚南，斯里拉姆;Thao Dang先生;弗兰乔·伊万契奇 5 2008 几乎确定持久性和递归性的演绎证明。 Zbl 1420.68153号 Aleksandar Chakarov;沃罗宁，Yuen Lam;桑卡拉纳拉亚南，斯里拉姆 5 2016 多项式Lyapunov函数综合中多项式正性的线性松弛。 Zbl 1397.93189号 本·萨西、穆罕默德·阿明;桑卡拉纳拉亚南，斯里拉姆;陈欣;艾丽卡·阿尔布拉汉姆 5 2016 非线性混合系统的变基抽象。 Zbl 1329.93046号 桑卡拉纳拉亚南，斯里拉姆 5 2016 使用交叉熵方法伪造混合系统的时间特性。 Zbl 1362.68183号 桑卡拉纳拉亚南，斯里拉姆;乔治·费内科斯 5 2012 使用Bernstein多项式的多项式动力系统的稳定性和镇定。 Zbl 1364.93679号 本·萨西、穆罕默德·阿明;桑卡拉纳拉亚南，斯里拉姆 5 2015 验证多项式不变量的数值半定规划求解器。 Zbl 1394.68085号 皮埃尔·鲁克斯;元朗沃罗宁;桑卡拉纳拉亚南，斯里拉姆 4 2016 泛化模板多面体域。 Zbl 1326.68088号 迈克尔·科隆。;桑卡拉纳拉亚南，斯里拉姆 4 2011 闸门自由表面流动的有限元分析。 Zbl 0875.76259号 Sankaranarayanan，S。;苏雷什·拉奥，H。 4 1996 最小最大计算树逻辑。 Zbl 0976.68104号 达斯古普塔，P。;查克拉巴蒂，P。;德卡，J.K。;桑卡拉纳拉亚南，S。 4 2001 收集运行时执行的统计信息。 Zbl 1083.68068号 伯恩德·芬克贝纳;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 4 2005 使用不变量生成的Petri网分析。 Zbl 1274.68253号 桑卡拉纳拉亚南，斯里拉姆;亨尼·西普玛;佐哈尔·曼纳 4 2003 一种基于学习的算法，用于快速计算随机整数规划的良好原始解。 Zbl 07636014号 约书亚·本吉奥;艾玛·弗雷金格;安德烈·洛迪;拉胡尔·帕特尔;桑卡拉纳拉亚南，斯里拉姆 4 2020 模板多面体和双线性优化。 兹比尔1426.65079 杰西卡·格伦斯基;穆罕默德·阿明·本·萨西;斯蒂芬·贝克尔;桑卡拉纳拉亚南，斯里拉姆 三 2019 验证多项式不变量的数值半定规划求解器。 Zbl 1425.68081号 皮埃尔·鲁克斯;元朗沃罗宁;桑卡拉纳拉亚南，斯里拉姆 三 2018 访问网：对物理空间的访问进行建模。 兹伯利1317.68114 罗伯特·弗罗哈特;Chang，Bor-Yuh Evan先生;桑卡拉纳拉亚南，斯里拉姆 2 2011 针对并发程序的快速准确的静态数据空间检测。 Zbl 1135.68368号 维尼特·卡隆;杨瑜（Yang，Yu）;桑卡拉纳拉亚南，斯里拉姆;阿尔蒂·古普塔 2 2007 用于稳健性验证的加权换能器。 Zbl 07559473号 艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金;桑卡拉纳拉亚南，斯里拉姆;阿舒托什·特里维迪 2 2020 混合整数双层表示性。 Zbl 1480.90176号 阿弥陀佛巴苏;克里斯托弗·托马斯·瑞恩;桑卡拉纳拉亚南，斯里拉姆 2 2021 切割生成功能是否良好且有效？ Zbl 1411.90221号 阿弥陀佛巴苏;桑卡拉纳拉亚南，斯里拉姆 1 2019 混合系统专题：计算和控制。 Zbl 1384.00108号 1 2018 使用神经网络对人工胰腺系统进行稳健的数据驱动控制。 Zbl 1397.92323号 Souradeep杜塔;塔伊萨·库什纳;桑卡拉纳拉亚南，斯里拉姆 1 2018 用于计算时间流逝运算符的定点迭代。 Zbl 1178.93053号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 1 2006 在无边界坐标系中线性化二维浅水方程的色散和稳定性分析。 Zbl 1143.76518号 桑卡拉纳拉亚南，S。;马尔科姆·L·斯波尔丁。 1 2003 具有热带多面体的ReLU神经网络的静态分析。 Zbl 1497.68304号 埃里克·古堡;塞巴斯蒂安·帕伦比;Sylvie推杆;路易斯·鲁斯滕霍尔茨;桑卡拉纳拉亚南，斯里拉姆 1 2021 Quicr：集和数的参数抽象的可重用库。 Zbl 1296.68004号 阿伦·考克斯;Chang，Bor-Yuh Evan先生;桑卡拉纳拉亚南，斯里拉姆 1 2014 通过树分解使用消息传递进行可达性分析。 Zbl 1478.68173号 桑卡拉纳拉亚南，斯里拉姆 1 2020 随机微分动力学的无限时间安全验证。 Zbl 1478.68155号 冯胜华;陈明帅;薛、白;桑卡拉纳拉亚南，斯里拉姆;詹乃军 1 2020 带有概率和度量不等式集中的程序的定量分析。 Zbl 07311048号 桑卡拉纳拉亚南，斯里拉姆 1 2021 对复杂系统进行统计合理的验证和优化。 Zbl 1448.68322号 张燕;桑卡拉纳拉亚南，斯里拉姆;法比奥·萨蒙齐 1 2014 闭环控制软件的符号数字可达性分析。 Zbl 1364.93058号 阿迪蒂亚·祖奇;桑卡拉纳拉亚南，斯里拉姆;Jyotirmoy V.德斯穆赫。;金小青 1 2016 混合整数双层表示性。 Zbl 1480.90176号 阿弥陀佛巴苏;克里斯托弗·托马斯·瑞恩;桑卡拉纳拉亚南，斯里拉姆 2 2021 具有热带多面体的ReLU神经网络的静态分析。 Zbl 1497.68304号 埃里克·古堡;塞巴斯蒂安·帕伦比;Sylvie推杆;路易斯·鲁斯滕霍尔茨;桑卡拉纳拉亚南，斯里拉姆 1 2021 带有概率和度量不等式集中的程序的定量分析。 Zbl 07311048号 桑卡拉纳拉亚南，斯里拉姆 1 2021 一种基于学习的算法，用于快速计算随机整数规划的良好原始解。 Zbl 07636014号 约书亚·本吉奥;艾玛·弗雷金格;安德烈·洛迪;拉胡尔·帕特尔;桑卡拉纳拉亚南，斯里拉姆 4 2020 用于稳健性验证的加权传感器。 Zbl 07559473号 艾曼纽·菲利奥特;尼古拉斯·马佐奇;Jean-François拉斯金;桑卡拉纳拉亚南，斯里拉姆;阿舒托什·特里维迪 2 2020 通过树分解使用消息传递进行可达性分析。 Zbl 1478.68173号 桑卡拉纳拉亚南，斯里拉姆 1 2020 随机微分动力学的无限时间安全验证。 Zbl 1478.68155号 冯胜华;陈明帅;薛、白;桑卡拉纳拉亚南，斯里拉姆;詹乃军 1 2020 基于回归多项式规则推理的神经反馈系统可达性分析。 兹伯利07120151 Souradeep杜塔;陈欣;桑卡拉纳拉亚南，斯里拉姆 15 2019 演示摘要：Sherlock–用于验证神经网络反馈系统的工具。 Zbl 07120164号 Souradeep杜塔;陈欣;苏斯米特·贾;桑卡拉纳拉亚南，斯里拉姆;阿什什·蒂瓦里 13 2019 模板多面体和双线性优化。 兹比尔1426.65079 杰西卡·格伦斯基;穆罕默德·阿明·本·萨西;斯蒂芬·贝克尔;桑卡拉纳拉亚南，斯里拉姆 三 2019 切割生成功能是否良好且有效？ Zbl 1411.90221号 阿弥陀佛巴苏;桑卡拉纳拉亚南，斯里拉姆 1 2019 验证多项式不变量的数值半定规划求解器。 Zbl 1425.68081号 皮埃尔·鲁克斯;元朗沃罗宁;桑卡拉纳拉亚南，斯里拉姆 三 2018 混合系统专题：计算和控制。 Zbl 1384.00108号 1 2018 使用神经网络对人工胰腺系统进行稳健的数据驱动控制。 Zbl 1397.92323号 Souradeep杜塔;塔伊萨·库什纳;桑卡拉纳拉亚南，斯里拉姆 1 2018 使用概率仿射形式和度量不等式集中的不确定性传播。 Zbl 1420.68205号 奥利维尔·布瓦索;埃里克·古堡;Sylvie推杆;Aleksandar Chakarov;桑卡拉纳拉亚南，斯里拉姆 8 2016 几乎确定持久性和递归性的演绎证明。 兹比尔1420.68153 Aleksandar Chakarov;元朗沃罗宁;桑卡拉纳拉亚南，斯里拉姆 5 2016 多项式Lyapunov函数综合中多项式正性的线性松弛。 兹比尔1397.93189 本·萨西、穆罕默德·阿明;桑卡拉纳拉亚南，斯里拉姆;陈欣;艾丽卡·阿尔布拉汉姆 5 2016 非线性混合系统的变基抽象。 Zbl 1329.93046号 桑卡拉纳拉亚南，斯里拉姆 5 2016 验证多项式不变量的数值半定规划求解器。 Zbl 1394.68085号 皮埃尔·鲁克斯;元朗沃罗宁;桑卡拉纳拉亚南，斯里拉姆 4 2016 闭环控制软件的符号-数字可达性分析。 Zbl 1364.93058号 阿迪蒂亚·祖奇;桑卡拉纳拉亚南，斯里拉姆;Jyotirmoy V.德斯穆赫。;金小青 1 2016 使用Bernstein多项式的多项式动力系统的稳定性和镇定。 Zbl 1364.93679号 本·萨西、穆罕默德·阿明;桑卡拉纳拉亚南，斯里拉姆 5 2015 混合动力系统的仿真指导Lyapunov分析。 Zbl 1362.93108号 詹姆斯·卡宾斯基;Jyotirmoy V.德斯穆赫。;桑卡拉纳拉亚南，斯里拉姆;尼科斯·阿雷奇加 22 2014 使用双延迟模型确定个性化糖尿病治疗计划。 Zbl 1412.92148号 基斯勒，S.M。;Cichowitz，C。;Sankaranarayanan，S。;D.M.波茨。 12 2014 一般线性回路的抽象加速度。 Zbl 1284.68188号 贝特朗·珍妮特;彼得·施拉梅尔;桑卡拉纳拉亚南，斯里拉姆 8 2014 Quicr：集和数的参数抽象的可重用库。 Zbl 1296.68004号 阿伦·考克斯;Chang，Bor-Yuh Evan先生;桑卡拉纳拉亚南，斯里拉姆 1 2014 对复杂系统进行统计合理的验证和优化。 Zbl 1448.68322号 张燕;桑卡拉纳拉亚南，斯里拉姆;法比奥·萨蒙齐 1 2014 定期实际分析。 Zbl 1366.03217号 斯瓦拉特·乔杜里;桑卡拉纳拉亚南，斯里拉姆;莫舍·瓦尔迪。 8 2013 使用交叉熵方法伪造混合系统的时间特性。 Zbl 1362.68183号 桑卡拉纳拉亚南，斯里拉姆;乔治·费内科斯 5 2012 S-TaLiRo：混合系统时序逻辑证伪工具。 Zbl 1316.68069号 亚什万斯·安普雷迪;刘，车;乔治·费内科斯;桑卡拉纳拉亚南，斯里拉姆 26 2011 使用基变换的变化自动提取非线性系统。 Zbl 1362.93033号 桑卡拉纳拉亚南，斯里拉姆 6 2011 泛化模板多面体域。 兹比尔1326.68088 迈克尔·科隆。;桑卡拉纳拉亚南，斯里拉姆 4 2011 访问网：对物理空间的访问进行建模。 Zbl 1317.68114号 罗伯特·弗罗哈特;Chang，Bor-Yuh Evan先生;桑卡拉纳拉亚南，斯里拉姆 2 2011 利用理想不动点自动生成混合系统的不变量。 Zbl 1360.34082号 桑卡拉纳拉亚南，斯里拉姆 21 2010 非线性混合系统时间特性证伪的蒙特卡罗技术。 Zbl 1361.68149号 特朗·恩吉姆;桑卡拉纳拉亚南，斯里拉姆;乔治·费内科斯;弗兰乔·伊万奇;阿尔蒂·古普塔;乔治·帕帕斯。 11 2010 通过可满足性模路径程序进行程序分析。 兹比尔1312.68058 威廉·R·哈里斯。;桑卡拉纳拉亚南，斯里拉姆;弗兰乔·伊万契奇;阿尔蒂·古普塔 6 2010 构造混合系统的不变量。 Zbl 1133.68365号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 20 2008 使用模板多面体检查混合系统的符号模型。 Zbl 1134.68419号 桑卡拉纳拉亚南，斯里拉姆;Thao Dang先生;弗兰乔·伊万契奇 17 2008 模板多面体上时间消逝的策略迭代技术。（扩展摘要）。 Zbl 1144.93327号 桑卡拉纳拉亚南，斯里拉姆;Thao Dang先生;弗兰乔·伊万契奇 5 2008 使用符号范围进行程序分析。 Zbl 1211.68101号 桑卡拉纳拉亚南，斯里拉姆;弗兰乔·伊万契奇;阿尔蒂·古普塔 7 2007 针对并发程序的快速准确的静态数据空间检测。 Zbl 1135.68368号 维尼特·卡隆;杨瑜（Yang，Yu）;桑卡拉纳拉亚南，斯里拉姆;阿尔蒂·古普塔 2 2007 高效的强关系多面体分析。 Zbl 1176.68051号 桑卡拉纳拉亚南，斯里拉姆;迈克尔·科隆。;亨尼·西普玛;佐哈尔·曼纳 13 2006 析取数值域中的静态分析。 Zbl 1225.68077号 桑卡拉纳拉亚南，斯里拉姆;弗兰乔·伊万契奇;伊利亚·什利亚克特;阿尔蒂·古普塔 11 2006 用于计算时间流逝运算符的定点迭代。 Zbl 1178.93053号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 1 2006 使用数学规划对线性系统进行可缩放分析。 Zbl 1111.68514号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 44 2005 收集运行时执行的统计信息。 Zbl 1083.68068号 伯恩德·芬克贝纳;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 4 2005 基于Gröbner基的非线性循环不变量生成。 Zbl 1325.68071号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 44 2004 基于约束的线性关系分析。 Zbl 1104.68023号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 18 2004 构造混合系统的不变量。 Zbl 1135.93322号 桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 18 2004 使用非线性约束求解生成线性不变量。 Zbl 1278.68164号 Colón，迈克尔·A。;桑卡拉纳拉亚南，斯里拉姆;亨尼·B·西普玛。 40 2003 研究网格非正交性对边界坐标系中浅水方程解的影响。 Zbl 1118.76327号 桑卡拉纳拉亚南，S。;斯波丁，马尔科姆·L。 8 2003 使用不变量生成的Petri网分析。 Zbl 1274.68253号 桑卡拉纳拉亚南，斯里拉姆;亨尼·西普玛;佐哈尔·曼纳 4 2003 在无边界坐标系中线性化二维浅水方程的色散和稳定性分析。 Zbl 1143.76518号 桑卡拉纳拉亚南，S。;马尔科姆·L·斯波尔丁。 1 2003 最小最大计算树逻辑。 Zbl 0976.68104号 达斯古普塔，P。;查克拉巴蒂，P。;德卡，J.K。;桑卡拉纳拉亚南，S。 4 2001 闸门自由表面流动的有限元分析。 Zbl 0875.76259号 桑卡拉纳拉亚南，S。;苏雷什·拉奥，H。 4 1996 所有引用出版物 前5名被引用出版物 全部的 前5名被653位作者引用 11 桑卡拉纳拉亚南，斯里拉姆 9 埃里克·古堡 9 安德烈·普拉泽 9 詹乃军 8 埃齐奥·巴托西 6 亚历山德罗·阿巴特 6 迪帕克·卡普尔 6 林，王 6 赫尔穆特·塞德尔 6 杨正峰 5 吉安卢卡·阿马托 5 米歇尔·博雷尔 5 Thao Dang先生 5 国王，安迪 5 Sylvie推杆 5 埃纳州扎法内拉 5 赵恒军 4 阿萨勒阿杰 4 奥利维尔·布瓦索 4 维伦达·戴夫 4 Jyotirmoy V.德斯穆赫。 4 托马索·德罗西 4 戈兰·弗雷斯 4 圣埃芬·高伯特 4 托马斯·马丁·高利察 4 米尔科·贾科布 4 Joost-Pieter卡托恩 4 科瓦奇，劳拉·伊尔迪科 4 桑卡拉·纳拉亚南·克里希纳 4 勒沃夫，M.S。 4 鲁帕克·马朱姆达尔 4 纳迪尔·马特林格 4 阿纳多·维埃拉·穆拉 4 德扬·尼科维奇 4 乔治·帕帕斯。 4 拉希德·热比哈 4 代表Thomas W。 4 弗朗西丝卡·斯科扎里 4 安德鲁·索戈孔 4 Tan，Yong Kiam先生 三 罗伯特·巴格纳拉 三 斯坦利·巴克 三 德克·拜尔 三 波戈莫洛夫，谢尔盖 三 亚历山大·查普托 三 陈丽倩 三 亚历山大·唐泽 三 维杰·迪尔瓦 三 帕拉萨拉·斯里达尔·达吉拉拉 三 费内科斯（Georgios E.Fainekos）。 三 皮埃尔·洛伊奇 三 吉尔根·吉斯尔 三 阿尔贝托·格里乔 三 拉杜·格罗苏 三 帕特里夏·M·希尔。 三 雅各布·M·豪。 三 巴德省霍克萨 三 弗兰乔·伊万契奇 三 拉多斯拉夫·伊万诺夫 三 泰勒·T·约翰逊。 三 丹尼尔·科宁 三 维克托·马格伦 三 乔尔·欧·瓦克宁。 三 卡拉广场 三 丹尼尔·普罗霍罗夫。 三 恩里克·罗德里格斯-卡博内尔 三 阿尔伯特·鲁比奥 三 亚萨米娜·塞拉吉 三 桑吉特·阿伦库马尔·塞希亚 三 埃克塞尔·西蒙 三 米罗斯拉夫斯坦科维奇 三 Tran，黄登 三 阿舒托什·特里维迪 三 王，季 三 王秋叶 三 詹姆斯·沃雷尔。 三 吴敏 三 夏碧灿 三 曾振兵 2 谢尔·亚哈龙 2 艾哈迈德·丹妮尔 2 艾尔维拉·阿尔伯特 2 泽维尔·阿拉米吉恩 2 本·萨西、穆罕默德·阿明 2 阿尔贝托·卡萨格兰德 2 达里奥·卡塔鲁扎 2 查克拉波蒂，苏普拉特克 2 Chang，Bor-Yuh Evan先生 2 克里希南德·查特吉 2 陈明帅 2 陈、陶璐 2 陈欣 2 Choi、Sungwoo 2 亚历山德罗·西马蒂 2 克拉克（Edmund Melson jun Clarke）。 2 西蒙·迪纳多·迪迈奥 2 丁左华 2 曼努埃尔·Fähndrich 2 马亚尔·法兹利亚布 2 艾曼纽·菲利奥特 …还有553位作者 全部的 前5名51篇连载文章中引用 24 系统设计中的形式化方法 10 Automatica公司 10 非线性分析。混合动力系统 9 理论计算机科学 9 符号计算杂志 9 自动推理杂志 8 信息与计算 7 计算的形式方面 6 计算机科学中的逻辑方法 5 系统科学与复杂性杂志 4 控制论与系统分析 三 计算机程序设计科学 三 计算机语言、系统和结构 2 信息学报 2 人工智能 2 信息处理信件 2 计算机与运筹学 2 离散事件动态系统 2 欧洲运筹学杂志 2 工程中的数学问题 2 高阶和符号计算 2 逻辑与代数程序设计杂志 2 计算机科学中的数学 2 程序设计中的逻辑和代数方法杂志 1 倒排索引综述 1 富兰克林学院学报 1 Semesterberichte数学 1 SIAM控制与优化杂志 1 系统和控制信件 1 运营研究信件 1 机器学习 1 计算几何 1 数学编程。A系列B系列 1 国际鲁棒非线性控制杂志 1 函数编程杂志 1 约束条件 1 信息计算杂志 1 欧洲控制杂志 1 计算系统理论 1 动力系统的数学和计算机建模 1 非线性科学与数值模拟中的通信 1 优化与工程 1 离散和连续动力系统。B系列 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 科学中国。信息科学 1 数值代数、控制与优化 1 中国计算机科学前沿 1 计算机科学前沿 1 欧洲计算优化杂志 1 Modelirovanie i Analiz信息系统 全部的 前5名26个领域被引用 238 计算机科学（68至XX） 78 系统论；控制（93至XX） 36 运筹学、数学规划（90-XX） 32 数学逻辑和基础（03-XX） 16 数值分析（65-XX） 14 常微分方程（34-XX） 8 生物学和其他自然科学（92-XX） 5 凸和离散几何（52至XX） 4 交换代数（13-XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 三 代数几何（14-XX） 三 动力系统和遍历理论（37-XX） 三 统计学（62-XX） 2 算子理论（47-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 结合环与代数（16-XX） 1 实际功能（26年X月X日） 1 复变量的函数（30年XX月） 1 偏微分方程（35-XX） 1 近似值和展开值（41至XX） 1 概率论与随机过程（60-XX） 1 粒子和系统力学（70-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文