Reliability Quantification of the Tree Structure Based Distributed System. - Dianfu Ma; Min Liu 017; Yongwang Zhao; Dou Sun (PRDC, 2008)

A Formal Description of Web Services Container Architecture. - Jian Liu; Dianfu Ma; Zhuqing Li; Dou Sun (ICIW, 2009)

An Approach to Preserving Consistency of SOAs in Dynamic Evolution. - Min Liu 017; Dianfu Ma; Yongwang Zhao; Dou Sun (ICIW, 2009)

A Formal Model of Web Services Transport Layer. - Jian Liu; Dianfu Ma; Zhuqing Li; Dou Sun (ICNS, 2009)

SEDA4BPEL: A staged event-driven architecture for high-concurrency BPEL engine. - Dou Sun; Yongwang Zhao; Hao Zeng; Dianfu Ma (ISCC, 2010)

An operational semantics of WS-BPEL based on abstract BPEL machine. - Dou Sun; Yongwang Zhao; Hao Zeng; Dianfu Ma (SOCA, 2010)

Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic. - Yongwang Zhao; Jing Li 075; Dou Sun; Dianfu Ma (AINA, 2011)

SEDA4SC: A staged event-driven architecture for adaptive service computing runtime. - Zhuqing Li; Dianfu Ma; Dou Sun; Jian Liu (ISCC, 2011)

Discrimination and suppression of full-polarization repeater decoy jamming in forward-squint PolSAR. - Yemin Liu; Shi-qi Xing; Bo Pang 005; Dou Sun; Zhengwen Lu (CISP-BMEI, 2017)

Near-Field 3D Sparse SAR Direct Imaging with Irregular Samples. - Shiqi Xing; Shaoqiu Song; Sinong Quan; Dou Sun; Junpeng Wang 004; Yongzhen Li 001 (Remote. Sens., 2022)