编辑配置文件（在新选项卡中打开） 拉杰夫·阿鲁尔 合著者距离 作者ID： 拉吉耶夫 发布日期： 拉杰夫·阿鲁尔；阿鲁尔，R。 外部链接： 管理程序 已编制索引的文档： 140出版物自1990年以来 5名编辑的贡献 合著者： 110位合著者具有136联合出版物 2771合著作者 全部的 前5名合著者 9 单作者的 19 帕塔萨拉西马杜苏丹 17 托马斯·亨辛格（Thomas A.Henzinger）。 12 萨尔瓦多拉托雷 9 库沙·埃特萨米 9 乔治·J·帕帕斯。 8 斯瓦拉特·乔杜里 8 李因苏普 7 乔恩，帕沃 7 弗兰乔·伊万契奇 6 Doron A.Peled。 6 穆昆德·拉戈塔曼 6 米哈利斯·亚纳卡基斯 5 科斯塔斯·库库贝蒂斯。 5 Thao Dang先生 5 拉杜·格罗苏 5 萨拉尔·莫拉里夫 5 南黄弘 5 加迪·陶本费尔德 5 杰拉·韦斯 4 米哈伊尔·伯纳德斯基 4 洛丽斯·达安东尼 4 大卫·L·迪尔。 4 达纳·菲斯曼 4 Sampath K·坎南。 4 奥列格·索科尔斯基 4 乌富克托普库 4 阿舒托什·特里维迪 三 拉多斯拉夫·伊万诺夫 三 基绍尔州佐提穆鲁甘 三 维杰·库马尔。 三 康斯坦蒂诺斯·马穆拉斯 三 詹姆斯·韦默（James E.Weimer）。 2 哈吉特·阿提亚 2 苏古曼·班萨尔 2 奥斯伯特·巴斯塔尼 2 Calin A.Belta。 2 罗伯特·K·布雷顿。 2 泰勒·J·卡彭特。 2 Jyotirmoy V.德斯穆赫。 2 费德，托马斯 2 嗯，Yerang 2 奥尔纳·库普弗曼 2 罗伯特·P·库尔珊（Robert P.Kurshan）。 2 迈克尔·麦克道格尔 2 肯尼思·麦克米兰。 2 尼米特·辛哈尼亚 2 斯坦福，卡勒布 2 莫西·亚亚科夫·瓦尔迪 2 斯科特·温斯坦 2 杨紫江 2 袁一飞 1 马杜卡尔·阿南德 1 马塞洛·阿里纳斯 1 巴勃罗·巴塞洛 1 艾哈迈德·博阿贾尼 1 塞巴斯蒂安·伯克哈特 1 阿伦州Chandrashekharapuram 1 陈宇 1 卢卡·德·阿尔法罗 1 奥尔德里克·德戈尔 1 约瑟夫·德维埃蒂 1 亚历山德罗·迪安诺琴佐 1 安托万杜兰·加塞林 1 哈维尔·埃斯帕尔扎 1 乔尔·埃斯波西托（Joel M.Esposito）。 1 马可·费拉 1 艾曼纽·菲利奥特 1 塞巴斯蒂安·费奇迈斯特 1 菲克斯，利莫 1 Forejt，Vojtěch公司 1 亚当·弗赖利希 1 米尔科·贾科布 1 苏迪普托·古哈 1 尼古拉斯·哈尔巴赫斯 1 何培欣 1 尼尔·伊梅尔曼 1 阿隆·伊泰 1 卡尔·亨利克·约翰逊 1 阿迪蒂亚·卡纳德 1 桑吉夫·坎纳 1 维拉吉·库马尔 1 奥马尔·纳瓦罗·莱娅 1 Leonid O·利金。 1 林德曼，拉尔斯 1 奥德·马勒 1 Freddy Y.C.Mang。 1 Martin，Milo M.K。 1 马吕斯·米库西奥尼斯 1 马克斯·明茨 1 莫勒，M.奥利弗 1 泽维尔·尼克林 1 阿尔弗雷多·奥利维罗 1 沙兹·卡迪尔 1 阿琼·拉德哈克利什纳 1 Rajamani，Sriram K。 1 哈维·鲁宾 1 乔纳森·舒格 1 Raman Sharykin女士 1 约瑟夫·西法基斯 1 塞尔达尔·塔西兰 ……还有另外10位合著者 全部的 前5名系列 8 理论计算机科学 7 系统设计中的形式化方法 6 信息与计算 4 美国计算机学会期刊 4 计算机科学课堂讲稿 三 ACM计算逻辑汇刊 1 信息处理信件 1 Automatica公司 1 IEEE自动控制汇刊 1 计算机协会杂志 1 计算机与系统科学杂志 1 SIAM计算机杂志 1 分布式计算 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 全部的 前5名领域 138 计算机科学（68至XX） 24 数学逻辑和基础（03-XX） 22 系统论；控制（93至XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 运筹学、数学规划（90-XX） 5 总体主题；集合（00-XX） 2 生物学和其他自然科学（92-XX） 1 常微分方程（34-XX） 1 数值分析（65-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 125出版物有被引用3456中的次2101文件 引用人▼ 年份▼ 时间自动机理论。 Zbl 0803.68071号 拉杰夫·阿鲁尔；大卫·L·迪尔。 752 1994 交替时间时序逻辑。 Zbl 1326.68181号 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。；奥尔纳·库普弗曼 329 2002 混合系统的算法分析。 Zbl 0874.68206号 阿鲁尔，R。；库库贝蒂斯，C。；北卡罗来纳州Halbwachs。；亨廷格，T.A。；Ho、P.-H、。 212 1995 直观的下推语言。 Zbl 1192.68396号 拉杰夫·阿鲁尔；马杜苏丹，P。 152 2004 密集实时模型检查。 Zbl 0783.68076号 拉杰夫·阿鲁尔；科斯塔斯·库库贝蒂斯；大卫·迪尔 122 1993 放松守时的好处。 兹伯利0882.68021 拉杰夫·阿鲁尔；费德，托马斯；托马斯·亨辛格（Thomas A.Henzinger）。 119 1996 一个真正的时间逻辑。 Zbl 0807.68065号 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。 109 1994 用于实时系统建模的自动机。 Zbl 0765.68150号 拉杰夫·阿鲁尔；大卫·迪尔 99 1990 向单词添加嵌套结构。 Zbl 1325.68138号 拉杰夫·阿鲁尔；马杜苏丹，P。 96 2009 实时逻辑：复杂性和表达性。 兹伯利0791.68103 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。 78 1993 参数化实时推理。 兹比尔1310.68139 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。；莫舍·瓦尔迪。 74 1993 概率实时系统的模型检查。 Zbl 0769.68088号 拉杰夫·阿鲁尔；科斯塔斯·库库贝蒂斯；大卫·迪尔 69 1991 交替细化关系。 Zbl 1070.68524号 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。；奥尔纳·库普弗曼；莫舍·瓦尔迪。 56 1998 加权时间自动机中的最优路径。 Zbl 0991.93076号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；乔治·J·帕帕斯。 50 2002 事件锁自动机：时间自动机的一个可确定类。 Zbl 0912.68132号 拉杰夫·阿鲁尔；菲克斯，利莫；托马斯·亨辛格（Thomas A.Henzinger）。 50 1999 嵌套调用和返回的时间逻辑。 Zbl 1126.68466号 拉杰夫·阿鲁尔；库沙·埃特萨米；马杜苏丹，P。 45 2004 时间自动机的决策问题：一项调查。 Zbl 1105.68057号 拉杰夫·阿鲁尔；马杜苏丹，P。 33 2004 定时自动机。 兹比尔1046.68574 拉杰夫·阿鲁尔 32 1999 LTL碎片的确定性生成器和游戏。 兹伯利1366.03181 拉杰夫·阿鲁尔；萨尔瓦多拉托雷 31 2004 “模型测量”的参数时序逻辑。 Zbl 1171.68544号 拉杰夫·阿鲁尔；库沙·埃特萨米；萨尔瓦多拉托雷；多龙·贝利德 30 2001 嵌套单词的一阶逻辑和时序逻辑。 Zbl 1159.03018号 拉杰夫·阿鲁尔；马塞洛·阿里纳斯；巴勃罗·巴切罗；库沙·埃特萨米；尼尔·伊梅尔曼；列昂尼德·利布金 29 2008 用于单程列表处理程序算法验证的流式传感器。 Zbl 1284.68159号 拉杰夫·阿鲁尔；乔恩，帕沃 28 2011 常规功能和成本自动登记（特邀论文）。 Zbl 1366.68046号 拉杰夫·阿鲁尔；洛丽斯·达安东尼；约蒂尔莫伊·德什穆克；穆昆德·拉戈塔曼；袁一飞 28 2013 加权时间自动机中的最优路径。 Zbl 1068.68080号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；乔治·J·帕帕斯。 27 2004 流串传感器的表现力。 Zbl 1245.68115号 拉杰夫·阿鲁尔；乔恩，帕沃 26 2010 Java类接口规范的合成。 Zbl 1369.68126号 拉杰夫·阿鲁尔；乔恩，帕沃；马杜苏丹，P。；南黄弘 24 2005 可视下推语言的同余。 Zbl 1085.68079号 拉杰夫·阿鲁尔；维拉吉·库马尔；马杜苏丹，P。；马赫什·维斯瓦纳坦 23 2005 混合系统的算法分析。 Zbl 0823.68067号 阿鲁尔，R。；库库贝蒂斯，C。；亨廷格，T。；何，P。；尼克林，X。；奥利维罗，A。；J.西法基斯。；Yovine，S。 22 1994 通过学习假设进行符号成分验证。 Zbl 1081.68601号 拉杰夫·阿鲁尔；马杜苏丹，P。；南黄弘 21 2005 严格保密。 Zbl 1133.94307号 拉杰夫·阿鲁尔；乔恩，帕沃；史蒂夫·兹丹塞维奇 20 2006 生物分子网络的混合建模与仿真。 Zbl 0993.92010 拉杰夫·阿鲁尔；卡林·贝尔塔；弗兰乔·伊万契奇；维杰·库马尔；马克斯·明茨 20 2002 向单词添加嵌套结构。 Zbl 1227.68045号 拉杰夫·阿鲁尔；马杜苏丹，P。 19 2006 验证：使用神经网络控制器验证混合系统的安全特性。 Zbl 07120152号 拉多斯拉夫·伊万诺夫；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·J·帕帕斯。；李因苏普 18 2019 并发对象的正确性条件的模型检查。 Zbl 1003.68067号 拉杰夫·阿鲁尔；肯·麦克米兰；多龙·贝利德 17 2000 加权时间游戏的最佳可达性。 Zbl 1098.68061号 拉杰夫·阿鲁尔；米哈伊尔·贝尔纳德斯基；马杜苏丹，P。 17 2004 区分非确定性机器和概率机器的测试。 Zbl 0978.68522号 拉杰夫·阿鲁尔；科斯塔斯·库库贝蒂斯；米哈利斯·亚纳卡基斯 17 1995 混合系统的反例引导谓词抽象。 Zbl 1088.68096号 拉杰夫·阿鲁尔；Thao Dang先生；弗兰乔·伊万契奇 16 2006 把文字和树木结合起来。 Zbl 1167.68379号 拉杰夫·阿鲁尔 16 2007 无限字符串的正则变换。 Zbl 1360.68538号 拉杰夫·阿鲁尔；艾曼纽·菲利奥特；阿舒托什·特里维迪 16 2012 MSC图的可实现性和验证。 Zbl 1088.68097号 拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯 15 2005 符号状态空间探索中的部分顺序缩减。 Zbl 1001.68080号 阿鲁尔，R。；布雷顿，R.K。；亨廷格，T.A。；卡迪尔，S。；拉贾马尼，S.K。 15 2001 计算机辅助验证。第八届国际会议，1996年7月31日至8月3日，美国新泽西州新不伦瑞克CAV’96。诉讼程序。 Zbl 1102.68301号 15 1996 回到未来：走向定时正则语言理论。 Zbl 0977.68548号 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。 14 1992 定时和混合系统的模块化。 Zbl 1512.68146号 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。 13 1997 字符串转换的常规组合子。 Zbl 1401.68141号 拉杰夫·阿鲁尔；亚当·弗雷利奇；穆昆德·拉戈塔曼 13 2014 对具有路径等价性的树进行模型检查。 Zbl 1186.68273号 拉杰夫·阿鲁尔；乔恩，帕沃；斯瓦拉特·乔杜里 12 2007 Charon混合系统的模块化规范。 Zbl 0992.93040号 拉杰夫·阿鲁尔；拉杜·格罗苏；嗯，Yerang；维杰·库马尔；李因苏普 12 2000 加性正则函数的判定问题。 Zbl 1335.68113号 拉杰夫·阿鲁尔；穆昆德·拉戈塔曼 12 2013 局部和全局程序流的不动点演算。 Zbl 1370.68051号 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里；马杜苏丹，P。 12 2006 模型检查程序程序。 Zbl 1392.68226号 拉杰夫·阿鲁尔；艾哈迈德·博阿贾尼；哈维尔·埃斯帕尔扎 11 2018 用盒子和钻石玩游戏。 Zbl 1274.68173号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；马杜苏丹，P。 11 2003 非确定性流串传感器。 Zbl 1333.68157号 拉杰夫·阿鲁尔；Jyotirmoy V.德斯穆赫。 11 2011 通过逐次逼近进行计时验证。 兹伯利0939.68705 阿鲁尔，R。；A.伊泰。；库尔山，R.P。；亚纳卡基斯，M。 11 1995 放松守时的好处。 Zbl 1314.68195号 拉杰夫·阿鲁尔；费德，托马斯；托马斯·亨辛格（Thomas A.Henzinger）。 11 1991 嵌套树的语言。 Zbl 1188.68167号 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里；马杜苏丹，P。 10 2006 根据优先需求对自动机和游戏进行排名。 Zbl 1155.68414号 拉杰夫·阿鲁尔；阿迪亚卡纳德；杰拉·韦斯 10 2008 基于学习的符号假设保证推理与自动分解。 兹比尔1161.68578 南黄弘；拉杰夫·阿鲁尔 10 2006 通过分治来缩放枚举程序合成。 兹比尔1452.68043 拉杰夫·阿鲁尔；阿琼·拉德哈克利什纳；阿布谢克·乌杜帕 10 2017 受扰时间自动机。 Zbl 1078.68070号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；马杜苏丹，P。 10 2005 递归状态机分析。 兹比尔0991.68535 拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯 9 2001 混合系统：计算和控制。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。 兹比尔1046.93002 9 2004 多跳控制网络的组合建模和分析。 Zbl 1368.90031号 拉杰夫·阿鲁尔；亚历山德罗·迪安诺琴佐；卡尔·约翰逊。；乔治·J·帕帕斯。；杰拉·韦斯 9 2011 MSC图的可实现性和验证。 Zbl 0986.68518号 拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯 8 2001 基于谓词抽象的混合系统可达性分析。 Zbl 1044.93517号 拉杰夫·阿鲁尔；Thao Dang先生；弗兰乔·伊万契奇 8 2002 流树传感器。 Zbl 1367.68157号 拉杰夫·阿鲁尔；洛丽斯·达安东尼 8 2012 关于由平均值条件定义的欧米伽语。 Zbl 1234.68248号 拉杰夫·阿鲁尔；奥尔德里克·德戈尔；奥德·马勒；杰拉·韦斯 8 2009 高社会福利纳什均衡的特定引导学习。 Zbl 1514.68252号 基绍尔州佐提穆鲁甘；苏古曼·班萨尔；奥斯伯特·巴斯塔尼；拉杰夫·阿鲁尔 7 2022 递归游戏图的模块化策略。 Zbl 1088.68099号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；马杜苏丹，P。 7 2006 混合系统的反例引导谓词抽象。 Zbl 1031.68074号 拉杰夫·阿鲁尔；Thao Dang先生；弗兰乔·伊万契奇 7 2003 基于谓词抽象的混合系统可达性分析研究进展。 Zbl 1032.93033号 拉杰夫·阿鲁尔；Thao Dang先生；弗兰乔·伊万契奇 7 2003 反应合成中假设保证规范的基于模式的细化。 兹比尔1420.68116 拉杰夫·阿鲁尔；萨拉尔·莫拉里夫；乌富克托普库 7 2015 递归状态机的即时可达性和循环检测。 Zbl 1087.68581号 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里；库沙·埃特萨米；马杜苏丹，P。 7 2005 案例研究：使用神经网络控制器验证自动赛车的安全性。 Zbl 07300869号 拉多斯拉夫·伊万诺夫；泰勒·J·卡彭特。；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·J·帕帕斯。；李因苏普 7 2020 流树传感器。 Zbl 1426.68136号 拉杰夫·阿鲁尔；洛丽斯·达安东尼 7 2017 分层混合系统的成分细化。 Zbl 0991.93057号 拉杰夫·阿鲁尔；拉杜·格罗苏；李因苏普；奥列格·索科尔斯基 6 2002 实时系统=离散系统+时钟变量。 Zbl 1060.68605号 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。 6 1997 解决游戏的符号计算技术。 Zbl 1271.68144号 马杜苏丹，P。；南黄弘；拉杰夫·阿鲁尔 6 2003 通过学习假设自动进行符号组合验证。 Zbl 1147.68052号 南黄弘；马杜苏丹，P。；拉杰夫·阿鲁尔 6 2008 同步的时间自适应算法。 Zbl 0874.68130号 拉杰夫·阿鲁尔；哈吉特·阿提亚；加迪·陶本费尔德 6 1997 彩色嵌套单词。 Zbl 1443.68079号 拉杰夫·阿鲁尔；达纳·菲斯曼 6 2016 分层反应机器的模块化细化。 Zbl 1323.68196号 拉杰夫·阿鲁尔；拉杜·格罗苏 6 2000 用于控制和调度的基于自动化的接口。 兹比尔1221.68150 杰拉·韦斯；拉杰夫·阿鲁尔 6 2007 DReX：一种声明性语言，用于有效评估常规字符串转换。 Zbl 1345.68032号 拉杰夫·阿鲁尔；洛丽斯·达安东尼；穆昆德·拉戈塔曼 6 2015 分层混合系统的组合建模和优化。 兹比尔1088.68098 拉杰夫·阿鲁尔；拉杜·格罗苏；李因苏普；奥列格·索科尔斯基 5 2006 共享内存算法的无竞争复杂性。 Zbl 0853.68109号 拉杰夫·阿鲁尔；加迪·陶本费尔德 5 1996 递归图上无限对策的模块化策略。 Zbl 1278.03054号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；马杜苏丹，P。 5 2003 程序程序的时间推理。 兹比尔1273.68078 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里 5 2010 阵列存取程序的算法分析。 Zbl 1351.68149号 拉杰夫·阿鲁尔；乔恩，帕沃；斯科特·温斯坦 5 2012 验证定时系统的抽象。 Zbl 1514.68148号 塔什伊朗，塞尔达尔；拉杰夫·阿鲁尔；罗伯特·P·库尔珊（Robert P.Kurshan）。；罗伯特·K·布雷顿。 4 1996 Verisig 2.0：使用泰勒模型预处理验证神经网络控制器。 Zbl 1493.68211号 拉多斯拉夫·伊万诺夫；泰勒·卡彭特；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·帕帕斯；李因苏普 4 2021 利用行为层次结构进行有效的模型检查。 Zbl 1010.68503号 拉杰夫·阿鲁尔；迈克尔·麦克道格尔；杨紫江 4 2002 “模型测量”的参数时序逻辑。 兹伯利0939.03021 拉杰夫·阿鲁尔；库沙·埃特萨米；萨尔瓦多拉托雷；多龙·贝利德 4 1999 基于自动化的流处理。 Zbl 1442.68077号 拉杰夫·阿鲁尔；康斯坦蒂诺斯·马穆拉斯；斯坦福，卡勒布 4 2017 数据流定量属性的常规编程。 Zbl 1335.68041号 拉杰夫·阿鲁尔；达纳·菲斯曼；穆昆德·拉戈塔曼 4 2016 具有一个状态时钟的GSMP模型的符号分析。 Zbl 1221.93016号 米哈伊尔·伯纳德斯基；拉杰夫·阿鲁尔 4 2007 随机实时系统GSMP模型的有界模型检验。 Zbl 1178.68332号 拉杰夫·阿鲁尔；米哈伊尔·伯纳德斯基 三 2006 递归游戏图的模块化策略。 Zbl 1031.68048号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；帕塔萨拉西马杜苏丹 三 2003 层次反应机的有效可达性分析。 Zbl 0974.68551号 阿鲁尔，R。；R.格鲁苏。；麦克道格尔，M。 三 2000 压缩部分有序字符串。 兹伯利1274.68118 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里；库沙·埃特萨米；苏迪普托·古哈；米哈利斯·亚纳卡基斯 三 2003 定量正则表达式的导数。 Zbl 1431.68056号 拉杰夫·阿鲁尔；康斯坦蒂诺斯·马穆拉斯；多根·乌卢斯 三 2017 具有高社会福利的纳什均衡的规范引导学习。 Zbl 1514.68252号 基绍尔州佐提穆鲁甘；苏古曼·班萨尔；奥斯伯特·巴斯塔尼；拉杰夫·阿鲁尔 7 2022 Verisig 2.0：使用泰勒模型预处理验证神经网络控制器。 Zbl 1493.68211号 拉多斯拉夫·伊万诺夫；泰勒·卡彭特；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·帕帕斯；李因苏普 4 2021 案例研究：使用神经网络控制器验证自动赛车的安全性。 Zbl 07300869号 拉多斯拉夫·伊万诺夫；泰勒·J·卡彭特。；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·J·帕帕斯。；李因苏普 7 2020 可流式常规转导。 Zbl 1436.68157号 拉杰夫·阿鲁尔；达纳·菲斯曼；康斯坦蒂诺斯·马穆拉斯；穆昆德·拉戈塔曼；斯坦福，卡勒布 2 2020 验证：使用神经网络控制器验证混合系统的安全特性。 Zbl 07120152号 拉多斯拉夫·伊万诺夫；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·J·帕帕斯。；李因苏普 18 2019 用于系统设计和分析的连续时间模型。 Zbl 1485.93204号 拉杰夫·阿鲁尔；米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。；Larsen，Kim G。；马吕斯·米库奇奥尼斯 2 2019 模型检查程序程序。 Zbl 1392.68226号 拉杰夫·阿鲁尔；艾哈迈德·博阿贾尼；哈维尔·埃斯帕尔扎 11 2018 通过分治来缩放枚举程序合成。 兹比尔1452.68043 拉杰夫·阿鲁尔；阿琼·拉德哈克利什纳；阿布谢克·乌杜帕 10 2017 流树传感器。 Zbl 1426.68136号 拉杰夫·阿鲁尔；D&rsquo；洛丽斯·安东尼 7 2017 基于自动化的流处理。 Zbl 1442.68077号 拉杰夫·阿鲁尔；康斯坦蒂诺斯·马穆拉斯；斯坦福，卡勒布 4 2017 定量正则表达式的导数。 兹比尔1431.68056 拉杰夫·阿鲁尔；康斯坦蒂诺斯·马穆拉斯；多根·乌卢斯 三 2017 彩色嵌套单词。 Zbl 1443.68079号 拉杰夫·阿鲁尔；达纳·菲斯曼 6 2016 数据流定量属性的常规编程。 Zbl 1335.68041号 拉杰夫·阿鲁尔；达纳·菲斯曼；穆昆德·拉戈塔曼 4 2016 多智能体系统反应控制器的合成综合。 Zbl 1411.68156号 拉杰夫·阿鲁尔；萨拉尔·莫拉里夫；乌富克托普库 三 2016 用参数反应控制器进行合成。 Zbl 1364.93252号 拉杰夫·阿鲁尔；萨拉尔·莫拉里夫；乌富克托普库 1 2016 反应合成中假设保证规范的基于模式的细化。 Zbl 1420.68116号 拉杰夫·阿鲁尔；萨拉尔·莫拉里夫；乌富克托普库 7 2015 DReX：一种声明性语言，用于有效评估常规字符串转换。 Zbl 1345.68032号 拉杰夫·阿鲁尔；D&rsquo；洛丽斯·安东尼；穆昆德·拉戈塔曼 6 2015 字符串转换的常规组合子。 Zbl 1401.68141号 拉杰夫·阿鲁尔；亚当·弗雷利奇；穆昆德·拉戈塔曼 13 2014 常规功能和成本自动登记（特邀论文）。 兹比尔1366.68046 拉杰夫·阿鲁尔；D&rsquo；洛丽斯·安东尼；乔蒂莫·德斯穆赫；穆昆德·拉戈塔曼；袁一飞 28 2013 加性正则函数的判定问题。 兹比尔1335.68113 拉杰夫·阿鲁尔；穆昆德·拉戈塔曼 12 2013 从一元二阶可定义字符串变换到换能器。 Zbl 1366.68133号 拉杰夫·阿鲁尔；安托万杜兰·加塞林；阿舒托什·特里维迪 三 2013 折扣费用图上最短路径问题的复杂性。 Zbl 1377.68092号 拉杰夫·阿鲁尔；桑帕斯·坎南；田凯文；袁一飞 2 2013 有界速率多模系统的安全可调度性。 Zbl 1361.93019号 拉杰夫·阿鲁尔；Forejt，Vojtěch公司；萨拉尔·莫拉里夫；阿舒托什·特里维迪 1 2013 无限字符串的正则变换。 Zbl 1360.68538号 拉杰夫·阿鲁尔；艾曼纽·菲利奥特；阿舒托什·特里维迪 16 2012 流树传感器。 Zbl 1367.68157号 拉杰夫·阿鲁尔；D&rsquo；洛丽斯·安东尼 8 2012 阵列存取程序的算法分析。 Zbl 1351.68149号 拉杰夫·阿鲁尔；乔恩，帕沃；斯科特·温斯坦 5 2012 用于单程列表处理程序算法验证的流式传感器。 Zbl 1284.68159号 拉杰夫·阿鲁尔；乔恩，帕沃 28 2011 非确定性流串传感器。 Zbl 1333.68157号 拉杰夫·阿鲁尔；Jyotirmoy V.德斯穆赫。 11 2011 多跳控制网络的组合建模和分析。 Zbl 1368.90031号 拉杰夫·阿鲁尔；D&rsquo；亚历山德罗·因诺琴佐；卡尔·约翰逊。；乔治·J·帕帕斯。；杰拉·韦斯 9 2011 串流式管柱换能器的表现力。 Zbl 1245.68115号 拉杰夫·阿鲁尔；乔恩，帕沃 26 2010 程序程序的时间推理。 兹比尔1273.68078 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里 5 2010 向单词添加嵌套结构。 Zbl 1325.68138号 拉杰夫·阿鲁尔；马杜苏丹，P。 96 2009 关于由平均值条件定义的欧米伽语。 Zbl 1234.68248号 拉杰夫·阿鲁尔；奥尔德里克·德戈尔；奥德·马勒；杰拉·韦斯 8 2009 阵列存取程序的算法分析。 Zbl 1257.68102号 拉杰夫·阿鲁尔；乔恩，帕沃；斯科特·温斯坦 1 2009 控制系统网络资源需求的规范和分析。 Zbl 1237.93116号 杰拉·韦斯；塞巴斯蒂安·费奇迈斯特；马杜卡尔·阿南德；拉杰夫·阿鲁尔 1 2009 嵌套单词的一阶逻辑和时序逻辑。 Zbl 1159.03018号 拉杰夫·阿鲁尔；马塞洛·阿里纳斯；巴勃罗·巴切罗；库沙·埃特萨米；尼尔·伊梅尔曼；列昂尼德·利布金 29 2008 根据优先需求对自动机和游戏进行排名。 Zbl 1155.68414号 拉杰夫·阿鲁尔；阿迪蒂亚·卡纳德；杰拉·韦斯 10 2008 通过学习假设自动进行符号组合验证。 Zbl 1147.68052号 南黄弘；马杜苏丹，P。；拉杰夫·阿鲁尔 6 2008 把文字和树木结合起来。 兹比尔1167.68380 拉杰夫·阿鲁尔 2 2008 模型检验：从工具到理论。 Zbl 1142.68429号 拉杰夫·阿鲁尔 2 2008 把文字和树木结合起来。 Zbl 1167.68379号 拉杰夫·阿鲁尔 16 2007 对具有路径等价性的树进行模型检查。 Zbl 1186.68273号 拉杰夫·阿鲁尔；乔恩，帕沃；斯瓦拉特·乔杜里 12 2007 用于控制和调度的基于自动化的接口。 Zbl 1221.68150号 杰拉·韦斯；拉杰夫·阿鲁尔 6 2007 具有一个状态时钟的GSMP模型的符号分析。 Zbl 1221.93016号 米哈伊尔·伯纳德斯基；拉杰夫·阿鲁尔 4 2007 用于软件模型检查的逻辑和自动机。 Zbl 1135.68033号 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里 1 2007 严格保密。 Zbl 1133.94307号 拉杰夫·阿鲁尔；乔恩，帕沃；史蒂夫·兹丹塞维奇 20 2006 向单词添加嵌套结构。 Zbl 1227.68045号 拉杰夫·阿鲁尔；马杜苏丹，P。 19 2006 混合系统的反例引导谓词抽象。 Zbl 1088.68096号 拉杰夫·阿鲁尔；Thao Dang先生；弗兰乔·伊万契奇 16 2006 局部和全局程序流的不动点演算。 Zbl 1370.68051号 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里；马杜苏丹，P。 12 2006 嵌套树的语言。 兹比尔1188.68167 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里；马杜苏丹，P。 10 2006 基于学习的符号假设保证推理与自动分解。 兹比尔1161.68578 南黄弘；拉杰夫·阿鲁尔 10 2006 递归游戏图的模块化策略。 Zbl 1088.68099号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；马杜苏丹，P。 7 2006 分层混合系统的组合建模和优化。 Zbl 1088.68098号 拉杰夫·阿鲁尔；拉杜·格罗苏；李因苏普；奥列格·索科尔斯基 5 2006 随机实时系统GSMP模型的有界模型检验。 Zbl 1178.68332号 拉杰夫·阿鲁尔；米哈伊尔·伯纳德斯基 三 2006 Java类接口规范的合成。 Zbl 1369.68126号 拉杰夫·阿鲁尔；乔恩，帕沃；马杜苏丹，P。；南黄弘 24 2005 可视下推语言的同余。 Zbl 1085.68079号 拉杰夫·阿鲁尔；维拉吉·库马尔；马杜苏丹，P。；马赫什·维斯瓦纳坦 23 2005 通过学习假设进行符号成分验证。 Zbl 1081.68601号 拉杰夫·阿鲁尔；马杜苏丹，P。；南黄弘 21 2005 MSC图的可实现性和验证。 Zbl 1088.68097号 拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯 15 2005 受扰时间自动机。 Zbl 1078.68070号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；马杜苏丹，P。 10 2005 递归状态机的即时可达性和循环检测。 Zbl 1087.68581号 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里；库沙·埃特萨米；马杜苏丹，P。 7 2005 直观的下推语言。 Zbl 1192.68396号 拉杰夫·阿鲁尔；马杜苏丹，P。 152 2004 嵌套调用和返回的时间逻辑。 Zbl 1126.68466号 拉杰夫·阿鲁尔；库沙·埃特萨米；马杜苏丹，P。 45 2004 时间自动机的决策问题：一项调查。 Zbl 1105.68057号 拉杰夫·阿鲁尔；马杜苏丹，P。 33 2004 LTL碎片的确定性生成器和游戏。 兹伯利1366.03181 拉杰夫·阿鲁尔；萨尔瓦多拉托雷 31 2004 加权时间自动机中的最优路径。 Zbl 1068.68080号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；乔治·J·帕帕斯。 27 2004 加权计时游戏的最佳可达性。 Zbl 1098.68061号 拉杰夫·阿鲁尔；米哈伊尔·伯纳德斯基；马杜苏丹，P。 17 2004 混合系统：计算和控制。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。 兹比尔1046.93002 9 2004 计算机辅助验证。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。 兹比尔1056.68003 2 2004 并发随机混合系统的结构化建模。 Zbl 1109.68510号 米哈伊尔·伯纳德斯基；Raman Sharykin女士；拉杰夫·阿鲁尔 2 2004 用盒子和钻石玩游戏。 Zbl 1274.68173号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；马杜苏丹，P。 11 2003 混合系统的反例引导谓词抽象。 Zbl 1031.68074号 拉杰夫·阿鲁尔；Thao Dang先生；弗兰乔·伊万契奇 7 2003 基于谓词抽象的混合系统可达性分析研究进展。 Zbl 1032.93033号 拉杰夫·阿鲁尔；Thao Dang先生；弗兰乔·伊万契奇 7 2003 解决游戏的符号计算技术。 Zbl 1271.68144号 马杜苏丹，P。；南黄弘；拉杰夫·阿鲁尔 6 2003 递归图上无限对策的模块化策略。 Zbl 1278.03054号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；马杜苏丹，P。 5 2003 递归游戏图的模块化策略。 Zbl 1031.68048号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；帕塔萨拉西马杜苏丹 三 2003 部分有序字符串的压缩。 Zbl 1274.68118号 拉杰夫·阿鲁尔；斯瓦拉特·乔杜里；库沙·埃特萨米；苏迪普托·古哈；米哈利斯·亚纳卡基斯 三 2003 嵌入式软件。第三届国际会议，EMSOFT 2003，美国宾夕法尼亚州费城，2003年10月13-15日。诉讼程序。 Zbl 1028.00023号 1 2003 层次状态机的形式化分析。 Zbl 1274.68172号 拉杰夫·阿鲁尔 1 2003 交替时间时序逻辑。 Zbl 1326.68181号 拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。；奥尔纳·库普弗曼 329 2002 加权时间自动机中的最优路径。 Zbl 0991.93076号 拉杰夫·阿鲁尔；萨尔瓦多拉托雷；乔治·J·帕帕斯。 50 2002 生物分子网络的混合建模与仿真。 Zbl 0993.92010 拉杰夫·阿鲁尔；卡林·贝尔塔；弗兰乔·伊万契奇；维杰·库马尔；马克斯·明茨 20 2002 基于谓词抽象的混合系统可达性分析。 Zbl 1044.93517号 拉杰夫·阿鲁尔；Thao Dang先生；弗兰乔·伊万契奇 8 2002 分层混合系统的组合精化。 Zbl 0991.93057号 拉杰夫·阿鲁尔；拉杜·格罗苏；李因苏普；奥列格·索科尔斯基 6 2002 利用行为层次结构进行有效的模型检查。 兹比尔1010.68503 拉杰夫·阿鲁尔；迈克尔·麦克道格尔；杨紫江 4 2002 “模型测量”的参数时序逻辑。 Zbl 1171.68544号 拉杰夫·阿鲁尔；库沙·埃特萨米；萨尔瓦多拉托雷；多龙·贝利德 30 2001 符号状态空间探索中的部分顺序缩减。 Zbl 1001.68080号 阿鲁尔，R。；布雷顿，R.K。；亨廷格，T.A。；卡迪尔，S。；拉贾马尼，S.K。 15 2001 递归状态机分析。 Zbl 0991.68535号 拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯 9 2001 MSC图的可实现性和验证。 Zbl 0986.68518号 拉杰夫·阿鲁尔；库沙·埃特萨米；米哈利斯·亚纳卡基斯 8 2001 通过符号细化检查验证网络协议实现。 Zbl 0991.68546号 拉杰夫·阿鲁尔；王，弯腰 2 2001 利用应用程序到模型检查进行分层分区的启发式方法。 Zbl 1002.68509号 莫勒，M.奥利弗；拉杰夫·阿鲁尔 2 2001 嵌入式系统的分层混合建模。 Zbl 1050.68508号 阿鲁尔，R。；唐，T。；J·埃斯波西托。；R·费罗。；Y.Hur。；Ivančić，F。；V.库马尔。；李，我。；米什拉，P。；巴帕斯，G。；O.索科尔斯基。 1 2001 并发对象正确性条件的模型检查。 Zbl 1003.68067号 拉杰夫·阿鲁尔；肯·麦克米兰；多龙·贝利德 17 2000 Charon混合系统的模块化规范。 Zbl 0992.93040号 拉杰夫·阿鲁尔；拉杜·格罗苏；嗯，Yerang；维杰·库马尔；李因苏普 12 2000 分层反应机器的模块化细化。 Zbl 1323.68196号 拉杰夫·阿鲁尔；拉杜·格罗苏 6 2000 层次反应机的有效可达性分析。 Zbl 0974.68551号 阿鲁尔，R。；R.格鲁苏。；麦克道格尔，M。 三 2000 利用层次结构进行有效的形式验证。 兹比尔0999.68559 拉杰夫·阿鲁尔 1 2000 定时自动机。 Zbl 0957.68052号 拉杰夫·阿鲁尔 1 2000 事件锁自动机：时间自动机的一个可确定类。 Zbl 0912.68132号 拉杰夫·阿鲁尔；菲克斯，利莫；托马斯·亨辛格（Thomas A.Henzinger）。 50 1999 定时自动机。 兹比尔1046.68574 拉杰夫·阿鲁尔 32 1999 “模型测量”的参数时序逻辑。 兹伯利0939.03021 拉杰夫·阿鲁尔；库沙·埃特萨米；萨尔瓦多拉托雷；多龙·贝利德 4 1999 …以及另外25个文档 所有引用出版物 前5名被引用出版物 全部的 前5名2713位作者引用 48 金·古德斯特兰·拉森 43 托马斯·亨辛格（Thomas A.Henzinger）。 39 帕特里夏·鲍耶 33 尼古拉斯·马基 30 克里希南德·查特吉 28 劳拉·博泽利 27 奥尔纳·库普弗曼 24 奥斯卡·H·伊巴拉。 24 莱姆，迪迪埃 24 阿尼埃洛·穆拉诺 22 拉杰夫·阿鲁尔 21 迈克尔·J·伍尔德里奇。 20 埃蒂安·安德烈 20 Legay、Axel 20 Jean-François拉斯金 19 托马斯·布里海耶 19 当、哲 19 保罗·加斯丁 19 桑卡拉·纳拉亚南·克里希纳 19 Marta Z.Kwiatkowska。 18 贝内迪克特·博利格 18 皮埃尔·阿莱·雷尼尔 18 奥利维尔·H·鲁克斯。 17 普拉德拉，马泰奥 16 尤金·亚萨林 15 乌里·法伦贝格 15 朱利安·古铁雷斯 15 迪诺·曼德里奥利 15 Angelo蒙塔纳里 15 苏菲·平奇纳特 15 马丁·齐默尔曼 14 阿夫尼，盖伊 14 Joost-Pieter卡托恩 14 Kai T.Salomaa。 13 托马斯·奥戈特内斯 13 贝拉德，贝特里奇 13 Stéphane P.德姆里。 13 艾曼纽·菲利奥特 13 萨尔瓦多拉托雷 13 奥德·马勒 13 格钦·诺曼 13 斯文·舍韦 13 杰里米·斯普洛斯顿 12 沃伊切赫·贾姆罗加 12 拉诺特、拉格罗 12 安德烈亚·马吉奥洛·谢蒂尼 12 法比奥·莫加维罗 12 安卡·穆斯科尔 12 亚历山大·奥霍金 12 阿德里亚诺·佩隆 12 卡琳·夸斯 12 莫西·亚亚科夫·瓦尔迪 12 詹姆斯·沃雷尔。 11 阿克西，S。 11 艾哈迈德·博阿贾尼 11 劳伦特·多恩 11 曼弗雷德·德罗斯特 11 乔治·J·帕帕斯。 11 朱塞佩·佩雷利 11 马克·亚历山大·雷诺兹 11 吉·斯尔巴 11 詹乃军 10 克里斯特尔·拜尔 10 卢卡·博托卢西 10 蒂埃里·杰伦 10 马丁·库特里布 10 马丁·兰格 10 菲利普·马佐维耶基 10 约阿希姆·尼伦 10 亚历山大·拉比诺维奇 10 罗西（Matteo A.C.Rossi）。 10 斯塔夫罗斯·特里帕基斯 10 范德霍克，威比 10 马赫什·维斯瓦纳坦 9 帕罗什·阿齐兹·阿卜杜拉 9 娜塔莎·亚历奇纳 9 Nathalie Bertrand 9 Broersen，Jan M。 9 弗兰克·卡塞兹 9 Thao Dang先生 9 伯恩德·芬克贝纳 9 达纳·菲斯曼 9 安托万·吉拉德 9 安德烈亚斯·马尔彻 9 乔尔·欧·瓦克宁。 9 帕里托什·K·潘迪亚。 9 卡拉广场 9 尼尔·皮特曼 9 帕维特拉·普拉巴卡 9 奥坎·桑库尔 8 亚历山德罗·阿巴特 8 Marcelo Maria贝尔萨尼 8 柯特林·迪马 8 Fränzle，马丁 8 奥利维尔，高文 8 吉勒·杰勒茨 8 瓦伦丁·F·戈兰科。 8 彼得·哈贝梅尔 8 本特·琼森 8 安德烈亚斯·克雷布斯 …还有2613位作者 全部的 前5名127篇连载文章中引用 245 理论计算机科学 144 信息与计算 91 系统设计中的形式化方法 49 计算的形式方面 46 计算机科学中的逻辑方法 45 人工智能 39 信息学报 36 计算机与系统科学杂志 34 离散事件动态系统 32 信息处理信件 29 Automatica公司 28 国际计算机科学基础杂志 28 逻辑与代数程序设计杂志 27 非线性分析。混合动力系统 27 程序设计中的逻辑和代数方法杂志 19 实时系统 17 ACM计算逻辑汇刊 15 计算系统理论 12 合成 12 应用逻辑杂志 11 国际控制杂志 11 分布式计算 10 自动推理杂志 10 MSCS公司。计算机科学中的数学结构 10 逻辑、语言与信息杂志 9 Studia Logica公司 9 纯逻辑与应用逻辑年鉴 9 应用非经典逻辑杂志 9 欧洲控制杂志 9 计算机基础理论 8 计算机程序设计科学 7 计算机科学与技术杂志 6 哲学逻辑杂志 6 非线性分析。理论、方法和应用。系列A：理论与方法 6 编程和计算机软件 6 系统和控制信件 6 数学与人工智能年鉴 6 符号逻辑述评 5 信息科学 5 国际近似推理杂志 5 机器学习 5 控制论与系统分析 5 美国计算机学会期刊 5 RAIRO公司。理论信息学及其应用 5 RAIRO公司。理论信息学及其应用 5 计算机科学前沿 4 应用数学与计算 4 国际鲁棒非线性控制杂志 4 应用数学杂志 4 萨达纳 4 国际系统科学杂志。系统与集成原理与应用 4 Modelirovanie i Analiz信息系统 三 国际通用系统杂志 三 SIAM控制与优化杂志 三 符号计算杂志 三 算法 三 逻辑程序设计理论与实践 三 自然计算 三 计算机科学评论 2 计算机与数学及其应用 2 国际系统科学杂志 2 富兰克林学院学报 2 符号逻辑杂志 2 模拟中的数学和计算机 2 复杂性杂志 2 维斯特尼克圣彼得堡大学。数学 2 符号逻辑公报 2 摘要与应用分析 2 软计算 2 高阶和符号计算 2 国际博弈论综述 2 系统科学与复杂性杂志 2 计算机语言、系统和结构 2 韩国统计学会杂志 2 计算机科学中的数学 2 游戏 2 中国计算机科学前沿 1 倒排索引综述 1 离散应用数学 1 离散数学 1 统计物理学杂志 1 信息传输问题 1 计算 1 模糊集与系统 1 计量经济学杂志 1 凯贝内提卡 1 圣母院形式逻辑杂志 1 SIAM计算机杂志 1 国际生产研究杂志 1 物理D 1 国际并行程序设计杂志 1 国际智能系统杂志 1 数学和计算机建模 1 MCSS公司。控制、信号和系统数学 1 人工智能通信 1 杰泰。实验与理论人工智能杂志 1 国际代数与计算杂志 1 模式识别 1 数学逻辑季刊（MLQ） 1 人工智能研究杂志 ……还有27部连续剧 全部的 前5名34个领域被引用 1,851 计算机科学（68至XX） 530 数学逻辑和基础（03-XX） 260 系统论；控制（93至XX） 198 博弈论、经济学、金融和其他社会和行为科学（91-XX） 64 运筹学、数学规划（90-XX） 48 生物学和其他自然科学（92-XX） 24 信息与通信理论、电路（94-XX） 21 常微分方程（34-XX） 20 组合数学（05-XX） 20 概率论与随机过程（60-XX） 15 动力系统和遍历理论（37至XX） 14 数值分析（65-XX） 9 线性代数和多线性代数；矩阵理论（15-XX） 7 数论（11-XX） 7 变分法与最优控制；最优化（49至XX） 5 范畴理论；同调代数（18-XX） 5 群论与推广（20-XX） 4 总体主题；集合（00-XX） 4 阶、格、有序代数结构（06-XX） 4 一般拓扑结构（54-XX） 4 统计学（62-XX） 三 粒子和系统力学（70-XX） 2 结合环与代数（16-XX） 2 测量和集成（28-XX） 2 算子理论（47-XX） 2 相对论和引力理论（83-XX） 1 拓扑群、李群（22日至XX日） 1 复变量的函数（30年XX月） 1 近似和展开（41至XX） 1 凸和离散几何（52至XX） 1 微分几何（53至XX） 1 流形和细胞复合体（57至XX） 1 量子理论（81-XX） 1 统计力学，物质结构（82-XX） 按年份列出的引文