Operations Research

Peer-to-peer computing for information systems

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2530, 15–20. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144433600&partnerID=MN8TOARS

Engineering Commitment-Based Multiagent Systems: A Temporal Logic Approach

Proceedings of the International Conference on Autonomous Agents, 2, 891–898. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142292521&partnerID=MN8TOARS

Emergent Properties of Referral Systems

Proceedings of the Interantional Conference on Autonomous Agents, 2, 592–599. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142293029&partnerID=MN8TOARS

Dynamic communities in referral networks

Web Intelligence and Agent Systems, 1(2), 105–116. http://www.scopus.com/inward/record.url?eid=2-s2.0-2942625505&partnerID=MN8TOARS

Distributed Enactment of Multiagent Workflows: Temporal Logic for Web Service Composition

Proceedings of the Interantional Conference on Autonomous Agents, 2, 907–914. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142268242&partnerID=MN8TOARS

Detecting Deception in Reputation Management

Proceedings of the Interantional Conference on Autonomous Agents, 2, 73–80. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142293052&partnerID=MN8TOARS

Ladders of Success: An Empirical Approach to Trust

Proceedings of the Interantional Conference on Autonomous Agents, 2, 1168–1169. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142280376&partnerID=MN8TOARS

Incentive mechanisms for peer-to-peer systems

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2872, 77–88. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144440546&partnerID=MN8TOARS

Commitments and Causality for Multiagent Design

Proceedings of the Interantional Conference on Autonomous Agents, 2, 749–756. http://www.scopus.com/inward/record.url?eid=2-s2.0-1142280922&partnerID=MN8TOARS

Agent communication languages: Rethinking the principles

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2650, 37–50. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144466430&partnerID=MN8TOARS

A community-based approach for selecting service providers

ICWS'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON WEB SERVICES. https://publons.com/publon/21294494/

An agent-based approach for trustworthy service location

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), 2530, 45–56. http://www.scopus.com/inward/record.url?eid=2-s2.0-23144447427&partnerID=MN8TOARS

A Community-Based Approach for Selecting Service Providers

Proceedings of the International Conference on Web Services, 177–183. http://www.scopus.com/inward/record.url?eid=2-s2.0-1642355971&partnerID=MN8TOARS

SATbed User Documentation

https://people.engr.ncsu.edu/mfms/Publications/2003-SATbed-home-guide.pdf

SATbed: A Configurable Environment for Reliable Performance Experiments with SAT Instance Classes and Algorithms

Proc. 6th Int. Conf. on Theory and Applications of Satisfiability Testing, 5–8.

QingTing: a fast SAT solver using local search and efficient unit propagation

Sixth International Conference on Theory and Applications of Satisfiability Testing, 1.

A local search SAT solver using an effective switching strategy and an efficient unit propagation

International Conference on Theory and Applications of Satisfiability Testing, 53–68.

Numerical Tools for the Study of Instabilities within the Positive-Differential-Resistance Regions of Tunnelling Devices

Proceedings of 2003 3nd IEEE Conference on Nanotechnology, San Francisco, CA, August 12--14, 2003, (CRSC-TR03-23), 390–393. IEEE.

Solving Nonlinear Equations with Newton's Method

Philadelphia: SIAM.

Globally Convergent Algorithms for Nonsmooth Nonlinear Equations in Computational Fluid Dynamics

J. Comp. Appl. Math., 152, 69–81.