The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Zhaozhong Ni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
    A Syntactic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:89-100 [Conf]
  2. Xinyu Feng, Zhong Shao, Alexander Vaynberg, Sen Xiang, Zhaozhong Ni
    Modular verification of assembly code with stack-based control abstractions. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:401-414 [Conf]
  3. Zhaozhong Ni, Zhong Shao
    Certified assembly programming with embedded code pointers. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:320-333 [Conf]
  4. Xinyu Feng, Zhaozhong Ni, Zhong Shao, Yu Guo
    An open framework for foundational proof-carrying code. [Citation Graph (0, 0)][DBLP]
    TLDI, 2007, pp:67-78 [Conf]
  5. Nadeem Abdul Hamid, Zhong Shao, Valery Trifonov, Stefan Monnier, Zhaozhong Ni
    A Syntactic Approach to Foundational Proof-Carrying Code. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2003, v:31, n:3-4, pp:191-229 [Journal]
  6. Carsten Schürmann, Dachuan Yu, Zhaozhong Ni
    A Representation of Fomega in LF. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal]
  7. Zhaozhong Ni, Dachuan Yu, Zhong Shao
    Using XCAP to Certify Realistic Systems Code: Machine Context Management. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:189-206 [Conf]

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