| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Fei Dong, Sol M. Shatz, Haiping Xu, Dibyen Majumdar |
Price comparison: A reliable approach to identifying shill bidding in online auctions?  |
Electronic Commerce Research and Applications  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiping Xu, Abhinay Reddyreddy, Daniel F. Fitch |
Defending Against XML-Based Attacks Using State-Based XML Firewall. |
JCP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Harmeet Chawla, Haiping Xu, MengChu Zhou |
A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition. |
SEKE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fei Dong, Sol M. Shatz, Haiping Xu |
Reasoning under Uncertainty for Shill Detection in Online Auctions Using Dempster-Shafer Theory. |
International Journal of Software Engineering and Knowledge Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz |
Visual Specification of Layered Bidding Strategies for Autonomous Bidding Agents. |
JCP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Robidoux, Haiping Xu, Liudong Xing, MengChu Zhou |
Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets. |
IEEE Transactions on Systems, Man, and Cybernetics, Part A |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin J. Ford, Haiping Xu, Iren Valova |
Identifying Suspicious Bidders Utilizing Hierarchical Clustering and Decision Trees. |
IC-AI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fei Dong, Sol M. Shatz, Haiping Xu |
An Empirical Evaluation on the Relationship Between Final Auction Price and Shilling Activity in Online Auctions. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ankit Goel, Haiping Xu, Sol M. Shatz |
A Multi-State Bayesian Network for Shill Verification in Online Auctions. |
SEKE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Fei Dong, Sol M. Shatz, Haiping Xu |
Combating online in-auction fraud: Clues, techniques and challenges. |
Computer Science Review |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Dong, Sol M. Shatz, Haiping Xu |
Inference of Online Auction Shills Using Dempster-Shafer Theory. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
Shill bidding, shill verification, auction fraud, Dempster-Shafer theory, online auctions |
| 1 | Benjamin J. Ford, Haiping Xu, Christopher K. Bates, Sol M. Shatz |
Model-Based Specification of Flexible and Complex Bidding Strategies in Agent-Based Online Auctions. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
software agent, Online auction, bidding strategy, UML activity diagram, rule-based model |
| 1 | Haiping Xu, Christopher K. Bates, Sol M. Shatz |
Real-Time Model Checking for Shill Detection in Live Online Auctions. |
Software Engineering Research and Practice |
2009 |
DBLP BibTeX RDF |
|
| 1 | Haiping Xu, Mihir M. Ayachit, Abhinay Reddyreddy |
Formal modelling and analysis of XML firewall for service-oriented systems. |
IJSN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiping Xu, Sol M. Shatz, Christopher K. Bates |
A Framework for Agent-Based Trust Management in Online Auctions. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
Shilling behavior, Multi-agent system, Communication protocol, Trust management, Online auction |
| 1 | M. A. Karim Sadiq, Haiping Xu, Jaroslav Zendulka, Adegboyega K. Ojo (eds.) |
International Conference on Software Engineering Theory and Practice, SETP-08, Orlando, Florida, USA, July 7-10, 2008 |
SETP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Abhinay Reddyreddy, Haiping Xu |
Securing Service-oriented Systems Using State-Based XML Firewall. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Xiaoqin Zhang, Haiping Xu, Bhavesh Shrestha |
An Integrated Role-Based Approach for Modeling, Designing and Implementing Multi-Agent Systems. |
J. Braz. Comp. Soc. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Bergandy, Paul L. Bergstein, Boleslaw Mikolajczak, Haiping Xu |
Designing Software Engineering Option within Computer Science Bachelor of Science Program. |
FECS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rinkesh Patel, Haiping Xu, Ankit Goel |
Real-Time Trust Management in Agent Based Online Auction Systems. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xiaoqin Zhang, Haiping Xu, Bhavesh Shrestha |
Developing multi-agent systems with automatic agent generation and dynamic task allocation mechanisms. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
role-agent mapping, role-based agent development, multi-agent systems, motivations, task allocations |
| 1 | Yi-Tsung Cheng, Haiping Xu |
A Formal Approach to Detecting Shilling Behaviors in Concurrent Online Auctions. |
ICEIS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Xiaoqin Zhang, Haiping Xu |
Towards Automated Development of Multi-Agent Systems Using RADE. |
IC-AI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mihir M. Ayachit, Haiping Xu |
A petri net based XML firewall security model for web services invocation. |
Communication, Network, and Information Security |
2006 |
DBLP BibTeX RDF |
|
| 1 | Haiping Xu, Zhiguo Zhang, Sol M. Shatz |
A Security Based Model for Mobile Agent Software Systems. |
International Journal of Software Engineering and Knowledge Engineering |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiping Xu, Xiaoqin Zhang |
A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems. |
ICEIS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Haiping Xu, Sol M. Shatz |
A Framework for Model-Based Design of Agent-Oriented Software. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
G-net, model checking, Petri net, electronic commerce, Multiagent systems, design model |
| 1 | Haiping Xu, Sol M. Shatz |
ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems. |
Autom. Softw. Eng. |
2003 |
DBLP DOI BibTeX RDF |
agent-oriented G-net model, agent development kit (ADK), multi-agent system, intelligent agent, model-based development |
| 1 | Haiping Xu, Sol M. Shatz |
An Agent-Based Petri Net Model with Application to Seller/Buyer Design in Electronic Commerce. (PDF / PS) |
ISADS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiping Xu, Sol M. Shatz |
A Framework for Modeling Agent-Oriented Software. |
ICDCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi K. Gedela, Sol M. Shatz, Haiping Xu |
Compositional Petri net models of advanced tasking in Ada-95. |
Comput. Lang. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi K. Gedela, Sol M. Shatz, Haiping Xu |
Formal modeling of synchronization methods for concurrent objects in Ada 95. |
SIGAda |
1999 |
DBLP DOI BibTeX RDF |
Petri net formalism, Ada-95, concurrent objects, distributed software, synchronization methods |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")