| |
| 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] |