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