Katia Hristova

	2008
4		K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu: Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST 2008: 346-361
	2007
3		Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu: Efficient trust management policy analysis from rules. PPDP 2007: 211-220
	2006
2		Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient type inference for secure information flow. PLAS 2006: 85-94
1		Katia Hristova, Yanhong A. Liu: Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. VMCAI 2006: 190-206

Coauthor Index

1	Yanhong A. Liu	[1] [2] [3] [4]
2	Tom Rothamel	[2]
3	Scott D. Stoller	[2]
4	K. Tuncay Tekle	[3] [4]