|
Search the dblp DataBase
Jianzhou Zhao:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jianzhou Zhao, Jinian Bian, Weimin Wu
PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie. [Citation Graph (0, 0)][DBLP] COMPSAC, 2004, pp:108-113 [Conf]
Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs. [Citation Graph (, )][DBLP]
AURA: a programming language for authorization and audit. [Citation Graph (, )][DBLP]
CETS: compiler enforced temporal safety for C. [Citation Graph (, )][DBLP]
SoftBound: highly compatible and complete spatial memory safety for c. [Citation Graph (, )][DBLP]
Dependent types and program equivalence. [Citation Graph (, )][DBLP]
Lightweight linear types in system fdegree. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|