编辑配置文件（在新选项卡中打开） 斯利瓦斯塔瓦（Siddharth Srivastava） 合著者距离 作者ID： 斯利瓦斯塔瓦·西德哈特 发布日期： 斯利瓦斯塔瓦（Siddharth Srivastava）;斯里瓦斯塔瓦，S。 已编制索引的文档： 16出版物自1976年以来 合著者： 12位合著者具有6联合出版物 280位合作作者 全部的 前5名合著者 1 单作者的 4 尼尔·伊梅尔曼 三 辛格、坎哈亚·拉尔 2 塔尔省列夫·阿米 2 穆利萨吉夫 2 格雷塔·约什 2 什洛莫·齐尔伯斯坦 1 E.阿勒马克。 1 赫尔曼·J·H·克莱克斯。 1 吉安卢卡·迪·斯塔索 1 马修·杜申斯 1 克里希纳·加里基帕蒂 1 苏巴拉奥·坎巴帕蒂 1 斯特凡·卢丁 1 弗雷德里克·梅斯 1 代表，Thomas W。 1 萨拉斯·斯里德哈兰 1 保罗·苏伊滕斯 1 费德里科·托斯基 1 昆·范·利姆普特 1 德克·范德梅伦 1 雅兹奇，卡泽姆 全部的 前5名系列 三 人工智能 1 分析数学 1 计算机和流体 1 应用力学与工程中的计算机方法 1 《物理快报》。A类 1 鲁马尼社会科学数学公报。新Série 1 南塔数学 1 帕尔马马蒂马蒂卡德拉大学Rivista di Matematica della Universityádi Parma。第四系列 1 人工智能研究杂志 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 计算机科学中的逻辑方法 1 南非荷兰语Matematika 全部的 前5名字段 7 计算机科学（68至XX） 三 算子理论（47-XX） 三 一般拓扑结构（54至XX） 三 数值分析（65-XX） 三 流体力学（76-XX） 1 复变量的函数（30-XX） 1 偏微分方程（35-XX） 1 功能分析（46倍X倍） 1 统计力学，物质结构（82-XX） 1 天文学和天体物理学（85-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用26中的次22文件 引用人▼ 年份▼ 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 Zbl 1135.68556号 列夫·阿米，T。;伊梅尔曼，N。;代表，T。;萨吉夫，M。;斯利瓦斯塔瓦，S。;约什，G。 10 2005 广义规划的一种新表示和相关算法。 Zbl 1216.68253号 斯利瓦斯塔瓦（Siddharth Srivastava）;尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 9 2011 循环计划的适用条件：可计算性结果和算法。 Zbl 1270.68277号 斯利瓦斯塔瓦（Siddharth Srivastava）;尼尔·伊梅尔曼;什洛莫Zilberstein 6 2012 一种求解指数为1的奇异线性系统的迭代方法。 Zbl 1352.65112号 斯利瓦斯塔瓦，S。;D.K.古普塔。;辛格，A。 三 2016 流体-颗粒相互作用有限元和离散元方法的中尺度动态耦合。 Zbl 1353.76051号 斯利瓦斯塔瓦，S。;Yazdchi，K。;南卡罗来纳州卢丁。 2 2014 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 兹比尔1163.68010 塔尔省列夫·阿米;尼尔·伊梅尔曼;代表，Thomas W。;穆利·萨吉夫;斯利瓦斯塔瓦（Siddharth Srivastava）;格雷塔·约什 1 2009 三维几何流动的混合格子Boltzman直接模拟蒙特卡罗方法。 Zbl 1410.76409号 迪·斯塔索，G。;斯利瓦斯塔瓦，S。;E.阿勒马克。;克莱克斯，H.J.H。;F.托斯基。 1 2018 三维几何流动的混合格子Boltzman直接模拟蒙特卡罗方法。 Zbl 1410.76409号 迪·斯塔索，G。;斯利瓦斯塔瓦，S。;E.阿勒马克。;克莱克斯，H.J.H。;F.托斯基。 1 2018 一种求解指数为1的奇异线性系统的迭代方法。 Zbl 1352.65112号 斯利瓦斯塔瓦，S。;D.K.古普塔。;A.辛格。 三 2016 流体-颗粒相互作用有限元和离散元方法的中尺度动态耦合。 兹比尔1353.76051 斯利瓦斯塔瓦，S。;Yazdchi，K。;南卡罗来纳州卢丁。 2 2014 循环计划的适用条件：可计算性结果和算法。 兹比尔1270.68277 斯利瓦斯塔瓦（Siddharth Srivastava）;尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 6 2012 广义规划的一种新表示和相关算法。 Zbl 1216.68253号 斯利瓦斯塔瓦（Siddharth Srivastava）;尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 9 2011 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 Zbl 1163.68010号 塔尔省列夫·阿米;尼尔·伊梅尔曼;代表，Thomas W。;穆利·萨吉夫;斯利瓦斯塔瓦（Siddharth Srivastava）;格雷塔·约什 1 2009 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 Zbl 1135.68556号 列夫·阿米，T。;伊梅尔曼，N。;代表，T。;萨吉夫，M。;斯利瓦斯塔瓦，S。;约什，G。 10 2005 所有引用出版物 前5名被引用出版物 全部的 前5名被53位作者引用 三 斯利瓦斯塔瓦（Siddharth Srivastava） 2 布莱·博内 2 赫克托·杰夫纳 2 胡亚伦·J·。 2 尼尔·伊梅尔曼 2 茨沃尼米尔·拉卡马里奇 2 塞巴斯蒂安·萨迪纳 2 什洛莫·齐尔伯斯坦 1 亚哈龙·阿巴迪 1 本杰明·阿米诺夫 1 豪尔赫·贝尔。 1 克拉克·W·巴雷特。 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 彼得·舒勒 1 沃尔夫拉姆·舒尔特 1 哈维尔·塞戈维亚·阿瓜斯 1 田聪 1 塞萨尔·蒂内利 1 托马斯·维斯 1 赵西顺 1 弗洛里安·祖勒格 5篇连载文章中引用 7 人工智能 三 人工智能研究杂志 1 理论计算机科学 1 计算的形式方面 1 计算机科学前沿 在2个字段中引用 22 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 按年份列出的引文