阿克沙伊,S。;帕特里夏·鲍耶;桑卡拉·纳拉亚南·克里希纳;拉克希米·马纳萨;阿舒托什·特里维迪 重温随机计时游戏。 (英语) Zbl 1398.91054号 Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社(ISBN 978-3-95977-016-3)。LIPIcs–莱布尼茨国际信息学学报58,第8条,第14页(2016年)。MSC公司:91A15型 65年第68季度 91年5月 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,LIPIcs——莱布尼茨国际期刊。通知。58,第8条,第14页(2016;Zbl 1398.91054) 全文: 内政部 arXiv公司
什巴希斯·古哈;桑卡拉·纳拉亚南·克里希纳;拉克希米·马纳萨;阿舒托什·特里维迪 重新审视定价时间游戏的稳健性。 (英语) Zbl 1366.68145号 Harsha,Prahladh(编辑)等人,第35届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16-18日。诉讼程序。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,261-277(2015)。MSC公司:65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Guha}等人,LIPIcs——莱布尼茨国际期刊。通知。45、261--277(2015;Zbl 1366.68145) 全文: 内政部 arXiv公司
桑卡拉·纳拉亚南·克里希纳;拉克希米·马纳萨;阿舒托什·特里维迪 递归时间自动机的时限可达性问题是不可判定的。 (英语) Zbl 1451.68151号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8977, 237-248 (2015).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Krishna}等人,Lect。票据计算。科学。8977,237--248(2015;Zbl 1451.68151) 全文: 内政部 arXiv公司
拉克希米·马纳萨;桑卡拉·纳拉亚南·克里希纳;钦梅耆那岛 模型检查加权整数重置时间自动机。 (英语) Zbl 1217.68139号 理论计算。系统。 48,第3期,648-679(2011).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Manasa}等人,理论计算。系统。48,第3号,648--679(2011;Zbl 1217.68139) 全文: 内政部