周军;拉马纳森,R。;Wong,翁辉;蒂亚加拉扬,P.S。 基于ODE的生物通道模型的自动属性合成。 (英语) Zbl 1416.92067号 Feret,Jéróme(编辑)等人,《系统生物学中的计算方法》。第15届国际会议,CMSB 2017,德国达姆施塔特,2017年9月27日至29日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10545, 265-282 (2017).MSC公司:92C40型 92立方厘米 92-08 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhou}等人,Lect。注释计算。科学。10545,265--282(2017;Zbl 1416.92067) 全文: 内政部
杰斯珀·亨利克森。;蒂亚加拉扬,P.S。 动态线性时间时序逻辑。 (英语) Zbl 0931.03033号 Ann.纯粹应用。逻辑 96,编号1-3,187-207(1999).MSC公司:03B44号 03B70号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Henriksen}和\textit{P.S.Thiagarajan},Ann.Pure Appl。逻辑96,编号1--3,187-207(1999;Zbl 0931.03033) 全文: 内政部
蒂亚加拉扬,P.S。;杰斯珀·亨利克森。 线性时间时序逻辑的分布式版本:跟踪透视图。 (英语) Zbl 0934.03025号 Reisig,Wolfgang(编辑)等人,《Petri网讲座》。1:基本模型。Petri网的进展。柏林:斯普林格。莱克特。注释计算。科学。1491, 643-681 (1998). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B44号 68问题85 65年第68季度 03B70号 2010年第68季度 03年2月25日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.S.Thiagarajan}和\textit{J.G.Henriksen},莱克特。注释计算。科学。1491643--681(1998年;Zbl 0934.03025)
马达瓦恩·穆昆德;蒂亚加拉扬,P.S。 Mazurkiewicz迹上的线性时间时序逻辑。 (英语) Zbl 0886.03017号 Penczek,Wojciech(编辑)等人,《计算机科学的数学基础》,1996年。1996年9月2日至6日,第21届国际研讨会,MFCS’96,波兰克拉科夫。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第1113、62-92页(1996年)。MSC公司:03B45号 2010年第68季度 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Mukund}和\textit{P.S.Thiagarajan},莱克特。注释计算。科学。1113、62-92(1996;Zbl 0886.03017)