Ziyang Duan

A locality-preserving cache-oblivious dynamic dictionary

Michael A. Bender, Ziyang Duan, John Iacono et al. · Symposium on Discrete Algorithms · 2002 · 47 citations

Engineering, Computer Architecture, Computational Complexity +19

Epidemiological features of traumatic spinal cord injury in Anhui Province, China

H F Wang, Zongsheng Yin, Y Chen et al. · Spinal Cord · 2012 · 34 citations · Full text

Spinal Cord Injury, Anhui Province, Spinal Trauma +9

A model for abstract process specification, verification and composition

Ziyang Duan, Arthur Bernstein, Philip Lewis et al. · 2004 · 30 citations

Engineering, Verification, Software Engineering +19

Semantics based verification and synthesis of BPEL4WS abstract processes

Ziyang Duan, A. J. Bernstein, Philip Lewis et al. · International Conference on Web Services · 2004 · 19 citations

Engineering, Verification, Software Engineering +19

Semantics based verification and synthesis of BPEL4WS abstract processes

Ziyang Duan, A. Bernstein, P. Lewis et al. · Proceedings. IEEE International Conference on Web Services, 2004. · 2004 · 19 citations

Engineering, Verification, Software Engineering +19