Search the dblp DataBase

Publications of Author

1. Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker
   Dynamic Typing with Dependent Types. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2004, pp:437-450 [Conf]
   
2. Gang Tan, Liqing Zhang
   EEG Source Localization Using Independent Residual Analysis. [Citation Graph (0, 0)][DBLP]
   ISNN (2), 2004, pp:442-447 [Conf]
   
3. Gang Tan, Andrew W. Appel
   A Compositional Logic for Control Flow. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2006, pp:80-94 [Conf]
   
4. Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu
   Construction of a Semantic Model for a Typed Assembly Language. [Citation Graph (0, 0)][DBLP]
   VMCAI, 2004, pp:30-43 [Conf]
   
5. Minghu Jiang, Xiaoyan Zhu, Georges G. E. Gielen, Elliott Drábek, Ying Xia, Gang Tan, Ta Bao
   Braille to print translations for Chinese. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2002, v:44, n:2, pp:91-100 [Journal]
   
6. Gang Tan, Yuqun Chen, Mariusz H. Jakubowski
   Delayed and Controlled Failures in Tamper-Resistant Software. [Citation Graph (0, 0)][DBLP]
   Information Hiding, 2006, pp:216-231 [Conf]
   
7. Gang Tan, Greg Morrisett
   Ilea: inter-language analysis across java and c. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2007, pp:39-56 [Conf]
   
8. 
   Weak updates and separation logic. [Citation Graph (, )][DBLP]
   
   
9. 
   Finding bugs in exceptional situations of JNI programs. [Citation Graph (, )][DBLP]
   
   
10. 
    Document Analysis Support for the Manual Auditing of Elections. [Citation Graph (, )][DBLP]
    
    
11. 
    An Empirical Security Study of the Native Code in the JDK. [Citation Graph (, )][DBLP]