Katia Hristova

Publication Activity (10 Years)

Years Active: 2006-2008
Publications (10 Years): 0

Publications

K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu
Generating Specialized Rules and Programs for Demand-Driven Analysis. AMAST (2008)
Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu
Efficient trust management policy analysis from rules. PPDP (2007)
Katia Hristova, Yanhong A. Liu
Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. VMCAI (2006)
Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
Efficient type inference for secure information flow. PLAS (2006)