The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Cui Zhang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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 CTM 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]


Search in 0.004secs, Finished in 0.004secs
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