Search the dblp DataBase

Publications of Author

1. Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson
   Verification of a Distributed Computing. [Citation Graph (0, 0)][DBLP]
   HICSS (5), 1997, pp:252-261 [Conf]
   
2. Brietta O'Leary, Cui Zhang
   Concurrent Programming for Database Processing Using Java Threads in a Client/Server Environment. [Citation Graph (0, 0)][DBLP]
   PDPTA, 1999, pp:453-459 [Conf]
   
3. Malone Wong, Cui Zhang, Don Warner
   The Design of a Dataflow Computer, it's Language and It's Implementation. [Citation Graph (0, 0)][DBLP]
   PDPTA, 2002, pp:564-570 [Conf]
   
4. Cui Zhang, Carole M. McNamme
   Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation. [Citation Graph (0, 0)][DBLP]
   PDPTA, 1997, pp:256-264 [Conf]
   
5. Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt
   Formal Reasoning About Intrusion Detection Systems. [Citation Graph (0, 0)][DBLP]
   RAID, 2004, pp:278-295 [Conf]
   
6. Cui Zhang, Qinping Zhao, Jiafu Xu
   A Knowledge Processing Language and Its Parallel Inference System. [Citation Graph (0, 0)][DBLP]
   SEKE, 1993, pp:199-206 [Conf]
   
7. Haryono, Cui Zhang
   Adding Aspect-Oriented Programming Features to Visual Basic .NET by Using Multidimensional Separation of Concerns (MDSOC) Approach. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2004, pp:441-447 [Conf]
   
8. Cui Zhang
   Formal Semantic Specification for a Set of UML Diagrams. [Citation Graph (0, 0)][DBLP]
   Software Engineering Research and Practice, 2003, pp:883-889 [Conf]
   
9. Mark Heckman, Cui Zhang, Brian R. Becker, Dave Peticolas, Karl N. Levitt, Ronald A. Olsson
   Towards Applying the Composition Principle to Verify a Microkernel Operating System. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 1996, pp:235-250 [Conf]
   
10. Cui Zhang, Brian R. Becker, Mark Heckman, Karl N. Levitt, Ronald A. Olsson
    A Hierarchical Method for Reasoning about Distributed Programming Languages. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:385-400 [Conf]
    
11. Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark Heckman, Gregory D. Benson
    Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:29-42 [Conf]
    
12. Angela Hantelmann, Cui Zhang
    Adding Aspect-Oriented Programming Features to C#.NET by using Multidimensional Separation of Concerns (MDSOC) Approach. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2006, v:5, n:4, pp:59-89 [Journal]
    
13. Rachel Henne-Wu, William Mitchell, Cui Zhang
    Support for Design by ContractTM in the C^TM Programming Language. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:7, pp:65-82 [Journal]
    
14. Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt
    LVT: A Layered Verification Technique for Distributed Computing Systems. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:2, pp:107-133 [Journal]
    
15. Cui Zhang, Ronald A. Olsson, Karl N. Levitt
    Formal Verification of a Programming Logic for a Distributed Programming Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:216, n:1-2, pp:213-235 [Journal]
    
16. 
    Efficient Transaction Nesting in Hardware Transactional Memory. [Citation Graph (, )][DBLP]
    
    
17. 
    Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts. [Citation Graph (, )][DBLP]
    
    
18. 
    Improving performance of intrusion detection system by applying a new machine learning strategy. [Citation Graph (, )][DBLP]
    
    
19. 
    Automorphisms of cubic Cayley graphs of order 2pq. [Citation Graph (, )][DBLP]
    
    
20. 
    A note on the automorphism groups of cubic Cayley graphs of finite simple groups. [Citation Graph (, )][DBLP]