Katia Hristova

According to our database, Katia Hristova authored at least 4 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Generating Specialized Rules and Programs for Demand-Driven Analysis.

K. Tuncay Tekle, Katia Hristova, Yanhong A. Liu

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

Efficient trust management policy analysis from rules.

Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu

Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2007

2006

Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems.

Katia Hristova, Yanhong A. Liu

Proceedings of the Verification, 2006

Efficient type inference for secure information flow.

Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006