Jia Tao

	2009
3		Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens: Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. ESOP 2009: 333-347
	2007
2		Jia Tao, Zhao Wen, Wang Hanpin, Wang Lifu: PrDLs: A New Kind of Probabilistic Description Logics About Belief. IEA/AIE 2007: 644-654
1		Jia Tao, Shashi K. Gadia, Tsz S. Cheng: Concept of a Value in Multilevel Security Databases CoRR abs/cs/0703103: (2007)

Coauthor Index

1	Tsz S. Cheng	[1]
2	Shashi K. Gadia	[1]
3	Wang Hanpin	[2]
4	Gary T. Leavens	[3]
5	Wang Lifu	[2]
6	Hridesh Rajan	[3]
7	Steve M. Shaner	[3]
8	Zhao Wen	[2]

Colors in the list of coauthors