| 2012 |
|---|
| 20 | QDFA: Query-Dependent Feature Aggregation for Medical Image Retrieval. Yonggang Huang, Dianfu Ma, Jun Zhang, Yongwang Zhao. IEICE Transactions (95-D): 275-279 (2012). Web SearchBibTeXDownload |
| 2011 |
|---|
| 19 | Towards Verifying Global Properties of Adaptive Software Based on Linear Temporal Logic. Yongwang Zhao, Jing Li, Dou Sun, Dianfu Ma. AINA 2011, 240-247. Web SearchBibTeXDownload |
| 18 | Geospatial Web Service for Remote Sensing Data Visualization. Chunyang Hu, Yongwang Zhao, Jing Li, Dianfu Ma, Xuan Li. AINA 2011, 594-601. Web SearchBibTeXDownload |
| 17 | FSM4WSR: A Formal Model for Verifiable Web Service Runtime. Zhuqing Li, Dianfu Ma, Yongwang Zhao, Jing Li, Qing Yang. APSCC 2011, 86-93. Web SearchBibTeXDownload |
| 16 | An AADL-Based Modeling Method for ARINC653-Based Avionics Software. Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao. COMPSAC 2011, 224-229. Web SearchBibTeXDownload |
| 15 | Adaptive QoS-Aware Service Process Reconfiguration. Jing Li, Dianfu Ma, Xiupei Mei, Hailong Sun, Zibin Zheng. IEEE SCC 2011, 282-289. Web SearchBibTeXDownload |
| 14 | Towards Hierarchical Modeling and Analysis of Web Services Choreography. Yongwang Zhao, Jing Li, Zhuqing Li, Dianfu Ma. IESS 2011, 1-15. Web SearchBibTeXDownload |
| 2010 |
|---|
| 13 | Towards a Formal Verification Approach for Implementation of Web Services Specifications. Qing Yang, Dianfu Ma, Yongwang Zhao, Zhuqing Li. APSCC 2010, 269-276. Web SearchBibTeXDownload |
| 12 | Medical Image Retrieval with Query-Dependent Feature Fusion Based on One-Class SVM. Yonggang Huang, Jun Zhang, Yongwang Zhao, Dianfu Ma. CSE 2010, 176-183. Web SearchBibTeXDownload |
| 11 | Applied research of data sensing and service to ubiquitous intelligent transportation system. Weifeng Lv, Bowen Du, Dianfu Ma, Tongyu Zhu, Chen Wang. Frontiers of Computer Science in China (4): 417-426 (2010). Web SearchBibTeXDownload |
| 10 | OGC-compatible high-performance web map service for remote sensing data visualization. Chunyang Hu, Yongwang Zhao, Jing Li, Min Liu, Dianfu Ma, Xuan Li. iiWAS 2010, 657-660. Web SearchBibTeXDownload |
| 9 | Error analysis of quantised RSSI based sensor network localisation. Hongchi Shi, Xiaoli Li, Yi Shang, Dianfu Ma. IJWMC (4): 31-40 (2010). Web SearchBibTeXDownload |
| 8 | An adaptive heuristic approach for distributed QoS-based service composition. Jing Li, Yongwang Zhao, Min Liu, Hailong Sun, Dianfu Ma. ISCC 2010, 687-694. Web SearchBibTeXDownload |
| 7 | Towards adaptive web services QoS prediction. Jing Li, Yongwang Zhao, Jiawen Ren, Dianfu Ma. SOCA 2010, 1-8. Web SearchBibTeXDownload |
| 2009 |
|---|
| 6 | Toward Trustworthy Semantic Web Service Discovery and Selection. Jing Li, Dianfu Ma, Jun Han, Xiang Long. ATC 2009, 209-220. Web SearchBibTeXDownload |
| 5 | An Efficient Semantic Web Services Matching Mechanism. Jing Li, Dianfu Ma, Zhuo Zhao, Hong Zhu, Lusong Li. RED 2009, 110-119. Web SearchBibTeXDownload |
| 4 | Research and Implementation of Code Generator for Information System Based on SOA. Jiru Shan, Dianfu Ma, Bin Zhang, Wanming Luo. ScalCom-EmbeddedCom 2009, 143-147. Web SearchBibTeXDownload |
| 2008 |
|---|
| 3 | A target-driven core curriculum development. Li Zhang, Dianfu Ma, Yiming Zhou. Summit on Computing Education in China 2008, 5. Web SearchBibTeXDownload |
| 2007 |
|---|
| 2 | A QoS-aware middleware for ensuring web services reliability. Yan Zhu, Dianfu Ma, Hailong Sun, Shun Zhang, Jing Li. Parallel and Distributed Computing and Networks 2007, 319-324. Web SearchBibTeX |
| 2005 |
|---|
| 1 | Cramer-Rao Bound Analysis of Quantized RSSI Based Localization in Wireless Sensor Networks. Hongchi Shi, Xiaoli Li, Yi Shang, Dianfu Ma. ICPADS (2) 2005, 32-36. Web SearchBibTeXDownload |
