|
Search the dblp DataBase
Gang Tan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- Gang Tan, Liqing Zhang
EEG Source Localization Using Independent Residual Analysis. [Citation Graph (0, 0)][DBLP] ISNN (2), 2004, pp:442-447 [Conf]
- Gang Tan, Andrew W. Appel
A Compositional Logic for Control Flow. [Citation Graph (0, 0)][DBLP] VMCAI, 2006, pp:80-94 [Conf]
- 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]
- 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]
- 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]
- Gang Tan, Greg Morrisett
Ilea: inter-language analysis across java and c. [Citation Graph (0, 0)][DBLP] OOPSLA, 2007, pp:39-56 [Conf]
Weak updates and separation logic. [Citation Graph (, )][DBLP]
Finding bugs in exceptional situations of JNI programs. [Citation Graph (, )][DBLP]
Document Analysis Support for the Manual Auditing of Elections. [Citation Graph (, )][DBLP]
An Empirical Security Study of the Native Code in the JDK. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|