Publications  of Dr. Haiping Xu
CIS logo


Note: Links to papers are provided to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons accessing this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.


Journal Papers (1990-2016) [31]

At UMass Dartmouth (2009-2016) [12]

Haiping Xu and Deepti Bhalerao, "Reliable and Secure Distributed Cloud Data Storage Using Reed-Solomon Codes," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 25, Nos. 9 & 10, 2015, pp. 1611-1632. PDF File

Jean Rahme and Haiping Xu, "A Software Reliability Model for Cloud-Based Software Rejuvenation Using Dynamic Fault Trees," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 25, Nos. 9 & 10, 2015, pp. 1491-1513. PDF File

Haiping Xu, "Future Research Directions of Software Engineering and Knowledge Engineering," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 25, No. 2, 2015, pp. 415-421. PDF File

Zhenhua Yu, Yuanli Cai, Xiao Fu, Wenjun Xie, and Haiping Xu, "Formal Modeling and Analyzing High-Confidence Software of Cyber-Physical Systems," Systems Engineering - Theory & Practice (SETP), July 2014, Vol. 34, No. 7, pp. 1857-1867 (in Chinese). PDF File

Benjamin J. Ford, Haiping Xu, and Iren Valova, "A Real-Time Self-Adaptive Classifier for Identifying Suspicious Bidders in Online Auctions," The Computer Journal (COMPJ), Vol. 56, No. 5, 2013, pp. 646-663. PDF File

Daniel F. Fitch and Haiping Xu, "A RAID-Based Secure and Fault-Tolerant Model for Cloud Information Storage," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 23, No. 5, 2013, pp. 627-654. PDF File

Haiping Xu, Abhinay Reddyreddy, and Daniel F. Fitch, "Defending Against XML-Based Attacks Using State-Based XML Firewall," Journal of Computers (JCP), Vol. 6, No. 11, November 2011, pp. 2395-2407. PDF File

Fei Dong, Sol M. Shatz, Haiping Xu, and Dibyen Majumdar, "Price Comparison: A Reliable Approach to Identifying Shill Bidding in Online Auctions?" Electronic Commerce Research and Applications (ECRA), Vol. 11, No. 2, March-April 2012, pp. 171-179. PDF File (download from ScienceDirect)

Ryan Robidoux, Haiping Xu, Liudong Xing, and MengChu Zhou, "Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets," IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans (SMC-A), Vol. 40, No. 2, March 2010, pp. 337-351. PDF File

Fei Dong, Sol M. Shatz, and Haiping Xu, "Reasoning Under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 20, No. 7, November 2010, pp. 943-973. PDF File

Benjamin J. Ford, Haiping Xu, Christopher K. Bates, and Sol M. Shatz, "Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents," Journal of Computers (JCP), Vol. 5, No. 6, June 2010, pp. 940-950. PDF File

Fei Dong, Sol M. Shatz, and Haiping Xu, "Combating Online In-Auction Fraud: Clues, Techniques and Challenges," Computer Science Review (CSR), Vol. 3, No. 4, November 2009, pp. 245-258. PDF File (download from ScienceDirect)

At UMass Dartmouth (2003-2009) [11]

Haiping Xu, Liudong Xing, and Ryan Robidoux, "DRBD: Dynamic Reliability Block Diagrams for System Reliability Modeling," International Journal of Computers and Applications (IJCA), Vol. 31, No. 2, 2009, pp. 132-141. PDF File

Haiping Xu, Mihir Ayachit, and Abhinay Reddyreddy, "Formal Modeling and Analysis of XML Firewall for Service-Oriented Systems," International Journal of Security and Networks (IJSN), Vol. 3, No. 3, 2008, pp. 147-160. PDF File

Zhenhua Yu,Yuanli Cai, and Haiping Xu, "Petri Nets Semantics of π-calculus," Frontiers of Electrical and Electronic Engineering in China (FEEEC), September 2008, Vol. 3, No. 3, pp. 290-294. SpringerLink PDF File

