编辑配置文件（在新选项卡中打开） 萨曼塔（Samanta，Roopsha） 合著者距离 作者ID： 萨曼塔·鲁普沙 发布日期： 萨曼塔（Samanta，Roopsha） 已编制索引的文档： 11出版物自2007年起 合著者： 16位合著者具有10联合出版物 483位合作作者 全部的 前5名合著者 0 单作者的 5 托马斯·亨辛格（Thomas A.Henzinger）。 三 阿琼·拉德哈克利什纳 三 托尔斯滕·塔拉赫 2 乔恩，帕沃 2 斯瓦拉特·乔杜里 2 克拉克（Edmund Melson jun Clarke）。 2 Jyotirmoy V.德斯穆赫。 2 奥托普，简 2 列奥尼德·雷日克 1 埃默森，欧内斯特·艾伦 1 阿什图什·古普塔 1 Robert W.jun，Heath。 1 努拉尔丁·贾贝尔 1 瑞典雅各布斯 1 米林·纳拉扬劳·库尔卡尼 1 C.R.曼达尔。 1 比什瓦鲁普·蒙达尔 1 Purkait，M。 系列 1 系统设计中的形式化方法 1 应用和计算谐波分析 1 物理评论 领域 9 计算机科学（68至XX） 1 凸和离散几何（52至XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用16中的次11文件 引用人▼ 年份▼ 使用同步合成从非抢占调度到抢占调度。 Zbl 1381.68040号 乔恩，帕沃；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格（Thomas A.Henzinger）。；阿琼·拉德哈克利什纳；列奥尼德·雷日克；萨曼塔（Samanta，Roopsha）；托尔斯滕·塔拉赫 4 2015 网络系统的鲁棒性分析。 Zbl 1426.68186号 萨曼塔（Samanta，Roopsha）；Jyotirmoy V.德斯穆赫。；斯瓦拉特·乔杜里 三 2013 弦式传感器的鲁棒性分析。 Zbl 1410.68210号 萨曼塔（Samanta，Roopsha）；Jyotirmoy V.德斯穆赫。；斯瓦拉特·乔杜里 三 2013 并发跟踪集的简洁表示。 Zbl 1345.68108号 阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；阿琼·拉德哈克利什纳；萨曼塔（Samanta，Roopsha）；托尔斯滕·塔拉赫 2 2015 有限状态传感器的Lipschitz鲁棒性。 Zbl 1360.68559号 托马斯·亨辛格（Thomas A.Henzinger）。；奥托普，简；萨曼塔（Samanta，Roopsha） 2 2014 定时I/O系统的Lipschitz鲁棒性。 Zbl 1475.68154号 托马斯·亨辛格（Thomas A.Henzinger）。；奥托普，简；萨曼塔（Samanta，Roopsha） 1 2016 使用同步合成从非抢占调度到抢占调度。 Zbl 1360.68346号 乔恩，帕沃；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格（Thomas A.Henzinger）。；Radhakrishna，阿琼；列昂尼德·雷日克；萨曼塔（Samanta，Roopsha）；托尔斯滕·塔拉赫 1 2017 从非抢占式调度到使用同步合成的抢占式调度。 Zbl 1360.68346号 乔恩，帕沃；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格（Thomas A.Henzinger）。；阿琼·拉德哈克利什纳；列奥尼德·雷日克；萨曼塔（Samanta，Roopsha）；托尔斯滕·塔拉赫 1 2017 定时I/O系统的Lipschitz鲁棒性。 Zbl 1475.68154号 托马斯·亨辛格（Thomas A.Henzinger）。；奥托普，简；萨曼塔（Samanta，Roopsha） 1 2016 使用同步合成从非抢占调度到抢占调度。 Zbl 1381.68040号 乔恩，帕沃；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格（Thomas A.Henzinger）。；阿琼·拉德哈克利什纳；列奥尼德·雷日克；萨曼塔（Samanta，Roopsha）；托尔斯滕·塔拉赫 4 2015 并发跟踪集的简洁表示。 Zbl 1345.68108号 阿什图什·古普塔；托马斯·亨辛格（Thomas A.Henzinger）。；阿琼·拉德哈克利什纳；萨曼塔（Samanta，Roopsha）；托尔斯滕·塔拉赫 2 2015 有限状态传感器的Lipschitz鲁棒性。 Zbl 1360.68559号 托马斯·亨辛格（Thomas A.Henzinger）。；奥托普，简；萨曼塔（Samanta，Roopsha） 2 2014 网络系统的鲁棒性分析。 Zbl 1426.68186号 萨曼塔（Samanta，Roopsha）；Jyotirmoy V.德斯穆赫。；斯瓦拉特·乔杜里 三 2013 弦式传感器的鲁棒性分析。 Zbl 1410.68210号 萨曼塔（Samanta，Roopsha）；Jyotirmoy V.德斯穆赫。；斯瓦拉特·乔杜里 三 2013 所有引用的出版物 前5名被引用出版物 全部的 前5名29位作者引用 三 罗德里克·布洛姆 三 哈娜·乔克勒 三 马苏德·易卜拉希米 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 斯特里赫曼（Ofer Strichman） 2 艾哈迈德·博阿贾尼 2 克拉克（Edmund Melson jun Clarke）。 2 康斯坦丁·埃纳 2 拉希里、舒文杜·库马尔 1 西迪·穆罕默德·贝拉希 1 乔恩，帕沃 1 樊楚楚 1 艾曼纽·菲利奥特 1 黄振奇 1 康，恩苏克 1 圣菲拉福顿 1 尼古拉斯·马佐奇 1 穆洛省梅拉戈雷斯 1 萨扬·密特拉 1 奥托普，简 1 阿琼·拉德哈克利什纳 1 让-弗朗索瓦·拉斯金 1 列奥尼德·雷日克 1 萨曼塔（Samanta，Roopsha） 1 桑卡拉纳拉亚南，斯里拉姆 1 托尔斯滕·塔拉赫 1 斯塔夫罗斯·特里帕基斯 1 阿舒托什·特里维迪 1 赫尔穆特·维思 3篇连载文章中引用 4 系统设计中的形式化方法 1 离散事件动态系统 1 非线性分析。混合动力系统 在2个字段中引用 10 计算机科学（68至XX） 2 系统论；控制（93至XX） 按年份列出的引文