| |
| 2009 | ||
|---|---|---|
| 3 | EE | Hridesh Rajan, Jia Tao, Steve M. Shaner, Gary T. Leavens: Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services. ESOP 2009: 333-347 |
| 2007 | ||
| 2 | EE | Jia Tao, Zhao Wen, Wang Hanpin, Wang Lifu: PrDLs: A New Kind of Probabilistic Description Logics About Belief. IEA/AIE 2007: 644-654 |
| 1 | EE | Jia Tao, Shashi K. Gadia, Tsz S. Cheng: Concept of a Value in Multilevel Security Databases CoRR abs/cs/0703103: (2007) |
| 1 | Tsz S. Cheng | [1] |
| 2 | Shashi K. Gadia | [1] |
| 3 | Wang Hanpin | [2] |
| 4 | Gary T. Leavens | [3] |
| 5 | Wang Lifu | [2] |
| 6 | Hridesh Rajan | [3] |
| 7 | Steve M. Shaner | [3] |
| 8 | Zhao Wen | [2] |