Haiping Xu and Yi-Tsung Cheng, "Model Checking Bidding Behaviors in Internet Concurrent Auctions," International Journal of Computer Systems Science & Engineering (IJCSSE), July 2007, Vol. 22, No. 4, pp. 179-191. PDF File

Zhenhua Yu,Yuanli Cai, and Haiping Xu, "Modeling and Analyzing Multi-Agent Systems Based on π-net," Systems Engineering - Theory & Practice (SETP), July 2007, Vol. 27, No. 7, pp. 77-84 (in Chinese). PDF File

Zhenhua Yu,Yuanli Cai, and Haiping Xu, "On Petri Nets Semantics for π-calculus," Journal of Control and Decision (JCD), August 2007, Vol. 22, No. 8, pp. 864-868 (in Chinese). PDF File

Haiping Xu, Xiaoqin Zhang, and Rinkesh J. Patel, "Developing Role-Based Open Multi-Agent Software Systems," International Journal of Computational Intelligence Theory and Practice (IJCITP), June 2007, Vol. 2, No. 1, pp. 39-56. PDF File

Xiaoqin Zhang, Haiping Xu, and Bhavesh Shrestha, "An Integrated Role-Based Approach for Modeling, Designing and Implementing Multi-Agent Systems," Journal of the Brazilian Computer Society (JBCS), Special Issue on Software Engineering for Multi-Agent Systems, July 2007, Vol. 13, No. 2, pp. 45-60. PDF File

Zhenhua Yu,Yuanli Cai, and Haiping Xu, "On Modeling Approach for Dynamic Software Architecture," Journal of Xi'an Jiaotong University (JXJU), February 2007, Vol. 41, No. 2, pp. 167-171 (in Chinese). PDF File

Haiping Xu, Zhiguo Zhang, and Sol M. Shatz, "A Security Based Model for Mobile Agent Software Systems," International Journal of Software Engineering and Knowledge Engineering (IJSEKE), August 2005, Vol. 15, No. 4, pp. 719-746. PDF File

Haiping Xu and Sol M. Shatz, "ADK: An Agent Development Kit Based on a Formal Model for Multi-Agent Systems," Journal of Automated Software Engineering (AUSE), October 2003, Vol. 10, No. 4, pp. 337-365. PDF File

Before Joining UMass Dartmouth (1991-2003) [8]

Haiping Xu and Sol M. Shatz, "A Framework for Model-Based Design of Agent-Oriented Software," IEEE Transactions on Software Engineering (IEEE TSE), January 2003, Vol. 29, No. 1, pp. 15-30. PDF File

Ravi K. Gedela, Sol M. Shatz, and Haiping Xu, "Compositional Petri Net Models of Advanced Tasking in Ada-95," Computer Languages, July 1999, Vol.25, No.2, pp. 55-87. PDF File (download from ScienceDirect)

Ravi K. Gedela, Sol M. Shatz, and Haiping Xu, "Formal Modeling of Synchronization Methods for Concurrent Objects in Ada 95," ACM SIGAda Ada Letters, 1999, Volume XIX, Issue 3, pp. 211-220. Also appears in [GSX99c]

Haiping Xu, Xiaogang Ruan, Zengwu Chen, Shangxu Hu, and Haibo Ren, "ICTS: Hypertext and Multi-Knowledge Source Based Intelligent Chinese Tutoring System," Journal of Chinese Information Processing, 1992, Vol. 6, No. 2, pp. 8-16 (in Chinese).

Qiuping Hu, Haiping Xu, Yurun Zhang, and Chunhui Zhou, "Software Design of an Expert Control System in Vacuum Distillation," Control and Instruments in Chemical Industry, 1992, Vol. 19, No. 4, pp. 25-29 (in Chinese).

Xiaogang Ruan, Haiping Xu, and Zengwu Chen, “Intelligent CAI and Chinese Tutoring System,” Communications of Computation and Information, 1991, Vol. 2, No. 7, pp. 6-14 (in Chinese).

