拉杰夫·阿鲁尔;艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎 模型检查程序程序。 （英语） Zbl 1392.68226号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。541-572 (2018).MSC公司：第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛R.Alur｝等人，在：模型检查手册中。查姆：斯普林格。541--572（2018；Zbl 1392.68226） 全文： 内政部 链接
拉杰夫·阿鲁尔;萨拉尔·莫拉里夫;乌富克托普库 多智能体系统反应控制器的合成和符号合成。 （英语） Zbl 1395.68267号 Inf.计算。 261，第4部分，616-633（2018）.MSC公司：第68页第42页 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《信息计算》。261，第4部分，616--633（2018；Zbl 1395.68267） 全文： 内政部
拉杰夫·阿鲁尔;乔恩，帕沃;斯科特·温斯坦 阵列存取程序的算法分析。 （英语） Zbl 1257.68102号 Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿577186-101（2009）。MSC公司：第68季度第60季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Alur｝等人，Lect。注释计算。科学。5771、86--101（2009年；Zbl 1257.68102） 全文： 内政部 链接
拉杰夫·阿鲁尔;奥尔德里克·德戈尔;奥德·马勒;杰拉·韦斯 关于由平均值条件定义的欧米伽语。 （英语） Zbl 1234.68248号 de Alfaro，Luca（编辑），软件科学和计算结构基础。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学讲座笔记5504333-347（2009）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Alur｝等人，Lect。注释计算。科学。5504333-347（2009年；Zbl 1234.68248） 全文： 内政部
拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹，P。 递归游戏图的模块化策略。 （英语） Zbl 1088.68099号 西奥。计算。科学。 354，第2期，230-249（2006）.MSC公司：第68季度第60季度 91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Theor。计算。科学。354，编号2，230--249（2006；Zbl 1088.68099） 全文： 内政部 链接
拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 决定全局偏序属性。 （英语） Zbl 1075.68050号 形式方法系统。设计。 26，第1期，7-25（2005）.MSC公司：第68季度第60季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《形式方法系统》。设计。26，第1号，第7--25号（2005；Zbl 1075.68050） 全文： 内政部 链接
拉杰夫·阿鲁尔;萨尔瓦多拉托雷;乔治·J·帕帕斯。 加权时间自动机中的最优路径。 （英语） Zbl 1068.68080号 西奥。计算。科学。 318，第3期，297-322（2004）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Theor。计算。科学。318，第3号，297--322（2004；Zbl 1068.68080） 全文： 内政部
拉杰夫·阿鲁尔;多龙·贝利德 偏序逻辑的不可解释性。 （英语） Zbl 1338.68165号 信息处理。莱特。 69，第3期，137-143（1999）.MSC公司：第68季度第60季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Peled}，Inf.过程。莱特。69，第3号，137--143（1999；Zbl 1338.68165） 全文： 内政部 链接
拉杰夫·阿鲁尔;菲克斯，利莫;托马斯·亨辛格（Thomas A.Henzinger）。 事件锁自动机：时间自动机的一个可确定类。 （英语） Zbl 0912.68132号 西奥。计算。科学。 211，编号1-2，253-273（1999）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Theor。计算。科学。211，编号1--2，253--273（1999；Zbl 0912.68132） 全文： 内政部
拉杰夫·阿鲁尔;托马斯·亨辛格（Thomas A.Henzinger）。 定时和混合系统的模块化。 （英语） 兹比尔1512.68146 Mazurkiewicz，Antoni（编辑）等人，CONCUR’97：并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1243, 74-88 (1997).MSC公司：第68季度第60季度 68问题85 91A80型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{T.A.Henzinger}，莱克特。注释计算。科学。1243、74-88（1997年；Zbl 1512.68146） 全文： 内政部
拉杰夫·阿鲁尔;Taubenfeld，加迪 基于快速计时的算法。 （英语） Zbl 1448.68466号 分布计算。 10，第1期，1-10（1996）.MSC公司：68宽15 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{G.Taubenfeld}，分布计算。10，第1号，1-10（1996；Zbl 1448.68466） 全文： 内政部
拉杰夫·阿鲁尔;大卫·L·迪尔。 时间自动机理论。 （英语） Zbl 0803.68071号 西奥。计算。科学。 126，第2期，183-235（1994）.MSC公司：65年第68季度 第68季度第60季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.L.Dill}，Theor。计算。科学。126，第2号，183--235（1994；Zbl 0803.68071） 全文： 内政部