马杜苏丹,P。;Gennaro帕拉托;邱晓康 结合堆结构和数据的可决定逻辑。 (英语) Zbl 1284.68411号 2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。611-622 (2011).MSC公司:60年第68季度 03B70号 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Madhusudan}et al.,in:第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’11,美国德克萨斯州奥斯汀,2011年1月26-28日。纽约州纽约市:计算机协会(ACM)。611--622(2011;Zbl 1284.68411) 全文: 内政部 链接
马杜苏丹,P。;Gennaro帕拉托 辅助存储器的树宽度。 (英语) Zbl 1284.68358号 2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。283-294 (2011).MSC公司:65年第68季度 05二氧化碳 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Madhusudan}和\textit{G.Parlato},摘自:第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL'11,美国德克萨斯州奥斯汀,2011年1月26-28日。纽约州纽约市:计算机协会(ACM)。283-294(2011;Zbl 1284.68358) 全文: 内政部 链接
帕塔萨拉西马杜苏丹 合成反应性程序。 (英语) Zbl 1247.68058号 Marc Bezem(编辑),《计算机科学逻辑》(CSL’11)。2011年9月12日至15日,第25届国际研讨会,EACSL第20届年会,挪威卑尔根。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-939897-32-3)。LIPIcs–莱布尼茨国际信息学会议录12,428-442,仅电子版(2011年)。MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Madhusudan},LIPIcs——莱布尼茨国际程序。通知。12、428--442(2011;Zbl 1247.68058) 全文: 内政部 链接
拉杰夫·阿鲁尔;马杜苏丹,P。 向单词添加嵌套结构。 (英语) Zbl 1325.68138号 美国临床医学杂志 第56号第3条第16条第43页(2009年).MSC公司:60年第68季度 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{P.Madhusudan},J.ACM 56,第3号,第16条,43页(2009;Zbl 1325.68138) 全文: 内政部
南黄弘;马杜苏丹,P。;拉杰夫·阿鲁尔 通过学习假设自动进行符号组合验证。 (英语) Zbl 1147.68052号 形式方法系统。设计。 32,第3期,207-234(2008).MSC公司:60年第68季度 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Nam}等人,《形式方法系统》。设计。32,第3号,207--234(2008;Zbl 1147.68052) 全文: 内政部
拉杰夫·阿鲁尔;斯瓦拉特·乔杜里;马杜苏丹,P。 局部和全局程序流的不动点演算。 (英语) Zbl 1370.68051号 2006年1月11日至13日在美国南卡罗来纳州查尔斯顿举行的第33届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-027-2)。153-165(2006年)。MSC公司:68号30 03B45号 03B70号 65年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,摘自:第33届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'06,查尔斯顿,南卡罗来纳州,美国,2006年1月11-13日。纽约州纽约市:计算机协会(ACM)。153-165(2006年;兹bl 1370.68051) 全文: 内政部 链接
拉杰夫·阿鲁尔;斯瓦拉特·乔杜里;马杜苏丹,P。 嵌套树的语言。 (英语) Zbl 1188.68167号 Ball,Thomas(编辑)等人,《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。计算机科学讲义4144329-342(2006)。MSC公司:65年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。4144329-342(2006年;兹比尔1188.68167) 全文: 内政部
维拉吉·库马尔;马杜苏丹,P。;马赫什·维斯瓦纳坦 布尔程序的最小化、学习和一致性测试。 (英语) Zbl 1151.68484号 Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137203-217(2006)。MSC公司:60年第68季度 68号30 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Kumar}等人,Lect。注释计算。科学。4137203-217(2006年;Zbl 1151.68484) 全文: 内政部 链接
拉杰夫·阿鲁尔;马杜苏丹,P。;南黄弘 通过学习假设进行符号成分验证。 (英语) Zbl 1081.68601号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576548-562(2005)。MSC公司:60年第68季度 68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。3576、548--562(2005;Zbl 1081.68601) 全文: 内政部
拉杰夫·阿鲁尔;马杜苏丹,P。 直观的下推语言。 (英语) Zbl 1192.68396号 2004年6月13日至15日,美国伊利诺伊州芝加哥举行的第36届ACM计算理论年会(STOC 2004)会议记录。纽约州纽约市:ACM出版社(ISBN 1-58113-852-0)。202-211,仅电子版(2004年)。MSC公司:2012年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{P.Madhusudan},摘自:第36届ACM计算理论年会论文集,STOC 2004。美国伊利诺伊州芝加哥,2004年6月13日至15日。纽约,纽约:ACM出版社。202-211(2004;Zbl 1192.68396) 全文: 内政部 链接
克里斯托夫·Löding;马杜苏丹,P。;奥利维尔·塞雷 明显的下推游戏。 (英语) Zbl 1117.68409号 Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328,408-420(2004)。MSC公司:65年第68季度 60年第68季度 91A43型 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{C.Löding}等人,Lect。注释计算。科学。3328408--420(2004年;Zbl 1117.68409) 全文: 内政部
拉杰夫·阿鲁尔;萨尔瓦多拉托雷;马杜苏丹,P。 递归图上无限对策的模块化策略。 (英语) 兹比尔1278.03054 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 67-79 (2003).MSC公司:03B70号 05年3月 2017年第68季度 65年第68季度 60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。2725、67--79(2003年;Zbl 1278.03054) 全文: 内政部
迪帕克D’Souza;马杜苏丹,P。 外部规范的定时控制合成。 (英语) Zbl 1054.93502号 Alt,Helmut(编辑)等人,STACS 2002。第19届计算机科学理论方面年度研讨会。2002年3月14日至16日,法国安提布斯-胡安莱斯·平斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43283-3)。莱克特。注释计算。科学。2285, 571-582 (2002).MSC公司:93亿B50 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D'Souza}和\textit{P.Madhusudan},莱克特。注释计算。科学。228571-582(2002年;Zbl 1054.93502) 全文: 链接
马丁·勒克;马杜苏丹,P。;Supratik Mukhopadhyay公司 动态消息序列图。 (英语) Zbl 1027.68082号 Agrawal,Manindra(编辑)等人,FST TCS 2002:软件技术和理论计算机科学基础。第二十二届会议,印度坎普尔,2002年12月12日至14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2556, 253-264 (2002).MSC公司:60年第68季度 68问题85 65年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{M.Leucker}等人,Lect。注释计算。科学。2556253--264(2002;Zbl 1027.68082) 全文: 链接