MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Katia Hristova" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Improved algorithm complexities for linear temporal logic model checking of push down systems
by Katia Hristova, Yanhong A. Liu — 2006 — In Proceedings of the 7th International Conference on Verification, Model Checking and Abstract Interpretation
… ⋆ Katia Hristova ⋆⋆ and Yanhong A. Liu Computer Science Department, State University of New York, Stony…
Cited by 1 (0 self) – Add To MetaCart

Efficient type inference for secure information flow
by Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller — 2006 — In Proceedings of the 2006 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, SIGPLAN Notices
… Efficient Type Inference for Secure Information Flow * Katia Hristova, Tom Rothamel, Yanhong A…
Cited by 5 (0 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB