Search the dblp DataBase
Zhaozhong Ni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - Zhaozhong Ni, Zhong Shao
Certified assembly programming with embedded code pointers. [Citation Graph (0, 0)][DBLP]
POPL, 2006, pp:320-333 [Conf] - 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] - 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] - 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] - 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.018secs, Finished in 0.019secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002