| 2008 |
|---|
| 4 | EE | K. Tuncay Tekle,
Katia Hristova,
Yanhong A. Liu:
Generating Specialized Rules and Programs for Demand-Driven Analysis.
AMAST 2008: 346-361 |
| 3 | EE | Michael Gorbovitski,
K. Tuncay Tekle,
Tom Rothamel,
Scott D. Stoller,
Yanhong A. Liu:
Analysis and Transformations for Efficient Query-Based Debugging.
SCAM 2008: 174-183 |
| 2007 |
|---|
| 2 | EE | Katia Hristova,
K. Tuncay Tekle,
Yanhong A. Liu:
Efficient trust management policy analysis from rules.
PPDP 2007: 211-220 |
| 2005 |
|---|
| 1 | EE | K. Tuncay Tekle,
Hasan Ural,
M. Cihan Yalcin,
Hüsnü Yenigün:
Generalizing Redundancy Elimination in Checking Sequences.
ISCIS 2005: 915-926 |