Haiping Xu, Software Design of Microcomputer Based Electronic Scalers," Process Automation Instrumentation, 1991, Vol. 12, No. 10, pp. 13-16 (in Chinese).

Haiping Xu, “A Novel Design of Second Generation Expert Systems,” Communications of Computation and Information, 1990, Vol. 1, No. 6, pp. 28-33 (in Chinese).


Proceedings / Books / Special Issue Edited (2008-2016)

Haiping Xu, Sotoudeh Hamedi-Hagh, and Paolo Nesi (Eds.), Proceedings of the 2017 IEEE International Conference on Smart City Innovations (IEEE SCI 2017), August 4-8, 2017, San Francisco, CA, USA (Foreword) (Table of Contents) (Proceedings)

Haiping Xu, Luca Foschini, and Jiannong Cao (Eds.), Proceedings of the 5th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (IEEE Mobile Cloud 2017), San Francisco, USA, April 7-9, 2017. (Foreword) (Table of Contents) (Proceedings)

Haiping Xu (Ed.), Featured Topic Issue: Best Papers from SEKE2015, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 25, Nos. 9 & 10, December 2015.

Haiping Xu (Ed.), Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), Pittsburgh, USA, July 6-8, 2015. (Foreword) (Table of Contents) (Proceedings)

Haiping Xu, Gerry Gao, Yan Bai, and George Roussos (Eds.), Feature Topical Issue on Software Engineering and Knowledge Engineering for Mobile Cloud Computing and Services, International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 24, No. 7, September 2014.

Haiping Xu (Ed.), Practical Applications of Agent-Based Technology, InTech, March 2012, ISBN: 978-953-51-0276-2. (Preface) (Book Info).

M. A. Karim Sadiq, Haiping Xu, Jaroslav Zendulka, and Adegboyega K. Ojo (Eds.), Proceedings of the International Conference on Software Engineering Theory and Practice (SETP-08), Orlando, Florida, USA, July 7-10, 2008. ISRST 2008, ISBN 978-1-60651-005-6. (Book Info) DBLP:Haiping Xu


Book Chapters (2008-2009)

Xiaoqin Zhang, Haiping Xu, and Bhavesh Shrestha, "Building a Healthcare Multi-agent Simulation System with Role-Based Modeling," In R. Paranjape and A. Sadanand (Eds.), Multi-Agent Systems for Healthcare Simulation and Modeling: Applications for System Improvement, Chapter VI, IGI Global, August 2009, ISBN: 978-1605667720. PDF File (Book Info)


Conference Papers (1991-2016) [31]

At UMass Dartmouth (2009-2016) [12]

Lexin Zhou and Haiping Xu, "An Efficient Double Auction Mechanism for On-Demand Transport Services in Cloud-Based Mobile Commerce," In Proceedings of the 5th IEEE International Conference on Mobile Cloud Computing, Services, and Engineering (IEEE Mobile Cloud 2017) , San Francisco, CA, USA, April 6-8, 2017, pp. 25-30. PDF File

Daniel Noyes, Hong Liu, Paul Fortier, and Haiping Xu, "Security Improvement of USB Technology," Cyber Security Posters, 2017 IEEE International Symposium on Technologies for Homeland Security (IEEE HST 2017), Waltham, MA, USA, April 25-26, 2017.

Yuhan Zhang and Haiping Xu, "SLTM: A Sentence Level Topic Model for Analysis of Online Reviews," In Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering (SEKE 2016), San Francisco, CA, USA, July 1-3, 2016, pp. 449-453. PDF File

Jean Rahme and Haiping Xu, "Reliability-Based Software Rejuvenation Scheduling for Cloud-Based Systems," In Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), Pittsburgh, PA, USA, July 6-8, 2015, pp. 298-303. PDF File

Haiping Xu and Deepti Bhalerao, "A Reliable and Secure Cloud Storage Schema Using Multiple Service Providers," In Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015), Pittsburgh, PA, USA, July 6-8, 2015, pp. 116-121 (Best Paper Award). PDF File

