| |
| 2008 | ||
|---|---|---|
| 5 | Cong-Cong Xing: Binary Methods and Parameterized Types in Java: A Conflicting point between Theory and Practice. Software Engineering Research and Practice 2008: 661-667 | |
| 4 | EE | Cong-Cong Xing: A Graph-Based Type Representation for Objects. ECEASST 10: (2008) |
| 2007 | ||
| 3 | EE | Cong-Cong Xing: An Object Type Graph System. TASE 2007: 87-96 |
| 2006 | ||
| 2 | EE | Cong-Cong Xing: An algorithm for computing links. ACM Southeast Regional Conference 2006: 585-589 |
| 1 | EE | Cong-Cong Xing: Enhancing program verifications by restricting object types. SAC 2006: 1816-1821 |