The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gang Tan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002