Haiping Xu and Arturo Li, "Two-Level Smart Search Engine Using Ontology-Based Semantic Reasoning," In Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), Vancouver, Canada, July 1-3, 2014, pp. 648-652. PDF File

Ran Wei and Haiping Xu, "A Formal Cost-Effectiveness Analysis Model for Product Evaluation in E-Commerce," In Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), Boston, MA, USA, June 27-29, 2013, pp. 287-293. PDF File

Daniel F. Fitch and Haiping Xu, "A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage," In Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), San Francisco Bay, CA, USA, July 1-3, 2012, pp. 333-339. PDF File

Harmeet Chawla, Haiping Xu, and MengChu Zhou, "A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition," In Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), Miami, FL, USA, July 7-9, 2011, pp. 153-158. PDF File

Benjamin J. Ford, Haiping Xu, and Iren Valova, "Identifying Suspicious Bidders Utilizing Hierarchical Clustering and Decision Trees," In Proceedings of the 12th International Conference on Artificial Intelligence (ICAI'10), Las Vegas, Nevada, USA, July 12-15, 2010, pp. 195-201. PDF File

Ankit Goel, Haiping Xu, and Sol M. Shatz, "A Multi-State Bayesian Network for Shill Verification in Online Auctions," In Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, USA, July 1-3, 2010, pp. 279-285. PDF File

Fei Dong, Sol M. Shatz, and Haiping Xu, "An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions," In Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, USA, July 1-3, 2010, pp. 286-291. PDF File

Monika Shrestha, Liudong Xing, and Haiping Xu, "Complete Sequence Generation Algorithm for Reliability Analysis of Dynamic Systems with Sequence-Dependent Failures," In Proceedings of the 16th ISSAT International Conference on Reliability and Quality in Design (RQD'10), Washington D.C., August 5-7, 2010, pp. 383-386. PDF File

Haiping Xu, Christopher K. Bates, and Sol M. Shatz, "Real-Time Model Checking for Shill Detection in Live Online Auctions," In Proceedings of the International Conference on Software Engineering Research and Practice (SERP'09), July 13-16, 2009, Las Vegas, Nevada, USA, pp. 134-140. PDF File

At UMass Dartmouth (2003-2009) [12]

Benjamin J. Ford, Haiping Xu, Christopher K. Bates, and Sol M. Shatz, "Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions," In Proceedings of the 6th International Conference on Information Technology: New Generations (ITNG 2009), April 27-29, 2009, Las Vegas, Nevada, USA, pp. 894-900. PDF File

Fei Dong, Sol M. Shatz, and Haiping Xu, "Inference of Online Auction Shills Using Dempster-Shafer Theory," In Proceedings of the 6th International Conference on Information Technology: New Generations (ITNG 2009), April 27-29, 2009, Las Vegas, Nevada, USA, pp. 908-914. PDF File

Abhinay Reddyreddy and Haiping Xu, "Securing Service-Oriented Systems Using State-Based XML Firewall," In Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE'2008), July 1-3, 2008, Redwood City, San Francisco Bay, California, USA, pp. 512-518. PDF File

Haiping Xu, Sol M. Shatz, and Christopher K. Bates, "A Framework for Agent-Based Trust Management in Online Auctions," In Proceedings of the 5th International Conference on Information Technology: New Generations (ITNG 2008), April 7-9, 2008, Las Vegas, Nevada, USA, pp. 149-155. PDF File

Haiping Xu and Liudong Xing, "Formal Semantics and Verification of Dynamic Reliability Block Diagrams for System Reliability Modeling," In Proceedings of the 11th International Conference on Software Engineering and Applications (SEA 2007), November 19-21, 2007, Cambridge, Massachusetts, USA, pp. 155-162. Abstract PDF File Slides

Rinkesh Patel, Haiping Xu, and Ankit Goel, "Real-Time Trust Management in Agent Based Online Auction Systems," In Proceedings of the Nineteenth International Conference on Software Engineering and Knowledge Engineering (SEKE'2007), July 9-11, 2007, Boston, USA, pp. 244-250. PDF File

Jan Bergandy, Paul Bergstein, Boleslaw Mikolajczak, and Haiping Xu, "Designing Software Engineering Option within Computer Science Bachelor of Science Program," In Proceedings of the 2007 International Conference on Frontiers in Education: Computer Science and Computer Engineering (FECS'07), June 25-28, 2007, Las Vegas, Nevada, USA, pp. 290-296. PDF File

Xiaoqin Zhang, Haiping Xu, and Bhavesh Shrestha, "Developing Multi-Agent Systems with Automatic Agent Generation and Dynamic Task Allocation Mechanisms," In Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007), May 14-18, 2007, Honolulu, Hawaii, USA, pp. 1246-1248. PDF File

Mihir M. Ayachit and Haiping Xu, "A Petri Net Based XML Firewall Security Model for Web Services Invocation," In Proceedings of the International Conference on Communication, Network, and Information Security (CNIS 2006), October 9-11, 2006, MIT Faculty Club, Cambridge, Massachusetts, USA, pp. 61-67. Abstract PDF File

Xiaoqin Zhang and Haiping Xu, "Towards Automated Development of Multi-Agent Systems Using RADE," In Proceedings of the 2006 International Conference on Artificial Intelligence (ICAI'06), June 26-29, 2006, Las Vegas, Nevada, USA, pp. 44-50. PDF File

Yi-Tsung Cheng and Haiping Xu, "A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions," In Proceedings of the 8th International Conference on Enterprise Information Systems (ICEIS 2006), May 23-27, 2006, Paphos, Cyprus, pp. 375-381. PDF File

Haiping Xu and Xiaoqin Zhang, "A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems," In Proceedings of the 7th International Conference on Enterprise Information Systems (ICEIS 2005), May 24-28, 2005, Miami, Florida, USA, pp. 246-253. PDF File Slides

Before Joining UMass Dartmouth (1991-2003) [7]

Haiping Xu and Sol M. Shatz, "A Framework for Modeling Agent-Oriented Software," In Proceedings of the IEEE 21st International Conference on Distributed Computing Systems (ICDCS-21), April 16-19, 2001, Phoenix, Arizona, USA, pp. 57-64. PDF File

Haiping Xu and Sol M. Shatz, "An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce," In Proceedings of the IEEE 5th International Symposium on Autonomous Decentralized Systems (ISADS 2001), March 26-28, 2001, Dallas, Texas, USA, pp. 11-18. PDF File

Haiping Xu and Sol M. Shatz, "Extending G-Nets to Support Inheritance Modeling in Concurrent Object-Oriented Design," In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2000), October 8-11, 2000, Nashville, Tennessee, USA, pp. 3128-3133. PDF File

Ravi K. Gedela, Sol M. Shatz, and Haiping Xu, "Formal Modeling of Synchronization Methods for Concurrent Objects in Ada 95," In Proceedings of the ACM Annual International Conference on Ada (SIGAda'99), October 17-21, 1999, Redondo Beach, CA, USA, pp. 211-220. PDF File

Kai Warendorf, Haiping Xu, and Antoon Verhoeven, "Case-Based Instructional Planning for Learning in a Context," In Proceedings of the Joint 1997 Pacific Asian Conference on Expert Systems and Singapore International Conference on Intelligent Systems (PACES/SPICIS 97), February 24-27, 1997, Singapore, pp. 354-360. PDF File

Xiaogang Ruan, Shangxu Hu, Zengwu Chen, and Haiping Xu, "The Presentation and Inference of Chinese Language Knowledge," In Proceedings of the International Conference on "Information & System," A.M.S.E., October 1991, Hangzhou, China.

Haiping Xu, Zengwu Chen, and Shangxu Hu, "Design and Implementation Techniques for Intelligent Chinese Tutoring Systems," In Proceedings of the Second National Conference on Computer Application, October 1991, Beijing, China, pp. 988-991 (in Chinese).


Technical Reports (1999-2008)

Ryan Robidoux and Haiping Xu, "Automated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets," Computer and Information Science Department, University of Massachusetts Dartmouth, March 2008. PDF File

Haiping Xu, Sol M. Shatz, and Chris Bates, "A Framework for Agent-Based Trust Management in Online Auctions," Computer and Information Science Department, University of Massachusetts Dartmouth, December 2007. PDF File

Zhenhua Yu,Yuanli Cai, and Haiping Xu, "A Novel π-Net Based Architecture Description Language for Multi-Agent Systems," Computer and Information Science Department, University of Massachusetts Dartmouth, September 2006. PDF File

Haiping Xu and and Yi-Tsung Cheng, "Model Checking Bidding Behaviors in Internet Concurrent Auctions," Computer and Information Science Department, University of Massachusetts Dartmouth, January 2006. PDF File

Rinkesh J. Patel and Haiping Xu, "Implementation of the Role-Based Agent Development Environment (RADE) Prototype," Computer and Information Science Department, University of Massachusetts Dartmouth, January 2006.

Haiping Xu, Xiaoqin Zhang and Rinkesh J. Patel, "Towards a Role-Based Agent Development Environment for Open Multi-Agent Software Systems," Computer and Information Science Department, University of Massachusetts Dartmouth, October 2005.

Haiping Xu and Sol M. Shatz, "Model-Based Development of Intelligent Communicating Agents for Multi-Agent Systems," Computer Science Department, University of Illinois at Chicago, August 2002. PDF File

Haiping Xu and Sol M. Shatz, "A Design Model for Intelligent Mobile Agent Software Systems," Computer Science Department, University of Illinois at Chicago, May 2002.

Haiping Xu, "Formal Methods in Agent-Oriented Software Engineering," Lecture on CS542: Distributed Software Engineering, Computer Science Department, University of Illinois at Chicago, October 2001.

Haiping Xu, "Mobile Agents," Ph.D. Student Seminar, Computer Science Department, University of Illinois at Chicago, June 2001. Slides

Haiping Xu and Sol M. Shatz, "Formal Methods in Agent-Oriented Design and Analysis," Proposal for Book Chapters in Intelligent Agent Software Engineering, EECS Department, University of Illinois at Chicago, March 2001.

Haiping Xu, "From Object to Agent: An Approach to Using Formal Methods in Software Design and Analysis," Ph.D. Thesis Proposal, EECS Department, University of Illinois at Chicago, Feb. 2001. PDF File Slides

Haiping Xu, "Java Security Model and Bytecode Verification," Technical Report EECS-12-99, EECS Department, University of Illinois at Chicago, December 1999.

Haiping Xu, "Modeling and Analyzing Search/Insert/Delete Problem by Petri Nets," Technical Report EECS-05-99, EECS Department, University of Illinois at Chicago, May 1999.


Thesis and Project

Haiping Xu, "A Model-Based Approach for Development of Multi-Agent Software Systems," Ph.D. Thesis, Department of Computer Science, University of Illinois at Chicago, March 2003. Outstanding Ph.D. Thesis Award 2004, Thesis Supervisor: Dr. Sol M. Shatz.

Haiping Xu, "Task Partitioning and Allocation on Supercomputers and Network of Workstations," Master's Project, Wright State University, Dayton, OH, USA, May 1998, Project Supervisor: Dr. Karen Tomko.

Haiping Xu, "Development of Intelligent Chinese Tutoring System," Master's Thesis, Zhejiang University, Hangzhou, China, January 1992 (in Chinese), Thesis Supervisors: Dr. Zengwu Chen and Dr. Shangxu Hu.

Haiping Xu, "Computer-Aided Design of Quadratic Regulator," Undergraduate Thesis, Zhejiang University, Hangzhou, China, July 1989 (in Chinese).


© 2002-2007 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.



For PDF file download, there is a free PDF viewer, Acrobat Reader



For additional information, call, write or email:

University of Massachusetts Dartmouth
Computer and
Information Science Department
285 Old Westport Rd.
North Dartmouth, MA 02747

Ph: (508) 910-6427, hxu@umassd.edu

hxu@umassd.edu