Haiping Xu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

18 M. A. Karim Sadiq, Haiping Xu, Jaroslav Zendulka, Adegboyega K. Ojo: International Conference on Software Engineering Theory and Practice, SETP-08, Orlando, Florida, USA, July 7-10, 2008 ISRST 2008
17EEHaiping Xu, Sol M. Shatz, Christopher K. Bates: A Framework for Agent-Based Trust Management in Online Auctions. ITNG 2008: 149-155
16 Abhinay Reddyreddy, Haiping Xu: Securing Service-oriented Systems Using State-Based XML Firewall. SEKE 2008: 512-518
15EEHaiping Xu, Mihir M. Ayachit, Abhinay Reddyreddy: Formal modelling and analysis of XML firewall for service-oriented systems. IJSN 3(3): 147-160 (2008)
14EEXiaoqin Zhang, Haiping Xu, Bhavesh Shrestha: Developing multi-agent systems with automatic agent generation and dynamic task allocation mechanisms. AAMAS 2007: 209
13 Jan Bergandy, Paul L. Bergstein, Boleslaw Mikolajczak, Haiping Xu: Designing Software Engineering Option within Computer Science Bachelor of Science Program. FECS 2007: 290-296
12 Rinkesh Patel, Haiping Xu, Ankit Goel: Real-Time Trust Management in Agent Based Online Auction Systems. SEKE 2007: 244-250
11 Mihir M. Ayachit, Haiping Xu: A petri net based XML firewall security model for web services invocation. Communication, Network, and Information Security 2006: 61-67
10 Xiaoqin Zhang, Haiping Xu: Towards Automated Development of Multi-Agent Systems Using RADE. IC-AI 2006: 44-50
9 Yi-Tsung Cheng, Haiping Xu: A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions. ICEIS (3) 2006: 375-381
8 Haiping Xu, Xiaoqin Zhang: A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems. ICEIS (3) 2005: 246-253
7EEHaiping Xu, Zhiguo Zhang, Sol M. Shatz: A Security Based Model for Mobile Agent Software Systems. International Journal of Software Engineering and Knowledge Engineering 15(4): 719-746 (2005)
6EEHaiping Xu, Sol M. Shatz: ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. Autom. Softw. Eng. 10(4): 337-365 (2003)
5EEHaiping Xu, Sol M. Shatz: A Framework for Model-Based Design of Agent-Oriented Software. IEEE Trans. Software Eng. 29(1): 15-30 (2003)
4EEHaiping Xu, Sol M. Shatz: A Framework for Modeling Agent-Oriented Software. ICDCS 2001: 57-64
3EEHaiping Xu, Sol M. Shatz: An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. ISADS 2001: 11-18
2EERavi K. Gedela, Sol M. Shatz, Haiping Xu: Formal modeling of synchronization methods for concurrent objects in Ada 95. SIGAda 1999: 211-220
1 Ravi K. Gedela, Sol M. Shatz, Haiping Xu: Compositional Petri net models of advanced tasking in Ada-95. Comput. Lang. 25(2): 55-87 (1999)

Coauthor Index

1Mihir M. Ayachit [11] [15]
2Christopher K. Bates [17]
3Jan Bergandy [13]
4Paul L. Bergstein [13]
5Yi-Tsung Cheng [9]
6Ravi K. Gedela [1] [2]
7Ankit Goel [12]
8Boleslaw Mikolajczak [13]
9Adegboyega K. Ojo [18]
10Rinkesh Patel [12]
11Abhinay Reddyreddy [15] [16]
12M. A. Karim Sadiq [18]
13Sol M. Shatz [1] [2] [3] [4] [5] [6] [7] [17]
14Bhavesh Shrestha [14]
15Jaroslav Zendulka [18]
16Xiaoqin Zhang (Shelley Zhang) [8] [10] [14]
17Zhiguo Zhang [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)