阿纳布·巴塔查里亚；阿什图什·古普塔；拉克希曼·库普萨米；索米亚·马尼；安吉特·舒克拉；斯利瓦斯，曼达扬；穆昆德·塔泰 预测真核生物囊泡交通系统新特征的形式化方法。 （英语） Zbl 1512.92022号 学报信息。 58，编号1-2，57-93（2021）.MSC公司：92立方37 05C90年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bhattacharyya}等人，《信息学报》58，第1--2期，第57-93页（2021年；Zbl 1512.92022年） 全文： 内政部
查克拉波蒂，苏普拉特克；阿什图什·古普塔；拉胡尔·贾恩 位向量公式中的匹配乘法。 （英语） Zbl 1484.68098号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 131-150 (2017).MSC公司：60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人，Lect。注释计算。科学。10145131-150（2017；Zbl 1484.68098） 全文： 内政部 arXiv公司