桑卡拉·纳拉亚南·克里希纳；库什拉伊·马德纳尼；帕里托什·K·潘迪亚。 逻辑满足1时钟交替时间自动机。 （英语） Zbl 1520.03001号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第39条，第17页（2018年）。MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Krishna}等人，LIPIcs——莱布尼茨国际程序。通知。118，第39条，第17页（2018；兹bl 1520.03001） 全文： 内政部
桑卡拉·纳拉亚南·克里希纳；库什拉伊·马德纳尼；帕里托什·K·潘迪亚。 使度量时态逻辑合理化。 （英语） Zbl 1441.03018号 Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第77条，第14页（2017年）。MSC公司：03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Krishna}等人，LIPIcs——莱布尼茨国际程序。通知。83，第77条，第14页（2017；Zbl 1441.03018） 全文： 内政部 arXiv公司
S.Ajesh巴布；帕里托什·K·潘迪亚。 Chop表达式和离散持续时间演算。 （英语） Zbl 1256.68096号 D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，229-256（2012）。MSC公司：65年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Babu}和\textit{P.K.Pandya}，IISc Res.Monogr。序列号。229--256（2012；Zbl 1256.68096） 全文： 内政部
帕里托什·K·潘迪亚。；P.Vijay苏曼 时间自动机简介。 （英语） Zbl 1256.68111号 D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，111-146（2012）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{P.V.Suman}，IISc Res.Monogr。序列号。2111-146（2012；Zbl 1256.68111） 全文： 内政部