- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j13 |      | Yusen Wu, Cui Zhang: Bifurcation of limit cycles and pseudo-isochronous center at degenerate singular point in a septic system. Applied Mathematics and Computation 218(17): 8513-8525 (2012) |
| j12 | | Klavdija Kutnar, Dragan Marusic, Cui Zhang: Hamilton paths in vertex-transitive graphs of order 10p. Eur. J. Comb. 33(6): 1043-1077 (2012) |
| j11 | | Klavdija Kutnar, Dragan Marusic, Cui Zhang: On cubic non-Cayley vertex-transitive graphs. Journal of Graph Theory 69(1): 77-95 (2012) |
| 2011 | ||
| j10 | | Yusen Wu, Cui Zhang: The generalized center problem of resonant infinity for a polynomial differential system. Computers & Mathematics with Applications 62(1): 151-157 (2011) |
| c24 | | You-ye Sun, Cui Zhang, Shao-qing Meng, Kai-ning Lu: Modified Deterministic Packet Marking for DDoS Attack Traceback in IPv6 Network. CIT 2011: 245-248 |
| c23 | | Cui Zhang, Li-Qing Zhao, Rong Long Wang: A Saturation Binary Neural Network for Crossbar Switching Problem. AICI (3) 2011: 254-261 |
| c22 | | Cui Zhang, Xinhui Liu, Zhan Wang, Qiang Shi: Analysis of the regenerative brake system parameters for concrete mixing truck basded on AMESim. EMEIT 2011: 2124-2127 |
| c21 | | Cui Zhang, Xiaobin Wang, Zhigang Wang: Design of the control system for hydraulic experimental bench based on LabVIEW. EMEIT 2011: 2128-2130 |
| c20 | | Zhigang Wang, Cui Zhang, Chunhong Wu: 3G Technology in the engineering disciplines of higher vocational education. EMEIT 2011: 2148-2151 |
| c19 | | Cui Zhang, Li-Qing Zhao, Rong Long Wang: A Saturation Binary Neural Network for Bipartite Subgraph Problem. ICIC (3) 2011: 64-70 |
| c18 | | Li-Qing Zhao, Cui Zhang, Rong Long Wang: An Effective Ant Colony Algorithm for Graph Planarization Problem. ICIC (3) 2011: 418-425 |
| c17 | | Nixon Sunny George, Cui Zhang, Anne-Louise Radimsky: FOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages. IRI 2011: 218-221 |
| 2010 | ||
| j9 | | Cui Zhang, Xin Gui Fang: A note on the automorphism groups of cubic Cayley graphs of finite simple groups. Discrete Mathematics 310(21): 3030-3032 (2010) |
| j8 | | Jennifer Pandolfo, Cui Zhang: A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages. Journal of Object Technology 9(1): 81-115 (2010) |
| c16 | | Yi Liu, Yangming Su, Cui Zhang, Mingyu Wu, Xin Zhang, He Li, Depei Qian: Efficient Transaction Nesting in Hardware Transactional Memory. ARCS 2010: 138-149 |
| c15 |  | Andrew Wyeth, Cui Zhang: Formal Specification of Software Architecture Security Tactics. SEKE 2010: 172-175 |
| 2009 | ||
| j7 | | Cui Zhang, Jin-Xin Zhou, Yan-Quan Feng: Automorphisms of cubic Cayley graphs of order 2pq. Discrete Mathematics 309(9): 2687-2695 (2009) |
| 2008 | ||
| j6 | | Xiufeng Ni, Cui Zhang: Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis. Journal of Object Technology 7(8): 165-185 (2008) |
| c14 | | Sherri M. Sanders, Cui Zhang: Object-Z to Java/OO-Perl: A Conversion from Object-Z to Executable Skeletal Code with Dynamically Checkable Design Contracts. SEKE 2008: 824-829 |
| c13 | | Tao Zou, Yimin Cui, Minhuan Huang, Cui Zhang: Improving performance of intrusion detection system by applying a new machine learning strategy. CSTST 2008: 51-54 |
| 2006 | ||
| j5 | | Angela Hantelmann, Cui Zhang: Adding Aspect-Oriented Programming Features to C#.NET by using Multidimensional Separation of Concerns (MDSOC) Approach. Journal of Object Technology 5(4): 59-89 (2006) |
| c12 | | Sowmiya Ramkarthik, Cui Zhang: Generating Java Skeletal Code with Design Contracts from Specifications in a Subset of Object Z. ACIS-ICIS 2006: 405-411 |
| 2005 | ||
| j4 | | Rachel Henne-Wu, William Mitchell, Cui Zhang: Support for Design by ContractTM in the CTM Programming Language. Journal of Object Technology 4(7): 65-82 (2005) |
| 2004 | ||
| c11 | | Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt: Formal Reasoning About Intrusion Detection Systems. RAID 2004: 278-295 |
| c10 | | Haryono, Cui Zhang: Adding Aspect-Oriented Programming Features to Visual Basic .NET by Using Multidimensional Separation of Concerns (MDSOC) Approach. Software Engineering Research and Practice 2004: 441-447 |
| 2003 | ||
| c9 | | Cui Zhang: Formal Semantic Specification for a Set of UML Diagrams. Software Engineering Research and Practice 2003: 883-889 |
| 2002 | ||
| c8 | | Malone Wong, Cui Zhang, Don Warner: The Design of a Dataflow Computer, it's Language and It's Implementation. PDPTA 2002: 564-570 |
| 1999 | ||
| j3 | | Cui Zhang, Brian R. Becker, Dave Peticolas, Ronald A. Olsson, Karl N. Levitt: LVT: A Layered Verification Technique for Distributed Computing Systems. Softw. Test., Verif. Reliab. 9(2): 107-133 (1999) |
| j2 | | Cui Zhang, Ronald A. Olsson, Karl N. Levitt: Formal Verification of a Programming Logic for a Distributed Programming Language. Theor. Comput. Sci. 216(1-2): 213-235 (1999) |
| c7 | | Brietta O'Leary, Cui Zhang: Concurrent Programming for Database Processing Using Java Threads in a Client/Server Environment. PDPTA 1999: 453-459 |
| 1997 | ||
| c6 | | Cui Zhang, Brian R. Becker, Dave Peticolas, Mark Heckman, Karl N. Levitt, Ronald A. Olsson: Verification of a Distributed Computing. HICSS (5) 1997: 252-261 |
| c5 | | Cui Zhang, Carole M. McNamme: Towards an Evolutionary Verification Methodology: Experiences with a Distributed Programming Language Implementation. PDPTA 1997: 256-264 |
| 1996 | ||
| c4 | | 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. TPHOLs 1996: 235-250 |
| 1995 | ||
| c3 | | Cui Zhang, Brian R. Becker, Mark Heckman, Karl N. Levitt, Ronald A. Olsson: A Hierarchical Method for Reasoning about Distributed Programming Languages. TPHOLs 1995: 385-400 |
| 1993 | ||
| j1 | | Cui Zhang, Richard F. Walters: An Abstract, Shared and Persistent Data Structure for Supporting Database Management and Multilingual Natural Language Processing. International Journal of Software Engineering and Knowledge Engineering 3(3): 369-382 (1993) |
| c2 | | Cui Zhang, Qinping Zhao, Jiafu Xu: A Knowledge Processing Language and Its Parallel Inference System. SEKE 1993: 199-206 |
| c1 | | 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. HUG 1993: 29-42 |
Colors in the list of coauthors
Last update Sun May 19 08:43:54 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page