Katia Hristova (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu: Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST 2008: 346-361

3 Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu: Efficient trust management policy analysis from rules. PPDP 2007: 211-220

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

Selection of 4 from 4 records - Katia Hristova has 4 coauthors

4		K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu: Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST 2008: 346-361
3		Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu: Efficient trust management policy analysis from rules. PPDP 2007: 211-220
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