拉杰夫·阿鲁尔;约瑟夫·德维埃蒂;奥马尔·纳瓦罗·莱娅;尼米特·辛哈尼亚 GPU程序中未恢复访问的静态检测。 (英语) Zbl 1522.68140号 形式方法系统。设计。 60,编号1,1-32(2022).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。60,编号1,1--32(2022;Zbl 1522.68140) 全文: 内政部
拉杰夫·阿鲁尔;达纳·菲斯曼 彩色嵌套单词。 (英语) Zbl 1492.68076号 形式方法系统。设计。 58,第3期,347-374(2021).MSC公司:65年第68季度 68号30 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Fisman},《形式方法系统》。设计。58,编号3,347--374(2021;Zbl 1492.68076) 全文: 内政部
南黄弘;马杜苏丹,P。;拉杰夫·阿鲁尔 通过学习假设自动进行符号组合验证。 (英语) Zbl 1147.68052号 形式方法系统。设计。 32,编号3207-234(2008).MSC公司:60年第68季度 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Nam}等人,《形式方法系统》。设计。32,第3号,207--234(2008;Zbl 1147.68052) 全文: 内政部
拉杰夫·阿鲁尔(编辑);乔治·帕帕斯。(编辑) 特刊:根据2004年3月25日至27日在美国费城举行的第七届混合动力系统和控制国际会议(HSCC 2004)上的演讲,精选论文。 (英语) Zbl 1141.68302号 形式方法系统。设计。32,第1期,第83页。(2008). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 决定全局偏序属性。 (英语) Zbl 1075.68050号 形式方法系统。设计。 26,第1期,7-25(2005).MSC公司:60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。26,第1号,第7--25号(2005;Zbl 1075.68050) 全文: 内政部 链接
拉杰夫·阿鲁尔;桑帕斯·坎南;萨尔瓦多拉托雷 混合自动机中的多面体流。 (英语) 兹比尔1073.68038 形式方法系统。设计。 24,第3期,261-280(2004).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。24,第3号,261--280(2004;Zbl 1073.68038) 全文: 内政部
阿鲁尔,R。;布雷顿,R.K。;亨廷格,T.A。;卡迪尔,S。;拉贾马尼,S.K。 符号状态空间探索中的部分顺序缩减。 (英语) Zbl 1001.68080号 形式方法系统。设计。 18,第2期,97-116(2001).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。18,第2号,97--116(2001;Zbl 1001.68080) 全文: 内政部